125 lines
3.8 KiB
Go
125 lines
3.8 KiB
Go
// The vet-lite command is a driver for static checkers conforming to
|
|
// the golang.org/x/tools/go/analysis API. It must be run by go vet:
|
|
//
|
|
// $ go vet -vettool=$(which vet-lite)
|
|
//
|
|
// For a checker also capable of running standalone, use multichecker.
|
|
package main
|
|
|
|
import (
|
|
"flag"
|
|
"fmt"
|
|
"log"
|
|
"os"
|
|
"strings"
|
|
|
|
"golang.org/x/tools/go/analysis"
|
|
"golang.org/x/tools/go/analysis/internal/analysisflags"
|
|
"golang.org/x/tools/go/analysis/internal/unitchecker"
|
|
|
|
"golang.org/x/tools/go/analysis/passes/asmdecl"
|
|
"golang.org/x/tools/go/analysis/passes/assign"
|
|
"golang.org/x/tools/go/analysis/passes/atomic"
|
|
"golang.org/x/tools/go/analysis/passes/bools"
|
|
"golang.org/x/tools/go/analysis/passes/buildtag"
|
|
"golang.org/x/tools/go/analysis/passes/cgocall"
|
|
"golang.org/x/tools/go/analysis/passes/composite"
|
|
"golang.org/x/tools/go/analysis/passes/copylock"
|
|
"golang.org/x/tools/go/analysis/passes/httpresponse"
|
|
"golang.org/x/tools/go/analysis/passes/loopclosure"
|
|
"golang.org/x/tools/go/analysis/passes/lostcancel"
|
|
"golang.org/x/tools/go/analysis/passes/nilfunc"
|
|
"golang.org/x/tools/go/analysis/passes/pkgfact"
|
|
"golang.org/x/tools/go/analysis/passes/printf"
|
|
"golang.org/x/tools/go/analysis/passes/shift"
|
|
"golang.org/x/tools/go/analysis/passes/stdmethods"
|
|
"golang.org/x/tools/go/analysis/passes/structtag"
|
|
"golang.org/x/tools/go/analysis/passes/tests"
|
|
"golang.org/x/tools/go/analysis/passes/unmarshal"
|
|
"golang.org/x/tools/go/analysis/passes/unreachable"
|
|
"golang.org/x/tools/go/analysis/passes/unsafeptr"
|
|
"golang.org/x/tools/go/analysis/passes/unusedresult"
|
|
)
|
|
|
|
var analyzers = []*analysis.Analyzer{
|
|
asmdecl.Analyzer,
|
|
assign.Analyzer,
|
|
atomic.Analyzer,
|
|
bools.Analyzer,
|
|
buildtag.Analyzer,
|
|
cgocall.Analyzer,
|
|
composite.Analyzer,
|
|
copylock.Analyzer,
|
|
httpresponse.Analyzer,
|
|
loopclosure.Analyzer,
|
|
lostcancel.Analyzer,
|
|
nilfunc.Analyzer,
|
|
pkgfact.Analyzer,
|
|
printf.Analyzer,
|
|
shift.Analyzer,
|
|
stdmethods.Analyzer,
|
|
structtag.Analyzer,
|
|
tests.Analyzer,
|
|
unmarshal.Analyzer,
|
|
unreachable.Analyzer,
|
|
unsafeptr.Analyzer,
|
|
unusedresult.Analyzer,
|
|
}
|
|
|
|
func main() {
|
|
log.SetFlags(0)
|
|
log.SetPrefix("vet: ")
|
|
|
|
if err := analysis.Validate(analyzers); err != nil {
|
|
log.Fatal(err)
|
|
}
|
|
|
|
// Flags for legacy vet compatibility.
|
|
//
|
|
// These flags, plus the shims in analysisflags, enable
|
|
// existing scripts that run vet to continue to work.
|
|
//
|
|
// Legacy vet had the concept of "experimental" checkers. There
|
|
// was exactly one, shadow, and it had to be explicitly enabled
|
|
// by the -shadow flag, which would of course disable all the
|
|
// other tristate flags, requiring the -all flag to reenable them.
|
|
// (By itself, -all did not enable all checkers.)
|
|
// The -all flag is no longer needed, so it is a no-op.
|
|
//
|
|
// The shadow analyzer has been removed from the suite,
|
|
// but can be run using these additional commands:
|
|
// $ go install golang.org/x/tools/go/analysis/passes/shadow/cmd/shadow
|
|
// $ go vet -vettool=$(which shadow)
|
|
// Alternatively, one could build a multichecker containing all
|
|
// the desired checks (vet's suite + shadow) and run it in a
|
|
// single "go vet" command.
|
|
for _, name := range []string{"source", "v", "all"} {
|
|
_ = flag.Bool(name, false, "no effect (deprecated)")
|
|
}
|
|
|
|
flag.Usage = func() {
|
|
fmt.Fprintln(os.Stderr, `Usage of vet:
|
|
vet unit.cfg # execute analysis specified by config file
|
|
vet help # general help
|
|
vet help name # help on specific analyzer and its flags`)
|
|
flag.PrintDefaults()
|
|
os.Exit(1)
|
|
}
|
|
|
|
analyzers = analysisflags.Parse(analyzers, true)
|
|
|
|
args := flag.Args()
|
|
if len(args) == 0 {
|
|
flag.Usage()
|
|
}
|
|
if args[0] == "help" {
|
|
analysisflags.Help("vet", analyzers, args[1:])
|
|
os.Exit(0)
|
|
}
|
|
if len(args) != 1 || !strings.HasSuffix(args[0], ".cfg") {
|
|
log.Fatalf("invalid command: want .cfg file (this reduced version of vet is intended to be run only by the 'go vet' command)")
|
|
}
|
|
|
|
unitchecker.Main(args[0], analyzers)
|
|
}
|