Provides the control flow graph interfaces used by basic-block and inline CFG tests.
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. |