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

Member predicate SsaVariable::getAFirstUse

Gets an access of the SSA source variable underlying this SSA variable that can be reached from this SSA variable without passing through any other uses, but potentially through phi nodes and uncertain implicit updates.

Subsequent uses can be found by following the steps defined by adjacentUseUse.

RValue getAFirstUse()