The public API of the control flow graph library.
Import path
import codeql.controlflow.ControlFlowGraphImports
| Make<ControlFlowGraph::Make0::Location, ControlFlowGraph::Make0::Make1::Make2::Public::BbInput> | Provides a basic block construction on top of a control flow graph. |
Classes
| ControlFlowNode | A node in the control flow graph. This is restricted to nodes that are reachable from an entry node. |
Modules
| Cfg | Provides the control flow graph interfaces used by basic-block and inline CFG tests. |
| ControlFlow | Provides additional classes for interacting with the control flow graph. |