mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
19 lines
628 B
Plaintext
19 lines
628 B
Plaintext
import experimental.dataflow.tainttracking.TestTaintLib
|
|
|
|
query predicate sanitizerGuardControls(
|
|
TestTaintTrackingConfiguration conf, DataFlow::BarrierGuard guard, ControlFlowNode node,
|
|
boolean branch
|
|
) {
|
|
exists(guard.getLocation().getFile().getRelativePath()) and
|
|
conf.isSanitizerGuard(guard) and
|
|
guard.controlsBlock(node.getBasicBlock(), branch)
|
|
}
|
|
|
|
query predicate sanitizerGuardedNode(
|
|
TestTaintTrackingConfiguration conf, DataFlow::BarrierGuard guard, DataFlow::ExprNode node
|
|
) {
|
|
exists(guard.getLocation().getFile().getRelativePath()) and
|
|
conf.isSanitizerGuard(guard) and
|
|
node = guard.getAGuardedNode()
|
|
}
|