hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 23:35:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: Update SanitizerGuardNode use in BasicTaintTracking test

Browse Source
This commit is contained in:
Asger F
2024-11-29 09:59:42 +01:00
parent f620191da4
commit 62c17d3f4e
1 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
javascript/ql/test/library-tests/TaintTracking/BasicTaintTracking.ql
View File

@@ -34,23 +34,26 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
}
override predicate isSanitizerGuard(TaintTracking::SanitizerGuardNode node) {
node instanceof BasicSanitizerGuard or
node instanceof BasicSanitizerGuardLegacy or
node instanceof TaintTracking::AdHocWhitelistCheckSanitizer
}
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
class BasicSanitizerGuard extends TaintTracking::SanitizerGuardNode, DataFlow::CallNode {
class BasicSanitizerGuard extends DataFlow::CallNode {
BasicSanitizerGuard() { this = getACall("isSafe") }
override predicate sanitizes(boolean outcome, Expr e) { this.blocksExpr(outcome, e) }
predicate blocksExpr(boolean outcome, Expr e) {
outcome = true and e = this.getArgument(0).asExpr()
}
}
deprecated class BasicSanitizerGuardLegacy extends TaintTracking::SanitizerGuardNode instanceof BasicSanitizerGuard
{
override predicate sanitizes(boolean outcome, Expr e) { super.blocksExpr(outcome, e) }
}
query predicate flow = TestFlow::flow/2;
deprecated class Consistency extends ConsistencyConfiguration {