qtil
advanced-security/qtil-java 0.0.3
Search

Predicate iDominates

Immediate dominance relation on control-flow graph nodes.

Import path

import semmle.code.java.controlflow.Dominance
predicate iDominates(ControlFlowNode dominator, ControlFlowNode node)