Holds if the value defined at def
can reach use
without passing through
any other uses, but possibly through phi nodes and uncertain implicit updates.
Import path
import semmle.code.java.dataflow.SSA
predicate
firstUse
(
TrackedSsaDef
def
,
RValue
use
)