Module BasicBlocks

Import path

semmle.code.cpp.controlflow.BasicBlocks

Imports

cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ 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.