[DIFF-INFORMED] Rust: UncontrolledAllocationSize

This commit is contained in:
Nora Dimitrijević
2025-07-16 16:38:47 +02:00
parent fcc3800756
commit 56ae8684e1

View File

@@ -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>;