Predicate eqFlowCond
Gets a condition that tests whether v
equals e + delta
.
If the condition evaluates to testIsTrue
:
isEq = true
:v == e + delta
isEq = false
:v != e + delta
Import path
import semmle.code.java.dataflow.RangeUtils
Guard eqFlowCond(SsaVariable v, Expr e, int delta, boolean isEq, boolean testIsTrue)