remove isBarrier

am0o0 · am0o0 · commit be03e582c6bb · 2024-05-12T18:17:47.000+02:00
diff --git a/java/ql/src/experimental/Security/CWE/CWE-522-DecompressionBombs/DecompressionBomb.ql b/java/ql/src/experimental/Security/CWE/CWE-522-DecompressionBombs/DecompressionBomb.ql
@@ -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>;

Original file line number	Diff line number	Diff line change
`@@ -47,8 +47,6 @@ module DecompressionBombsConfig implements DataFlow::StateConfigSig {`
`47`	`47`	`) {`
`48`	`48`	`any(AdditionalStep ads).step(nodeFrom, stateFrom, nodeTo, stateTo)`
`49`	`49`	`}`
`50`		`-`
`51`		`- predicate isBarrier(DataFlow::Node sanitizer, FlowState state) { none() }`
`52`	`50`	`}`
`53`	`51`
`54`	`52`	`module DecompressionBombsFlow = TaintTracking::GlobalWithState<DecompressionBombsConfig>;`