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)