如何在 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

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

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

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