From be03e582c6bbdc298dd0a2ddbc8d9d01eea4a748 Mon Sep 17 00:00:00 2001 From: am0o0 <77095239+am0o0@users.noreply.github.com> Date: Sun, 12 May 2024 18:17:47 +0200 Subject: [PATCH] remove isBarrier --- .../CWE/CWE-522-DecompressionBombs/DecompressionBomb.ql | 2 -- 1 file changed, 2 deletions(-) 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 index 565290a8ed5..328355c9136 100644 --- 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;