Module Make

Import path

import codeql.controlflow.ControlFlowReachability

Flow	Constructs a control flow reachability computation.

An input configuration for control flow reachability.

Location		LocationSig
Cfg		CfgSig<ControlFlowReachability::Make::Location>
Input		InputSig<Make::Location, Make::Cfg::ControlFlowNode, Make::Cfg::BasicBlock>