Module BasicBlock

Provides classes representing basic blocks.

Import path

semmle.code.cil.BasicBlock

Predicates

bbIDominates

Holds if dom is an immediate dominator of bb.

bbIPostDominates

Holds if dom is an immediate post-dominator of bb.

Classes

BasicBlock

A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.

ConditionBlock

A basic block that terminates in a condition, splitting the subsequent control flow.

EntryBasicBlock

An entry basic block, that is, a basic block whose first node is the entry node of a callable.

ExitBasicBlock

An exit basic block, that is, a basic block whose last node is an exit node.

JoinBlock

A basic block with more than one predecessor.