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.SSAExpr sameValue(SsaVariable v, VarAccess va)