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

Predicate Cached::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.internal.SsaImpl
predicate firstUse(Definition def, VarRead use)