[DIFF-INFORMED] Rust: TaintedPath

d10c · d10c · commit ccf8c11c5711 · 2025-07-16T16:59:38.000+02:00
diff --git a/rust/ql/src/queries/security/CWE-022/TaintedPath.ql b/rust/ql/src/queries/security/CWE-022/TaintedPath.ql
@@ -79,6 +79,8 @@ module TaintedPathConfig implements DataFlow::StateConfigSig {
     stateFrom instanceof NotNormalized and
     stateTo instanceof NormalizedUnchecked
   }
+
+  predicate observeDiffInformedIncrementalMode() { any() }
 }
 
 module TaintedPathFlow = TaintTracking::GlobalWithState<TaintedPathConfig>;

Original file line number	Diff line number	Diff line change
`@@ -79,6 +79,8 @@ module TaintedPathConfig implements DataFlow::StateConfigSig {`
`79`	`79`	`stateFrom instanceof NotNormalized and`
`80`	`80`	`stateTo instanceof NormalizedUnchecked`
`81`	`81`	`}`
	`82`	`+`
	`83`	`+ predicate observeDiffInformedIncrementalMode() { any() }`
`82`	`84`	`}`
`83`	`85`
`84`	`86`	`module TaintedPathFlow = TaintTracking::GlobalWithState<TaintedPathConfig>;`