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

Member predicate BasicBlock :: alwaysReaches

Holds if flow from this BasicBlock always reaches succ

predicate alwaysReaches ( BasicBlock succ )