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

Python: testIsTrue -> branch

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-09-14 15:32:03 +02:00
parent 2a4e28db16
commit ecc5a4a1f6
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll
View File

@@ -177,11 +177,11 @@ class BarrierGuard extends GuardNode {
/** Gets a node guarded by this guard. */
final ExprNode getAGuardedNode() {
exists(EssaDefinition def, ControlFlowNode node, boolean testIsTrue |
exists(EssaDefinition def, ControlFlowNode node, boolean branch |
AdjacentUses::aUse(def, node) and
this.checks(node, testIsTrue) and
this.checks(node, branch) and
AdjacentUses::aUse(def, result.asCfgNode()) and
this.controlsBlock(result.asCfgNode().getBasicBlock(), testIsTrue)
this.controlsBlock(result.asCfgNode().getBasicBlock(), branch)
)
}
}

4
python/ql/test/experimental/dataflow/tainttracking/customSanitizer/TestTaint.ql
View File

@@ -34,11 +34,11 @@ query predicate isSanitizerGuard(TestTaintTrackingConfiguration conf, DataFlow::
query predicate sanitizerGuardControls(
TestTaintTrackingConfiguration conf, DataFlow::BarrierGuard guard, ControlFlowNode node,
boolean testIsTrue
boolean branch
) {
exists(guard.getLocation().getFile().getRelativePath()) and
conf.isSanitizerGuard(guard) and
guard.controlsBlock(node.getBasicBlock(), testIsTrue)
guard.controlsBlock(node.getBasicBlock(), branch)
}
query predicate sanitizerGuardedNode(