CodeQL library for Python
codeql/python-all 0.11.12 (changelog, source)
Search

Predicate SsaComputeImpl::SsaDefinitionsImpl::reachesUse

Holds if the SSA definition of v at (defbb, defindex) reaches use without crossing another SSA definition of v.

Import path

import semmle.python.essa.SsaCompute
predicate reachesUse(SsaSourceVariable v, BasicBlock defbb, int defindex, ControlFlowNode use)