Module ControlFlow
Provides classes for control flow.
Import path
import semmle.code.cil.ControlFlow
Classes
ControlFlowNode |
A node in the control flow graph. |
EntryPoint |
A control flow entry point. Either a method ( |
FalseFlow |
False control flow. |
FlowType |
A type of control flow. Either normal flow ( |
NormalFlow |
Normal control flow. |
TrueFlow |
True control flow. |