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

Predicate Make::SsaDefReaches::varBlockReachesExitExt

Holds if def is accessed in basic block bb (either a read or a write), bb can reach a transitive successor bb2 where def is no longer live, and v is neither read nor written in any block on the path between bb and bb2.

Import path

import codeql.ssa.Ssa
predicate varBlockReachesExitExt(DefinitionExt def, BasicBlock bb)