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

Member predicate BasicBlock::strictlyReaches

Holds if this basic block strictly reaches the other. Is the start of other reachable from the end of this.

predicate strictlyReaches(BasicBlock other)