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 ControlFlowNode
s.
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. |