hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

squash ql-for-ql warnings

Browse Source
This commit is contained in:
Stephan Brandauer
2023-05-11 16:18:52 +02:00
parent c17b0e809f
commit c31ad01579
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/src/Telemetry/AutomodelFrameworkModeCharacteristics.qll
View File

@@ -173,7 +173,7 @@ class FrameworkModeMetadataExtractor extends MetadataExtractor {
e.asParameter() = callable.getParameter(input) and
package = callable.getDeclaringType().getPackage().getName() and
type = callable.getDeclaringType().getErasure().(RefType).nestedName() and
subtypes = considerSubtypes(callable) and
subtypes = this.considerSubtypes(callable) and
name = e.toString() and
signature = ExternalFlow::paramsString(callable)
)

8
java/ql/src/Telemetry/AutomodelSharedCharacteristics.qll
View File

@@ -58,7 +58,7 @@ signature module CandidateSig {
predicate isSanitizer(Endpoint e, EndpointType t);
/**
* Holds if `e` is a sink with the label `label`.
* Holds if `e` is a sink with the label `kind`.
*/
predicate isSink(Endpoint e, string kind);
@@ -273,12 +273,12 @@ module SharedCharacteristics<CandidateSig Candidate> {
* Endpoints identified as sinks by the `CandidateSig` implementation are sinks with maximal confidence.
*/
private class KnownSinkCharacteristic extends SinkCharacteristic {
string madLabel;
string madKind;
Candidate::EndpointType endpointType;
KnownSinkCharacteristic() { Candidate::isKnownKind(madLabel, this, endpointType) }
KnownSinkCharacteristic() { Candidate::isKnownKind(madKind, this, endpointType) }
override predicate appliesToEndpoint(Candidate::Endpoint e) { Candidate::isSink(e, madLabel) }
override predicate appliesToEndpoint(Candidate::Endpoint e) { Candidate::isSink(e, madKind) }
override Candidate::EndpointType getSinkType() { result = endpointType }
}