Module ControlFlow

Provides classes for control flow.

Import path

semmle.code.cil.ControlFlow

Classes

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.