Avoid duplicate results using in-barriers

This commit is contained in:
Owen Mansel-Chan
2025-10-14 13:52:20 +01:00
committed by Owen Mansel-Chan
parent 34b2e3e2bf
commit fac5296efc

View File

@@ -24,6 +24,8 @@ private module BrokenCryptoAlgorithmConfig implements DataFlow::ConfigSig {
predicate isSink(DataFlow::Node sink) { sink instanceof Sink } predicate isSink(DataFlow::Node sink) { sink instanceof Sink }
predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
predicate isBarrier(DataFlow::Node node) { node instanceof Sanitizer } predicate isBarrier(DataFlow::Node node) { node instanceof Sanitizer }
predicate observeDiffInformedIncrementalMode() { any() } predicate observeDiffInformedIncrementalMode() { any() }