function

package

v0.0.0-...-fd97c83 Latest Latest Go to latest Published: Jul 9, 2026 License: Apache-2.0 Imports: 20 Imported by: 1

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/uber-go/nilaway

Links

Open Source Insights

Documentation ¶

Overview ¶

Package function implements a sub-analyzer to create full triggers for each function declaration.

Index ¶

Variables

Constants ¶

This section is empty.

Variables ¶

View Source

var Analyzer = &analysis.Analyzer{
	Name:       "nilaway_function_analyzer",
	Doc:        _doc,
	Run:        analysishelper.WrapRun(run),
	ResultType: reflect.TypeOf((*analysishelper.Result[[]annotation.FullTrigger])(nil)),
	Requires: []*analysis.Analyzer{
		config.Analyzer,
		ctrlflow.Analyzer,
		structfield.Analyzer,
		anonymousfunc.Analyzer,
		functioncontracts.Analyzer,
	},
}

Analyzer here is the analyzer than generates assertions and passes them onto the accumulator to be matched against annotations

Functions ¶

This section is empty.

Types ¶

This section is empty.

Source Files ¶

View all Source files

analyzer.go

Directories ¶

Path	Synopsis
assertiontree Package assertiontree contains the node definitions for the assertion tree, as well as the main backpropagation algorithm.	Package assertiontree contains the node definitions for the assertion tree, as well as the main backpropagation algorithm.
functioncontracts Package functioncontracts implements a sub-analyzer to analyze function contracts in a package, i.e., parsing specified function contracts written as special comments before function declarations, or automatically inferring function contracts from the function body.	Package functioncontracts implements a sub-analyzer to analyze function contracts in a package, i.e., parsing specified function contracts written as special comments before function declarations, or automatically inferring function contracts from the function body.
preprocess Package preprocess hosts preprocessing logic for the input (e.g., CFGs etc.) to make it more amenable to analysis.	Package preprocess hosts preprocessing logic for the input (e.g., CFGs etc.) to make it more amenable to analysis.
producer Package producer contains definitions for parsed producers, which are the result of ParseExprAsProducer.	Package producer contains definitions for parsed producers, which are the result of ParseExprAsProducer.
structfieldeffects Package structfieldeffects implements a sub-analyzer that computes the package-level struct-field boundary summary: the field paths each function reads of its parameters and of the results its callers consume.	Package structfieldeffects implements a sub-analyzer that computes the package-level struct-field boundary summary: the field paths each function reads of its parameters and of the results its callers consume.

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL