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

Member predicate EssaNodeDefinition :: reachesEndOfBlock

Holds if this definition reaches the end of b.

predicate reachesEndOfBlock ( BasicBlock b )