Skip to content

Commit cdf343c

Browse files
authored
Merge pull request github#9576 from erik-krogh/swift-fix
Swift: add empty implementation of `defaultImplicitTaintRead`
2 parents 2ed3f5c + c5e412d commit cdf343c

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)