qtil
advanced-security/qtil-java 0.0.3
Search

Predicate strictlyPostDominates

Holds if dom strictly post-dominates node.

Import path

import semmle.code.java.controlflow.Dominance
predicate strictlyPostDominates(ControlFlowNode dom, ControlFlowNode node)