CodeQL library for Go

codeql/go-all 7.3.0 (changelog, source)

Module SsaImpl

INTERNAL: Analyses should use module SSA instead.

Provides predicates for constructing an SSA representation for functions.

Import path

import semmle.go.dataflow.SsaImpl

Imports

Internal
go	Provides classes for working with Go programs.

Predicates

adjacentUseUse	NB: This predicate should be cached.
firstUse	NB: This predicate should be cached.
phiHasInputFromBlock	NB: This predicate should be cached.
ssaDefReachesEndOfBlock	NB: This predicate should be cached.
ssaDefReachesRead	NB: This predicate should be cached.

Aliases

Consistency	Provides a set of consistency queries.
Definition	A static single assignment (SSA) definition.
Impl	Provides an SSA implementation.
PhiNode	A phi node.
UncertainWriteDefinition	An SSA definition that represents an uncertain update of the underlying source variable.
WriteDefinition	An SSA definition that corresponds to a write.