remove isBarrier

This commit is contained in:
am0o0
2024-05-12 18:17:47 +02:00
parent 9fffd7846a
commit be03e582c6

View File

@@ -47,8 +47,6 @@ module DecompressionBombsConfig implements DataFlow::StateConfigSig {
) {
any(AdditionalStep ads).step(nodeFrom, stateFrom, nodeTo, stateTo)
}
predicate isBarrier(DataFlow::Node sanitizer, FlowState state) { none() }
}
module DecompressionBombsFlow = TaintTracking::GlobalWithState<DecompressionBombsConfig>;