Revert "Disable diff-informed on InsecureTLSQuery due to DIFF-INFORMED test failures"

d10c · d10c · commit 72da199dbe24 · 2025-06-10T10:47:28.000+02:00
This reverts commit affc25d.
diff --git a/swift/ql/lib/codeql/swift/security/InsecureTLSQuery.qll b/swift/ql/lib/codeql/swift/security/InsecureTLSQuery.qll
@@ -21,6 +21,8 @@ module InsecureTlsConfig implements DataFlow::ConfigSig {
   predicate isAdditionalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {
     any(InsecureTlsExtensionsAdditionalFlowStep s).step(nodeFrom, nodeTo)
   }
+
+  predicate observeDiffInformedIncrementalMode() { any() }
 }
 
 module InsecureTlsFlow = TaintTracking::Global<InsecureTlsConfig>;

Original file line number	Diff line number	Diff line change
`@@ -21,6 +21,8 @@ module InsecureTlsConfig implements DataFlow::ConfigSig {`
`21`	`21`	`predicate isAdditionalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {`
`22`	`22`	`any(InsecureTlsExtensionsAdditionalFlowStep s).step(nodeFrom, nodeTo)`
`23`	`23`	`}`
	`24`	`+`
	`25`	`+ predicate observeDiffInformedIncrementalMode() { any() }`
`24`	`26`	`}`
`25`	`27`
`26`	`28`	`module InsecureTlsFlow = TaintTracking::Global<InsecureTlsConfig>;`