CodeQL library for C/C++
Search

Module BasicBlocks

Provides a library for reasoning about control flow at the granularity of basic blocks. This is usually much more efficient than reasoning directly at the level of ControlFlowNodes.

Import path

import semmle.code.cpp.controlflow.BasicBlocks

Imports

cpp

Provides classes and predicates for working with C/C++ code.

Predicates

unreachable

Correct relation for reachability of ControlFlowNodes.

Classes

BasicBlock

A basic block in the C/C++ control-flow graph.

EntryBasicBlock

An entry point of a function.

ExitBasicBlock

A basic block whose last node is the exit point of a function.

Aliases

bb_successor

Successor relation for basic blocks.