[DIFF-INFORMED] Rust: AccessInvalidPointer

d10c · d10c · commit 276effeb2ac3 · 2025-07-17T14:47:31.000+02:00
diff --git a/rust/ql/src/queries/security/CWE-825/AccessInvalidPointer.ql b/rust/ql/src/queries/security/CWE-825/AccessInvalidPointer.ql
@@ -32,6 +32,8 @@ module AccessInvalidPointerConfig implements DataFlow::ConfigSig {
     // make sinks barriers so that we only report the closest instance
     isSink(node)
   }
+
+  predicate observeDiffInformedIncrementalMode() { any() }
 }
 
 module AccessInvalidPointerFlow = TaintTracking::Global<AccessInvalidPointerConfig>;

Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,8 @@ module AccessInvalidPointerConfig implements DataFlow::ConfigSig {`
`32`	`32`	`// make sinks barriers so that we only report the closest instance`
`33`	`33`	`isSink(node)`
`34`	`34`	`}`
	`35`	`+`
	`36`	`+ predicate observeDiffInformedIncrementalMode() { any() }`
`35`	`37`	`}`
`36`	`38`
`37`	`39`	`module AccessInvalidPointerFlow = TaintTracking::Global<AccessInvalidPointerConfig>;`