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.

A control-flow node that initializes or updates the value of a constant, a variable, a field, or an (array, slice, or map) element.