Skip to content

Commit 4a9355c

Browse files
author
Dave Bartolomeo
committed
Add required signature predicate implementation
1 parent 1fb707f commit 4a9355c

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

ql/lib/codeql/actions/dataflow/internal/TaintTrackingPrivate.qll

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,3 +32,9 @@ predicate defaultAdditionalTaintStep(DataFlow::Node nodeFrom, DataFlow::Node nod
3232
*/
3333
bindingset[node]
3434
predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet c) { none() }
35+
36+
/**
37+
* Holds if the additional step from `src` to `sink` should be considered in
38+
* speculative taint flow exploration.
39+
*/
40+
predicate speculativeTaintStep(DataFlow::Node src, DataFlow::Node sink) { none() }

0 commit comments

Comments
 (0)