CodeQL library for Java
Search

Predicate strictlyDominates

Holds if dom strictly dominates node.

Import path

import java
predicate strictlyDominates(ControlFlowNode dom, ControlFlowNode node)