function

Documentation

Overview

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

Index

• Variables

Variables

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