Predicate guardControls_v2
INTERNAL: Use Guards.controls
instead.
Holds if guard.controls(controlled, branch)
, except this doesn’t rely on
RangeAnalysis.
Import path
import semmle.code.java.controlflow.Guards
predicate
guardControls_v2
(
Guard
guard
,
BasicBlock
controlled
,
boolean
branch
)