qtil
advanced-security/qtil-java 0.0.3
Search

Predicate bbStrictlyPostDominates

Holds if dom strictly post-dominates node.

Import path

import semmle.code.java.controlflow.Dominance
predicate bbStrictlyPostDominates(BasicBlock dom, BasicBlock node)