Module ControlFlow

Provides classes for control flow.

Import path

import semmle.code.cil.ControlFlow

ControlFlowNode	A node in the control flow graph.
EntryPoint	A control flow entry point. Either a method (`MethodImplementation`) or a handler (`Handler`).
FalseFlow	False control flow.
FlowType	A type of control flow. Either normal flow (`NormalFlow`), true flow (`TrueFlow`) or false flow (`FalseFlow`).
NormalFlow	Normal control flow.
TrueFlow	True control flow.