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

Member predicate EssaDefinition :: reachesEndOfBlock

Holds if this definition reaches the end of b.

predicate reachesEndOfBlock ( BasicBlock b )