Fix diff-informed predicates

This commit is contained in:
Owen Mansel-Chan
2025-11-03 17:20:19 +00:00
committed by Owen Mansel-Chan
parent 7d7af193dc
commit adbc1efe59
2 changed files with 4 additions and 4 deletions

View File

@@ -39,6 +39,8 @@ module NormalHashFunctionFlow {
// make sinks barriers so that we only report the closest instance
isSink(node)
}
predicate observeDiffInformedIncrementalMode() { any() }
}
import TaintTracking::Global<Config>
@@ -70,6 +72,8 @@ module ComputationallyExpensiveHashFunctionFlow {
// make sinks barriers so that we only report the closest instance
isSink(node)
}
predicate observeDiffInformedIncrementalMode() { any() }
}
import TaintTracking::Global<Config>