README
¶
xtools - Extended tools for Go+
Directories
¶
| Path | Synopsis |
|---|---|
|
gop
|
|
|
_analysis
Package analysis defines the interface between a modular static analysis and an analysis driver program.
|
Package analysis defines the interface between a modular static analysis and an analysis driver program. |
|
_analysis/multichecker
Package multichecker defines the main function for an analysis driver with several analyzers.
|
Package multichecker defines the main function for an analysis driver with several analyzers. |
|
_analysis/passes/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. |
|
_analysis/passes/assign
Package assign defines an Analyzer that detects useless assignments.
|
Package assign defines an Analyzer that detects useless assignments. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/buildtag
Package buildtag defines an Analyzer that checks build tags.
|
Package buildtag defines an Analyzer that checks build tags. |
|
_analysis/passes/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. |
|
_analysis/passes/composite
Package composite defines an Analyzer that checks for unkeyed composite literals.
|
Package composite defines an Analyzer that checks for unkeyed composite literals. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/defers/cmd/defers
The defers command runs the defers analyzer.
|
The defers command runs the defers analyzer. |
|
_analysis/passes/directive
Package directive defines an Analyzer that checks known Go toolchain directives.
|
Package directive defines an Analyzer that checks known Go toolchain directives. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/findcall/cmd/findcall
The findcall command runs the findcall analyzer.
|
The findcall command runs the findcall analyzer. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/ifaceassert/cmd/ifaceassert
The ifaceassert command runs the ifaceassert analyzer.
|
The ifaceassert command runs the ifaceassert analyzer. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/lostcancel/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/nilness/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/shadow
Package shadow defines an Analyzer that checks for shadowed variables.
|
Package shadow defines an Analyzer that checks for shadowed variables. |
|
_analysis/passes/shadow/cmd/shadow
The shadow command runs the shadow analyzer.
|
The shadow command runs the shadow analyzer. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/stringintconv/cmd/stringintconv
The stringintconv command runs the stringintconv analyzer.
|
The stringintconv command runs the stringintconv analyzer. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/unmarshal/cmd/unmarshal
The unmarshal command runs the unmarshal analyzer.
|
The unmarshal command runs the unmarshal analyzer. |
|
_analysis/passes/unreachable
Package unreachable defines an Analyzer that checks for unreachable code.
|
Package unreachable defines an Analyzer that checks for unreachable code. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/passes/unusedresult/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. |
|
_analysis/passes/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. |
|
_analysis/passes/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. |
|
_analysis/singlechecker
Package singlechecker defines the main function for an analysis driver with only a single analysis.
|
Package singlechecker defines the main function for an analysis driver with only a single analysis. |
|
_analysis/unitchecker
The unitchecker package defines the main function for an analysis driver that analyzes a single compilation unit during a build.
|
The unitchecker package defines the main function for an analysis driver that analyzes a single compilation unit during a build. |
|
_ast/astutil
Package astutil contains common utilities for working with the Go AST.
|
Package astutil contains common utilities for working with the Go AST. |
|
_expect
Package expect provides support for interpreting structured comments in Go source code as test expectations.
|
Package expect provides support for interpreting structured comments in Go source code as test expectations. |
|
analysis/_analysistest
Package analysistest provides utilities for testing analyzers.
|
Package analysistest provides utilities for testing analyzers. |
|
analysis/internal/_checker
Package checker defines the implementation of the checker commands.
|
Package checker defines the implementation of the checker commands. |
|
analysis/internal/analysisflags
Package analysisflags defines helpers for processing flags of analysis driver tools.
|
Package analysisflags defines helpers for processing flags of analysis driver tools. |
|
analysis/passes/appends
Package appends defines an Analyzer that detects if there is only one variable in append.
|
Package appends defines an Analyzer that detects if there is only one variable in append. |
|
analysis/passes/inspect
Package inspect defines an Analyzer that provides an AST inspector (github.com/goplus/xtools/gop/ast/inspector.Inspector) for the syntax trees of a package.
|
Package inspect defines an Analyzer that provides an AST inspector (github.com/goplus/xtools/gop/ast/inspector.Inspector) for the syntax trees of a package. |
|
analysis/passes/internal/analysisutil
Package analysisutil defines various helper functions used by two or more packages beneath go/analysis.
|
Package analysisutil defines various helper functions used by two or more packages beneath go/analysis. |
|
ast/inspector
Package inspector provides helper functions for traversal over the syntax trees of a package, including node filtering by type, and materialization of the traversal stack.
|
Package inspector provides helper functions for traversal over the syntax trees of a package, including node filtering by type, and materialization of the traversal stack. |
Click to show internal directories.
Click to hide internal directories.