Skip to content

Commit 13bdd9c

Browse files
committed
C++: Fix query compliation
Apparently some queries we skipped in the testing I did locally.
1 parent 57c5d5f commit 13bdd9c

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

cpp/ql/src/Security/CWE/CWE-020/ir/ExternalAPIs.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ class UntrustedExternalApiDataNode extends ExternalApiDataNode {
1313
UntrustedExternalApiDataNode() { UntrustedDataToExternalApiFlow::hasFlow(_, this) }
1414

1515
/** Gets a source of untrusted data which is passed to this external API data node. */
16-
DataFlow::Node getAnUntrustedSource() { UntrustedDataToExternalApiConfig::hasFlow(result, this) }
16+
DataFlow::Node getAnUntrustedSource() { UntrustedDataToExternalApiFlow::hasFlow(result, this) }
1717
}
1818

1919
/** DEPRECATED: Alias for UntrustedExternalApiDataNode */

cpp/ql/src/Security/CWE/CWE-020/ir/ExternalAPIsSpecific.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -58,9 +58,9 @@ deprecated class UntrustedDataToExternalAPIConfig = UntrustedDataToExternalApiCo
5858

5959
/** A configuration for tracking flow from `RemoteFlowSource`s to `ExternalApiDataNode`s. */
6060
module UntrustedDataToExternalApiConfig implements DataFlow::ConfigSig {
61-
override predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
61+
predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
6262

63-
override predicate isSink(DataFlow::Node sink) { sink instanceof ExternalApiDataNode }
63+
predicate isSink(DataFlow::Node sink) { sink instanceof ExternalApiDataNode }
6464
}
6565

6666
module UntrustedDataToExternalApiFlow = TaintTracking::Make<UntrustedDataToExternalApiConfig>;

0 commit comments

Comments
 (0)