codeql/java-all
7.8.5-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
import codeql.ssa.Ssa
predicate ssaDefReachesCertainRead(Definition def, Expr e)