CodeQL library for Python
codeql/python-all 3.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)