[DIFF-INFORMED] C++: TypeConfusion

d10c · d10c · commit 89788206d1c6 · 2025-08-15T12:01:30.000+02:00
diff --git a/cpp/ql/src/Security/CWE/CWE-843/TypeConfusion.ql b/cpp/ql/src/Security/CWE/CWE-843/TypeConfusion.ql
@@ -178,6 +178,10 @@ module Config implements DataFlow::ConfigSig {
   predicate isSink(DataFlow::Node sink) { sink.asExpr() = any(UnsafeCast cast).getUnconverted() }
 
   int fieldFlowBranchLimit() { result = 0 }
+
+  predicate observeDiffInformedIncrementalMode() {
+    none() // used both positively and negatively
+  }
 }
 
 module Flow = DataFlow::Global<Config>;

Original file line number	Diff line number	Diff line change
`@@ -178,6 +178,10 @@ module Config implements DataFlow::ConfigSig {`
`178`	`178`	`predicate isSink(DataFlow::Node sink) { sink.asExpr() = any(UnsafeCast cast).getUnconverted() }`
`179`	`179`
`180`	`180`	`int fieldFlowBranchLimit() { result = 0 }`
	`181`	`+`
	`182`	`+ predicate observeDiffInformedIncrementalMode() {`
	`183`	`+ none() // used both positively and negatively`
	`184`	`+ }`
`181`	`185`	`}`
`182`	`186`
`183`	`187`	`module Flow = DataFlow::Global<Config>;`