Module ControlFlowGraph

Provides classes for working with a CFG-based program representation.

Import path

import semmle.go.controlflow.ControlFlowGraph

go	Provides classes for working with Go programs.

Provides helper predicates for mapping btween CFG nodes and the AST.

ControlFlowNode	A node in the intra-procedural control-flow graph of a Go function or file.
Write	A control-flow node that initializes or updates the value of a constant, a variable, a field, or an (array, slice, or map) element.