github
diff --git a/‎swift/ql/lib/codeql/swift/dataflow/internal/TaintTrackingPrivate.qll‎
Lines changed: 6 additions & 0 deletions b/‎swift/ql/lib/codeql/swift/dataflow/internal/TaintTrackingPrivate.qll‎
Lines changed: 6 additions & 0 deletions
@@ -74,7 +74,13 @@ private module Cached {
    */
   cached
   predicate localTaintStepCached(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {
+    DataFlow::localFlowStep(nodeFrom, nodeTo)
+    or
     defaultAdditionalTaintStep(nodeFrom, nodeTo)
+    or
+    // Simple flow through library code is included in the exposed local
+    // step relation, even though flow is technically inter-procedural
+    FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(nodeFrom, nodeTo, _)
   }
 }
Original file line number	Diff line number	Diff line change
`@@ -74,7 +74,13 @@ private module Cached {`
`74`	`74`	`*/`
`75`	`75`	`cached`
`76`	`76`	`predicate localTaintStepCached(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {`
	`77`	`+ DataFlow::localFlowStep(nodeFrom, nodeTo)`
	`78`	`+ or`
`77`	`79`	`defaultAdditionalTaintStep(nodeFrom, nodeTo)`
	`80`	`+ or`
	`81`	`+ // Simple flow through library code is included in the exposed local`
	`82`	`+ // step relation, even though flow is technically inter-procedural`
	`83`	`+ FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(nodeFrom, nodeTo, _)`
`78`	`84`	`}`
`79`	`85`	`}`
`80`	`86`