preconditions

package

v0.5.0 Latest Latest Go to latest Published: Dec 11, 2025 License: Apache-2.0 Imports: 11 Imported by: 0

Details

This section is empty.

This section is empty.

func FormattedReport(res AnalysisResult) (string, bool)

FormattedReport writes res to a string and returns true if the analysis has findings.

type AnalysisReqs struct {
	// Tag is the tag to analyze, ignored if non-empty.
	Tag string
}

AnalysisReqs specifies requirements for the analysis that are not in the config.

type AnalysisResult struct {
	NumSpecs      int
	UncheckedLocs map[string][]token.Position
}

An AnalysisResult of the condition checking analysis returns the list of location where unchecked calls occur.

func Analyze(state *ptr.State, reqs AnalysisReqs) (AnalysisResult, error)

Analyze runs the analysis on the program wrapped in the pointer state.