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
)