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