Predicate useUsePair
Holds if use1 and use2 form a use-use-pair of the same
SsaSourceVariable, that is, the value read in use1 can reach use2
without passing through any SSA definition of the variable except for phi
nodes and uncertain implicit updates.
This is the transitive closure of adjacentUseUse.
Import path
import semmle.code.java.dataflow.DefUse
predicate
useUsePair
(
RValue
use1
,
RValue
use2
)