Predicate guardControls_v1
INTERNAL: Use Guards.controls
instead.
Holds if guard.controls(controlled, branch)
, except this only relies on
BaseSSA-based reasoning.
Import path
import semmle.code.java.controlflow.Guards
predicate
guardControls_v1
(
Guard
guard
,
BasicBlock
controlled
,
boolean
branch
)