CodeQL library for Python
Search

Member predicate ControlFlowNode::strictlyReaches

Whether this strictly reaches other.

predicate strictlyReaches(ControlFlowNode other)