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