CodeQL library for C#
Search

Module Internal

Internal implementation details.

Import path

import semmle.code.csharp.controlflow.BasicBlocks

Predicates

bbIDominates

Holds if dom is an immediate dominator of bb.

bbIPostDominates

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

bbIndex

Holds if cfn is the ith node in basic block bb.

Datatypes

TBasicBlock

Internal representation of basic blocks.