使用零值检查器进行静态代码分析

编程并不是一个机械性的工作，而是需要有思考，有创新的工作，语法是固定的，但解决问题的思路则是依靠人的思维，这就需要我们坚持学习和更新自己的知识。今天golang学习网就整理分享《使用零值检查器进行静态代码分析》，文章讲解的知识点主要包括，如果你对Golang方面的知识点感兴趣，就不要错过golang学习网，在这可以对大家的知识积累有所帮助，助力开发能力的提升。

我想使用 nilness 检查器来捕获 nil 指针取消引用。我安装了检查器并构建了 nilness 命令：

[go]$ ls src/golang.org/x/tools/go/analysis/passes/nilness/
cmd  nilness.go  nilness_test.go  testdata
[go]$ ls bin/nilness
bin/nilness
[go]$ ls -l bin/nilness
-rwxrwxr-x. 1 ... ... 10291396 jun 20 22:00 bin/nilness

但是在存在已知错误的目录或文件上运行 nilness 不会产生任何输出。

作为一种替代方法，遵循标准指南，我创建了这个程序：

package main

import (
    "golang.org/x/tools/go/analysis/multichecker"
    "golang.org/x/tools/go/analysis/passes/loopclosure"
    "golang.org/x/tools/go/analysis/passes/nilness"
)

func main() {
    multichecker.Main(
        nilness.Analyzer,
        loopclosure.Analyzer,
    )
}

这也不会捕获零指针取消引用。

有人用过这个检查器吗？我错过了什么？

正确答案

我认为应该可以正常工作。请仔细检查您运行 nilness 分析器的测试数据。

让我向您展示一个示例：

example/main.go

package nilness

func nilness() {
    var t *int
    if t == nil {
        println(*t) // raise
    }
}

nilness分析器（main.go）

package main

import (
    "golang.org/x/tools/go/analysis/passes/nilness"
    "golang.org/x/tools/go/analysis/singlechecker"
)

func main() {
    singlechecker.main(nilness.analyzer)
}

运行：

$ go build -o checker
$ ./checker ./...

输出：

/example/main.go:5:7: tautological condition: nil == nil
/example/main.go:6:11: nil dereference in load

正如 @volker 已经指出的那样，nilness 分析器仅检测程序中静态可证明的 nil 指针引用，因此通常很少。也许这就是它不适合您的原因。

以上就是《使用零值检查器进行静态代码分析》的详细内容，更多关于的资料请关注golang学习网公众号！