We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 62b0ebf + 0918e50 commit 57e32b4Copy full SHA for 57e32b4
swift/ql/lib/codeql/swift/dataflow/internal/TaintTrackingPublic.qll
@@ -26,6 +26,7 @@ predicate localTaintStep = localTaintStepCached/2;
26
* of `c` at sinks and inputs to additional taint steps.
27
*/
28
bindingset[node]
29
+pragma[inline_late]
30
predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet cs) {
31
// If a `PostUpdateNode` is specified as a sink, there's (almost) always a store step preceding it.
32
// So when the node is a `PostUpdateNode` we allow any sequence of implicit read steps of an appropriate
0 commit comments