Predicate guardDirectlyControlsSsaRead
Holds if guard
directly controls the position controlled
with the
value testIsTrue
.
Import path
import semmle.code.java.dataflow.RangeUtils
predicate
guardDirectlyControlsSsaRead
(
Guard
guard
,
SsaReadPosition
controlled
,
boolean
testIsTrue
)