CodeQL library for Python
codeql/python-all 0.5.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)