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
)