[DIFF-INFORMED] Rust: UncontrolledAllocationSize

d10c · d10c · commit f103293473b3 · 2025-07-17T14:47:27.000+02:00
diff --git a/rust/ql/src/queries/security/CWE-770/UncontrolledAllocationSize.ql b/rust/ql/src/queries/security/CWE-770/UncontrolledAllocationSize.ql
@@ -32,6 +32,8 @@ module UncontrolledAllocationConfig implements DataFlow::ConfigSig {
   predicate isSink(DataFlow::Node sink) { sink instanceof Sink }
 
   predicate isBarrier(DataFlow::Node barrier) { barrier instanceof Barrier }
+
+  predicate observeDiffInformedIncrementalMode() { any() }
 }
 
 module UncontrolledAllocationFlow = TaintTracking::Global<UncontrolledAllocationConfig>;

Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,8 @@ module UncontrolledAllocationConfig implements DataFlow::ConfigSig {`
`32`	`32`	`predicate isSink(DataFlow::Node sink) { sink instanceof Sink }`
`33`	`33`
`34`	`34`	`predicate isBarrier(DataFlow::Node barrier) { barrier instanceof Barrier }`
	`35`	`+`
	`36`	`+ predicate observeDiffInformedIncrementalMode() { any() }`
`35`	`37`	`}`
`36`	`38`
`37`	`39`	`module UncontrolledAllocationFlow = TaintTracking::Global<UncontrolledAllocationConfig>;`