CodeQL library for Python
Search

Member predicate BasicBlock::likelyReachable

Whether (as inferred by type inference) this basic block is likely to be reachable.

predicate likelyReachable()