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

Member predicate GuardNode :: controlsBlock

Holds if this guard controls block b upon evaluating to branch.

predicate controlsBlock ( BasicBlock b , boolean branch )