Predicate bbIDominates
The immediate dominance relation for basic blocks.
Import path
import semmle.code.java.controlflow.Dominancepredicate bbIDominates(BasicBlock dom, BasicBlock node)The immediate dominance relation for basic blocks.
import semmle.code.java.controlflow.Dominancepredicate bbIDominates(BasicBlock dom, BasicBlock node)