passes/

Details

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

Repository

README ¶

This directory does not contain a Go package,
but acts as a container for various analyses
that implement the github.com/goplus/xtools/gop/analysis
API and may be imported into an analysis tool.

By convention, each package foo provides the analysis,
and each command foo/cmd/foo provides a standalone driver.

Directories ¶

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

Path	Synopsis
asmdecl Package asmdecl defines an Analyzer that reports mismatches between assembly files and Go declarations.	Package asmdecl defines an Analyzer that reports mismatches between assembly files and Go declarations.
assign Package assign defines an Analyzer that detects useless assignments.	Package assign defines an Analyzer that detects useless assignments.
atomic Package atomic defines an Analyzer that checks for common mistakes using the sync/atomic package.	Package atomic defines an Analyzer that checks for common mistakes using the sync/atomic package.
atomicalign Package atomicalign defines an Analyzer that checks for non-64-bit-aligned arguments to sync/atomic functions.	Package atomicalign defines an Analyzer that checks for non-64-bit-aligned arguments to sync/atomic functions.
bools Package bools defines an Analyzer that detects common mistakes involving boolean operators.	Package bools defines an Analyzer that detects common mistakes involving boolean operators.
buildssa Package buildssa defines an Analyzer that constructs the SSA representation of an error-free package and returns the set of all functions within it.	Package buildssa defines an Analyzer that constructs the SSA representation of an error-free package and returns the set of all functions within it.
buildtag Package buildtag defines an Analyzer that checks build tags.	Package buildtag defines an Analyzer that checks build tags.
cgocall Package cgocall defines an Analyzer that detects some violations of the cgo pointer passing rules.	Package cgocall defines an Analyzer that detects some violations of the cgo pointer passing rules.
composite Package composite defines an Analyzer that checks for unkeyed composite literals.	Package composite defines an Analyzer that checks for unkeyed composite literals.
copylock Package copylock defines an Analyzer that checks for locks erroneously passed by value.	Package copylock defines an Analyzer that checks for locks erroneously passed by value.
ctrlflow Package ctrlflow is an analysis that provides a syntactic control-flow graph (CFG) for the body of a function.	Package ctrlflow is an analysis that provides a syntactic control-flow graph (CFG) for the body of a function.
deepequalerrors Package deepequalerrors defines an Analyzer that checks for the use of reflect.DeepEqual with error values.	Package deepequalerrors defines an Analyzer that checks for the use of reflect.DeepEqual with error values.
defers Package defers defines an Analyzer that checks for common mistakes in defer statements.	Package defers defines an Analyzer that checks for common mistakes in defer statements.
cmd/defers The defers command runs the defers analyzer.	The defers command runs the defers analyzer.
directive Package directive defines an Analyzer that checks known Go toolchain directives.	Package directive defines an Analyzer that checks known Go toolchain directives.
errorsas The errorsas package defines an Analyzer that checks that the second argument to errors.As is a pointer to a type implementing error.	The errorsas package defines an Analyzer that checks that the second argument to errors.As is a pointer to a type implementing error.
fieldalignment Package fieldalignment defines an Analyzer that detects structs that would use less memory if their fields were sorted.	Package fieldalignment defines an Analyzer that detects structs that would use less memory if their fields were sorted.
cmd/fieldalignment
findcall Package findcall defines an Analyzer that serves as a trivial example and test of the Analysis API.	Package findcall defines an Analyzer that serves as a trivial example and test of the Analysis API.
cmd/findcall The findcall command runs the findcall analyzer.	The findcall command runs the findcall analyzer.
framepointer Package framepointer defines an Analyzer that reports assembly code that clobbers the frame pointer before saving it.	Package framepointer defines an Analyzer that reports assembly code that clobbers the frame pointer before saving it.
httpresponse Package httpresponse defines an Analyzer that checks for mistakes using HTTP responses.	Package httpresponse defines an Analyzer that checks for mistakes using HTTP responses.
ifaceassert Package ifaceassert defines an Analyzer that flags impossible interface-interface type assertions.	Package ifaceassert defines an Analyzer that flags impossible interface-interface type assertions.
cmd/ifaceassert The ifaceassert command runs the ifaceassert analyzer.	The ifaceassert command runs the ifaceassert analyzer.
loopclosure Package loopclosure defines an Analyzer that checks for references to enclosing loop variables from within nested functions.	Package loopclosure defines an Analyzer that checks for references to enclosing loop variables from within nested functions.
lostcancel Package lostcancel defines an Analyzer that checks for failure to call a context cancellation function.	Package lostcancel defines an Analyzer that checks for failure to call a context cancellation function.
cmd/lostcancel The lostcancel command applies the github.com/goplus/xtools/gop/analysis/passes/lostcancel analysis to the specified packages of Go source code.	The lostcancel command applies the github.com/goplus/xtools/gop/analysis/passes/lostcancel analysis to the specified packages of Go source code.
nilfunc Package nilfunc defines an Analyzer that checks for useless comparisons against nil.	Package nilfunc defines an Analyzer that checks for useless comparisons against nil.
nilness Package nilness inspects the control-flow graph of an SSA function and reports errors such as nil pointer dereferences and degenerate nil pointer comparisons.	Package nilness inspects the control-flow graph of an SSA function and reports errors such as nil pointer dereferences and degenerate nil pointer comparisons.
cmd/nilness The nilness command applies the github.com/goplus/xtools/gop/analysis/passes/nilness analysis to the specified packages of Go source code.	The nilness command applies the github.com/goplus/xtools/gop/analysis/passes/nilness analysis to the specified packages of Go source code.
pkgfact The pkgfact package is a demonstration and test of the package fact mechanism.	The pkgfact package is a demonstration and test of the package fact mechanism.
printf Package printf defines an Analyzer that checks consistency of Printf format strings and arguments.	Package printf defines an Analyzer that checks consistency of Printf format strings and arguments.
reflectvaluecompare Package reflectvaluecompare defines an Analyzer that checks for accidentally using == or reflect.DeepEqual to compare reflect.Value values.	Package reflectvaluecompare defines an Analyzer that checks for accidentally using == or reflect.DeepEqual to compare reflect.Value values.
shadow Package shadow defines an Analyzer that checks for shadowed variables.	Package shadow defines an Analyzer that checks for shadowed variables.
cmd/shadow The shadow command runs the shadow analyzer.	The shadow command runs the shadow analyzer.
shift Package shift defines an Analyzer that checks for shifts that exceed the width of an integer.	Package shift defines an Analyzer that checks for shifts that exceed the width of an integer.
sigchanyzer Package sigchanyzer defines an Analyzer that detects misuse of unbuffered signal as argument to signal.Notify.	Package sigchanyzer defines an Analyzer that detects misuse of unbuffered signal as argument to signal.Notify.
slog Package slog defines an Analyzer that checks for mismatched key-value pairs in log/slog calls.	Package slog defines an Analyzer that checks for mismatched key-value pairs in log/slog calls.
sortslice Package sortslice defines an Analyzer that checks for calls to sort.Slice that do not use a slice type as first argument.	Package sortslice defines an Analyzer that checks for calls to sort.Slice that do not use a slice type as first argument.
stdmethods Package stdmethods defines an Analyzer that checks for misspellings in the signatures of methods similar to well-known interfaces.	Package stdmethods defines an Analyzer that checks for misspellings in the signatures of methods similar to well-known interfaces.
stringintconv Package stringintconv defines an Analyzer that flags type conversions from integers to strings.	Package stringintconv defines an Analyzer that flags type conversions from integers to strings.
cmd/stringintconv The stringintconv command runs the stringintconv analyzer.	The stringintconv command runs the stringintconv analyzer.
structtag Package structtag defines an Analyzer that checks struct field tags are well formed.	Package structtag defines an Analyzer that checks struct field tags are well formed.
testinggoroutine Package testinggoroutine defines an Analyzerfor detecting calls to Fatal from a test goroutine.	Package testinggoroutine defines an Analyzerfor detecting calls to Fatal from a test goroutine.
tests Package tests defines an Analyzer that checks for common mistaken usages of tests and examples.	Package tests defines an Analyzer that checks for common mistaken usages of tests and examples.
timeformat Package timeformat defines an Analyzer that checks for the use of time.Format or time.Parse calls with a bad format.	Package timeformat defines an Analyzer that checks for the use of time.Format or time.Parse calls with a bad format.
unmarshal The unmarshal package defines an Analyzer that checks for passing non-pointer or non-interface types to unmarshal and decode functions.	The unmarshal package defines an Analyzer that checks for passing non-pointer or non-interface types to unmarshal and decode functions.
cmd/unmarshal The unmarshal command runs the unmarshal analyzer.	The unmarshal command runs the unmarshal analyzer.
unreachable Package unreachable defines an Analyzer that checks for unreachable code.	Package unreachable defines an Analyzer that checks for unreachable code.
unsafeptr Package unsafeptr defines an Analyzer that checks for invalid conversions of uintptr to unsafe.Pointer.	Package unsafeptr defines an Analyzer that checks for invalid conversions of uintptr to unsafe.Pointer.
unusedresult Package unusedresult defines an analyzer that checks for unused results of calls to certain pure functions.	Package unusedresult defines an analyzer that checks for unused results of calls to certain pure functions.
cmd/unusedresult The unusedresult command applies the github.com/goplus/xtools/gop/analysis/passes/unusedresult analysis to the specified packages of Go source code.	The unusedresult command applies the github.com/goplus/xtools/gop/analysis/passes/unusedresult analysis to the specified packages of Go source code.
unusedwrite Package unusedwrite checks for unused writes to the elements of a struct or array object.	Package unusedwrite checks for unused writes to the elements of a struct or array object.
usesgenerics Package usesgenerics defines an Analyzer that checks for usage of generic features added in Go 1.18.	Package usesgenerics defines an Analyzer that checks for usage of generic features added in Go 1.18.