CodeQL library for C#
codeql/csharp-all 0.4.4 (changelog, source)
Search

Module BasicBlock

Provides classes representing basic blocks.

Import path

import 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.