Remove unnecessary AdditionalValueStep check

This commit is contained in:
Eric Bickle
2023-10-10 09:35:45 -07:00
parent 4dca396106
commit 80c8259e34

View File

@@ -22,7 +22,6 @@ module ThreadResourceAbuseConfig implements DataFlow::ConfigSig {
predicate isSink(DataFlow::Node sink) { sink instanceof PauseThreadSink }
predicate isAdditionalFlowStep(DataFlow::Node pred, DataFlow::Node succ) {
any(AdditionalValueStep r).step(pred, succ) or
any(ThreadResourceAbuseAdditionalTaintStep c).step(pred, succ)
}