Swift: Fix QL-for-QL warning.

geoffw0 · geoffw0 · commit 6fa0445e0f03 · 2023-07-19T17:31:19.000+01:00
diff --git a/swift/ql/lib/codeql/swift/regex/internal/RegexTracking.qll b/swift/ql/lib/codeql/swift/regex/internal/RegexTracking.qll
@@ -67,7 +67,7 @@ private module RegexParseModeConfig implements DataFlow::StateConfigSig {
   predicate isSink(DataFlow::Node node, FlowState flowstate) {
     // evaluation of the regex
     node.asExpr() = any(RegexEval eval).getRegexInput() and
-    flowstate = any(FlowState fs)
+    exists(flowstate)
   }
 
   predicate isBarrier(DataFlow::Node node) { none() }

Original file line number	Diff line number	Diff line change
`@@ -67,7 +67,7 @@ private module RegexParseModeConfig implements DataFlow::StateConfigSig {`
`67`	`67`	`predicate isSink(DataFlow::Node node, FlowState flowstate) {`
`68`	`68`	`// evaluation of the regex`
`69`	`69`	`node.asExpr() = any(RegexEval eval).getRegexInput() and`
`70`		`- flowstate = any(FlowState fs)`
	`70`	`+ exists(flowstate)`
`71`	`71`	`}`
`72`	`72`
`73`	`73`	`predicate isBarrier(DataFlow::Node node) { none() }`