CodeQL library for Java
codeql/java-all 0.5.1 (changelog, source)
Search

Predicate SsaImpl::firstUse

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)