Rust/InsecureCookie

This commit is contained in:
Nora Dimitrijević
2025-10-15 15:07:34 +02:00
parent 4952cb27fb
commit 8e0c453c37

View File

@@ -74,7 +74,9 @@ module PartitionedCookieConfig implements DataFlow::ConfigSig {
node instanceof Barrier
}
predicate observeDiffInformedIncrementalMode() { any() }
predicate observeDiffInformedIncrementalMode() {
none() // only used negatively
}
}
module InsecureCookieFlow = TaintTracking::Global<InsecureCookieConfig>;