/** Provides classes representing the control flow graph. */

import codeql.Locations
import controlflow.ControlFlowGraph
import controlflow.CfgNodes as CfgNodes
import controlflow.BasicBlocks