Documentation
¶
Overview ¶
Package assertion implements a sub-analyzer that collects full triggers from the sub-analyzers and combine them into a list of full triggers for the entire package.
Index ¶
Constants ¶
This section is empty.
Variables ¶
View Source
var Analyzer = &analysis.Analyzer{ Name: "nilaway_assertion_analyzer", Doc: _doc, Run: analysishelper.WrapRun(run), ResultType: reflect.TypeOf((*analysishelper.Result[[]annotation.FullTrigger])(nil)), Requires: []*analysis.Analyzer{config.Analyzer, function.Analyzer, affiliation.Analyzer, global.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
Directories
¶
| Path | Synopsis |
|---|---|
|
Package affiliation implements the affliation analyzer that tries to find the concrete implementation of an interface and create full triggers for them.
|
Package affiliation implements the affliation analyzer that tries to find the concrete implementation of an interface and create full triggers for them. |
|
Package anonymousfunc implements a sub-analyzer to analyze anonymous functions in a package.
|
Package anonymousfunc implements a sub-analyzer to analyze anonymous functions in a package. |
|
Package function implements a sub-analyzer to create full triggers for each function declaration.
|
Package function implements a sub-analyzer to create full triggers for each function declaration. |
|
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. |
|
Package global implements a sub-analyzer to create full triggers for global variables.
|
Package global implements a sub-analyzer to create full triggers for global variables. |
|
Package structfield implements a sub-analyzer that collects struct fields accessed within a function to aid the analysis of the main function analyzer.
|
Package structfield implements a sub-analyzer that collects struct fields accessed within a function to aid the analysis of the main function analyzer. |
Click to show internal directories.
Click to hide internal directories.