CodeQL library for Java
Search

Predicate postDominates

Holds if dom post-dominates node. (This is reflexive.)

Import path

import java
predicate postDominates(ControlFlowNode dom, ControlFlowNode node)