Skip to content

Commit c5e412d

Browse files
committed
add empty implementation of defaultImplicitTaintRead
1 parent 7c5a838 commit c5e412d

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

swift/ql/lib/codeql/swift/dataflow/internal/TaintTrackingPublic.qll

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,3 +20,10 @@ predicate localExprTaint(DataFlowExpr e1, DataFlowExpr e2) {
2020
}
2121

2222
predicate localTaintStep = localTaintStepCached/2;
23+
24+
/**
25+
* Holds if default `TaintTracking::Configuration`s should allow implicit reads
26+
* of `c` at sinks and inputs to additional taint steps.
27+
*/
28+
bindingset[node]
29+
predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::Content c) { none() }

0 commit comments

Comments
 (0)