CodeQL library for Go

codeql/go-all 2.1.4-dev (changelog, source)

Module ControlFlow

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

Import path

import semmle.go.controlflow.ControlFlowGraph

Predicates

entryNode	Gets the entry node of function or file `root`.
exitNode	Gets the exit node of function or file `root`.
isSwitchCaseTestPassingEdge	Holds if `pred` is the node for the case `testExpr` in an expression switch statement which is switching on `switchExpr`, and `succ` is the node to be executed next if the case test succeeds.
mayReturnNormally	Holds if the function `f` may return without panicking, exiting the process, or looping forever.

Classes

ConditionGuardNode	A control-flow node recording the fact that a certain expression has a known Boolean value at this point in the program.
Node	A node in the intra-procedural control-flow graph of a Go function or file.
Root	A file or function with which a CFG is associated.
WriteNode	A control-flow node that initializes or updates the value of a constant, a variable, a field, or an (array, slice, or map) element.