Predicate sameValue
Gets an expression that has the same value as the given SSA variable.
The VarAccess represents the access to v that result has the same value as.
Import path
import semmle.code.java.dataflow.SSA
Expr
sameValue
(
SsaVariable
v
,
VarAccess
va
)