Module ControlFlowGraphImpl
INTERNAL: Analyses should use module ControlFlowGraph instead.
Provides predicates for building intra-procedural CFGs.
Import path
import semmle.go.controlflow.ControlFlowGraphImplImports
| go | Provides classes for working with Go programs. |
Classes
| EntryNode | A control-flow node that represents the start of the execution of a function or file. |
| ExitNode | A control-flow node that represents the end of the execution of a function or file. |
| PlainBlock | A block statement that is not the body of a |
| SkipNode | A control-flow node that represents a no-op. |
Datatypes
| TControlFlowNode | A node in the intra-procedural control-flow graph of a Go function or file. |
| TWriteTarget | A representation of the target of a write. |
Modules
| CFG | Provides classes and predicates for computing the control-flow graph. |