Module ControlFlowGraph
Provides a library for reasoning about control flow at the granularity of individual nodes in the control-flow graph.
Import path
import semmle.code.cpp.controlflow.ControlFlowGraph
Imports
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 |
ControlFlowGraphPublic | Provides predicates that should be exported as if they were top-level predicates in |
cpp | Provides classes and predicates for working with C/C++ code. |
Predicates
successors_extended | Holds if there is a control-flow edge from |
Classes
AdditionalControlFlowEdge | An abstract class that can be extended to add additional edges to the control-flow graph. Instances of this class correspond to the source nodes of such edges, and the predicate |
ControlFlowNode | A control-flow node is either a statement or an expression; in addition, functions are control-flow nodes representing the exit point of the function. The graph represents one possible evaluation order out of all the ones the compiler might have picked. |
ControlFlowNodeBase | An element that is convertible to |