Module ControlFlowReachability
Provides an implementation of local (intraprocedural) control flow reachability.
Import path
import codeql.controlflow.ControlFlowReachabilityProvides an implementation of local (intraprocedural) control flow reachability.
import codeql.controlflow.ControlFlowReachability