我如何在 Go 1.18 中模糊 nil 值？

Question

我正在尝试使用 Go 1.18 go test -fuzz命令来模糊 nil 值，这样我就可以确保在尝试取消引用指向字符串的指针之前没有忘记安全检查。

这是我的尝试：

// main.go
package main

import (
    "fmt"
)

func HandleString(s *string) {
    // most common programmer error is dereferencing nil pointers without safety checks
    fmt.Println(*s)
}

func main() {
    s := "Hello, world"
    HandleString(&s)
}

// main_test.go
package main

import "testing"

func FuzzHandleString(f *testing.F) {
    h := "hello world"
    for _, seed := range []*string{nil, new(string), &h} {
        f.Add(seed)
    }
    f.Fuzz(func(t *testing.T, in *string) {
        HandleString(in)
    })
}

不幸的是，我收到一条错误消息，说 go fuzz 不支持指针，只支持字符串数据类型。

我通过这样编写测试找到了解决方法：

package main

import "testing"

func FuzzHandleString(f *testing.F) {
    h := "hello world"
    for _, seed := range []string{"-1", "", h} {
        f.Add(seed)
    }
    f.Fuzz(func(t *testing.T, in string) {
        if in == "-1" {
            HandleString(nil)
        } else {
            HandleString(&in)
        }
    })
}

这是一个可怕的设计，使种子数据数组不易重用，并且需要在每个模糊函数中使用逻辑来欺骗我的方法采用 nil 值。

当然必须有一个我没有想到的更好的方法吗？

谢谢

Answer 1

您的代码很尴尬，因为这不是模糊测试的目的。 模糊测试是在你的函数中抛出随机值来测试你可能没有考虑过的边缘情况。

您正在做的更像是边界测试。 您有一个已知的棘手输入，例如nil 、空字符串或空数组。 在它们自己的单元测试中测试它们。

最后，我想问为什么nil是handleString的有效输入。 nil不是字符串。 它应该是一个错误，除非有充分的理由，并且您应该测试该错误。