// https://github.com/golang/tools/blob/master/go/analysis/cmd/vet/vet.go

func main() {
	multichecker.Main(
		// the traditional vet suite:
		asmdecl.Analyzer,
		assign.Analyzer,
		atomic.Analyzer,
		atomicalign.Analyzer,
		bools.Analyzer,
		buildtag.Analyzer,

		// ...

		nilness.Analyzer,
	)
}

type Analyzer struct {
    // ...

    // ロジック本体。戻り値はなくても良いが、Resultとして他のAnalyzerに結果を渡す場合は返す。
    Run func(*Pass) (interface{}, error)

    // ...

    // このAnalyzerが実行時に利用したい他のAnalyzer
    Requires []*Analyzer

    // このAnalyzerが他のAnalyzerに提供する情報。Runメソッドの戻り値
    ResultType reflect.Type

    // 同じAnalyzer内で解析対象のパッケージをまたいで解析情報を利用したい場合はFactという概念を利用してやり取りする
    FactTypes []Fact
}

type Pass struct {
    Analyzer *Analyzer // the identity of the current analyzer

    // 解析対象パッケージの静的解析用の情報
    Fset       *token.FileSet // file position information
    Files      []*ast.File    // the abstract syntax tree of each file
    OtherFiles []string       // names of non-Go files of this package
    Pkg        *types.Package // type information about the package
    TypesInfo  *types.Info    // type information about the syntax trees
    TypesSizes types.Sizes    // function for computing sizes of types

    // ...

    // 他のAnalyzerのReslutを利用したい場合はこの中から受け取る
    ResultOf map[*Analyzer]interface{}

    // Factをやりとりするときの関数
    ImportObjectFact func(obj types.Object, fact Fact) bool

    // ...
}

$ go get github.com/tenntenn/gosa/skeleton
$ skeleton mylinter
mylinter
├── mylinter.go  # 静的解析ロジックを書く本体
├── mylinter_test.go
└── testdata
    └── src
        └── a # テストを書くときのテストケースパッケージ
            └── a.go

package mylinter

import (
        "go/ast"

        "golang.org/x/tools/go/analysis"
        "golang.org/x/tools/go/analysis/passes/inspect"
        "golang.org/x/tools/go/ast/inspector"
)

var Analyzer = &analysis.Analyzer{
        Name: "mylinter",
        Doc:  Doc,
        Run:  run,
        Requires: []*analysis.Analyzer{
                inspect.Analyzer,
        },
}

const Doc = "mylinter is ..."

func run(pass *analysis.Pass) (interface{}, error) {
  // 省略
}

// cmd/main.go
package main

import (
        "github.com/budougumi0617/mylinter"
        "golang.org/x/tools/go/analysis/multichecker"
        "golang.org/x/tools/go/analysis/passes/inspect"
)

func main() {
        multichecker.Main(
                // skeletonで生成したAnalyzerの初期コードの場合はinspect.Analyzerの結果に依存している
                inspect.Analyzer,
                mylinter.Analyzer,
        )
}

$ go build -o icheck ./cmd/main.go

# testdataディレクトリ以下のサンプルコードのimport構成が特殊なので
# GOPATHをちょっと変えているが、本来はGOPATHの再定義は必要ない
$ GOPATH=`pwd`/testdata:$GOPATH ./icheck ./testdata/src/...
/Users/shimizubudougumi0617/importcheck/testdata/src/handler/h.go:7:2: \
handler must not include "repository"

func run(pass *analysis.Pass) (interface{}, error) {
        inspect := pass.ResultOf[inspect.Analyzer].(*inspector.Inspector)

        // 調べたいNodeの型でフィルタリングできる
        nodeFilter := []ast.Node{
                (*ast.Ident)(nil),
        }

        inspect.Preorder(nodeFilter, func(n ast.Node) {
                switch n := n.(type) {
                case *ast.Ident:
                        _ = n
                }
        })

        return nil, nil
}

// testdata/src/handler/h.go
package handler

import (
        "repository" // want "handler must not include \"repository\""
        "service"
)

...

package mylinter_test

import (
        "testing"

        "github.com/budougumi0617/mylinter"
        "golang.org/x/tools/go/analysis/analysistest"
)

func Test(t *testing.T) {
        testdata := analysistest.TestData()
        analysistest.Run(t, testdata, mylinter.Analyzer, "a")
}

$ go test
--- FAIL: Test (0.03s)
    analysistest.go:311: a/a.go:4: no diagnostic was reported matching "pattern"
FAIL
exit status 1
FAIL    github.com/budougumi0617/mylinter       0.042s

$ tree testdata
testdata
└── src
    ├── domain
    │   └── d.go
    ├── handler
    │   └── h.go
    ├── repository
    │   └── r.go
    └── service
        └── s.go

// testdata/src/handler/h.go

package handler

import (
        "encoding/json"
        "net/http"

        "repository" // want "handler must not include \"repository\""
        "service"
)

// Do anything...

type Analyzer struct {
    // ...

    // Flags defines any flags accepted by the analyzer.
    // The manner in which these flags are exposed to the user
    // depends on the driver which runs the analyzer.
    Flags flag.FlagSet

    // ...
}