CodeQL library for Java/Kotlin

codeql/java-all 7.7.3-dev (changelog, source)

Module Dominance

Provides classes and predicates for control-flow graph dominance.

Import path

import semmle.code.java.controlflow.Dominance

Imports

java	Provides all default Java QL imports.

Predicates

bbDominates	DEPRECATED: Use `BasicBlock::dominates` instead.
bbIDominates	DEPRECATED: Use `BasicBlock::immediatelyDominates` instead.
bbIPostDominates	The immediate post-dominance relation on basic blocks.
bbPostDominates	DEPRECATED: Use `BasicBlock::postDominates` instead.
bbStrictlyDominates	DEPRECATED: Use `BasicBlock::strictlyDominates` instead.
bbStrictlyPostDominates	DEPRECATED: Use `BasicBlock::strictlyPostDominates` instead.
dominanceFrontier	The dominance frontier relation for basic blocks.
dominates	Holds if `dom` dominates `node`. (This is reflexive.)
iDominates	Immediate dominance relation on control-flow graph nodes.
postDominates	Holds if `dom` post-dominates `node`. (This is reflexive.)
strictlyDominates	Holds if `dom` strictly dominates `node`.
strictlyPostDominates	Holds if `dom` strictly post-dominates `node`.