Nora Dimitrijević
2025-07-16 11:24:18 +02:00
parent ce7eb9b16a
commit 4b473622bc

View File

@@ -39,6 +39,10 @@ module InsecureRandomness {
n2.getType() instanceof IntegerType n2.getType() instanceof IntegerType
) )
} }
predicate observeDiffInformedIncrementalMode() {
none() // Can't have accurate sink location override because of secondary use of `flowPath` in select.
}
} }
/** /**