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

Member predicate BasicBlock::dominanceFrontier

Dominance frontier of a node x is the set of all nodes other such that this dominates a predecessor of other but does not strictly dominate other

predicate dominanceFrontier(BasicBlock other)