CodeQL library for Java
Search

Predicate iDominates

Immediate dominance relation on control-flow graph nodes.

Import path

import java
predicate iDominates(ControlFlowNode dominator, ControlFlowNode node)