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