如何使用 go/analysis 查找 Ident 的声明？

Question

我使用 go/analysis 创建我自己的静态分析工具。我仍然不知道如何从 ast.Ident.

中找到 def 信息

这是我的测试数据

package randomcheck
func xxx() {
}
func demo()  {
    xxx()
}

还有我自己的分析仪

import (
    "fmt"
    "go/ast"
    "golang.org/x/tools/go/analysis"
    "golang.org/x/tools/go/analysis/passes/inspect"
)

var name string // -name flag
var Analyzer = &analysis.Analyzer{
    Name:     "fft",
    Requires: []*analysis.Analyzer{inspect.Analyzer},
    Run:      run,
}
//pass.Fset.Position(name.Pos())
func run(pass *analysis.Pass) (interface{}, error) {
    for _, f := range pass.Files {
        ast.Inspect(f, func(node ast.Node) bool {
            name,ok := node.(*ast.Ident)
            if !ok {
                return true
            }
            if name == nil {
                return true
            }
            if pass.TypesInfo.Defs[name] != nil {
                fmt.Println("def: " ,name)
            } else {
                fmt.Println("use: ", name)
            }
            return true
        })
    }

    return nil, nil
}


output:

use:  randomcheck
def:  xxx
def:  demo
use:  xxx

我需要直接从 use:xxx 中找到 def 信息 def:xxx，但我找不到有用的信息pass.TypesInfo

Answer 1

您在寻找 ObjectOf 方法吗？这是经过一些修改后的版本：

func run(pass *analysis.Pass) (interface{}, error) {
    for _, f := range pass.Files {
        ast.Inspect(f, func(node ast.Node) bool {
            name, ok := node.(*ast.Ident)
            if !ok {
                return true
            }
            if name == nil {
                return true
            }

            fmt.Println("ident:", nodeString(node, pass.Fset))
            obj := pass.TypesInfo.ObjectOf(name)
            fmt.Println(obj)
            if obj != nil {
                fmt.Println("  pos:", pass.Fset.Position(obj.Pos()))
            }
            return true
        })
    }

    return nil, nil
}

// nodeString formats a syntax tree in the style of gofmt.
func nodeString(n ast.Node, fset *token.FileSet) string {
    var buf bytes.Buffer
    format.Node(&buf, fset, n)
    return buf.String()
}

当您的示例输入文件运行时，它显示：

ident: randomcheck
<nil>
ident: xxx
func command-line-arguments.xxx()
  pos: /home/eliben/temp/randomcheck.go:3:6
ident: demo
func command-line-arguments.demo()
  pos: /home/eliben/temp/randomcheck.go:5:6
ident: xxx
func command-line-arguments.xxx()
  pos: /home/eliben/temp/randomcheck.go:3:6

请注意，最后一个 id xxx 是作为对顶级函数 xxx() 及其适当位置的引用等找到的

如何使用 go/analysis 查找 Ident 的声明？

How to find the declaration of an Ident using go/analysis?

static-analysis

abstract-syntax-tree

go

go-toolchain