Go fuzzing 如何为解析器添加最小可复现输入

给解析器加 fuzz 测试，关键不是把一串随机字节直接塞进函数，而是先准备少量能覆盖边界的种子，再把“解析成功后必须成立的性质”写成断言。Go 的 testing.F 会从这些种子继续变异；如果某个输入让测试失败，Go 会把它保存到 testdata/fuzz/FuzzParseRecord，之后普通测试也会自动重放它。

先把解析器边界收窄

下面用一个简单的“姓名|年龄”记录说明方法。这个例子刻意让输入协议清楚：必须只有两个字段，姓名不能为空，年龄必须是非负整数。fuzz 的目标不是证明所有字符串都合法，而是验证合法输入经过解析后仍满足稳定性质，并且非法输入不会把解析器打崩。

package record

import (
    "fmt"      // 用于生成可定位的字段错误
    "strconv"  // 将年龄字段转换为整数
    "strings"  // 按协议分割记录
)

type Record struct {
    Name string
    Age  int
}

func ParseRecord(input string) (Record, error) {
    parts := strings.Split(input, "|") // 记录协议只允许一个分隔符
    if len(parts) != 2 || parts[0] == "" {
        return Record{}, fmt.Errorf("invalid record") // 非法输入返回错误，不触发 panic
    }
    age, err := strconv.Atoi(parts[1]) // 只接受十进制年龄字段
    if err != nil || age 

这里的边界很重要："alice|18|extra"、"|18" 和 "alice|-1" 都是可预期的错误，不应该因为 fuzz 传入它们就把测试判为缺陷。

用 F.Add 先固定最小种子集

种子不需要很多，但要能代表协议的转折点。空串覆盖最短输入，正常记录覆盖主路径，缺姓名、负数和多分隔符则覆盖解析器最容易写错的判断。Go 文档允许通过 F.Add 注册种子，也支持从 fuzz 目录读取种子文件。

func FuzzParseRecord(f *testing.F) {
    // 这些种子让变异从协议边界开始，而不是从完全随机文本开始。
    f.Add("alice|18")
    f.Add("")
    f.Add("|18")
    f.Add("alice|-1")
    f.Add("alice|18|extra")

    f.Fuzz(func(t *testing.T, input string) {
        got, err := ParseRecord(input) // fuzz 回调只接收一个字符串输入
        if err != nil {
            t.Skip("非法记录不参与成功路径断言") // 非法协议输入不是解析器崩溃
        }
        if got.Name == "" || got.Age 

把失败输入变成最小可复现样本

先用短时间预算启动目标 fuzz 测试，例如 go test -run=^$ -fuzz=FuzzParseRecord -fuzztime=30s。-run=^$ 可以避免同时执行普通测试；生产流水线则应按项目需要设置更长的 fuzz 时间。若回调中的断言失败，Go 会保存触发失败的输入，文件名通常带有短标识。

此时不要急着删除样本。先用下面的命令重放，确认问题能稳定出现：

# 只重放 FuzzParseRecord 的种子和已保存失败样本
go test -run=FuzzParseRecord ./...

# 修复解析器后再次运行同一回归集合
go test -run=FuzzParseRecord -count=1 ./...

可以把关键边界整理成检查表：

常见问题

为什么 F.Add 里还要放非法输入？

因为非法输入往往最接近长度、分隔符和转换错误的边界。它们可以验证解析器返回 error 而不是 panic；只是 fuzz 回调里要把“预期拒绝”与“意外崩溃”区分开。

失败文件可以直接删掉吗？

修复并确认回归通过后，通常应保留它，让后续 go test 自动重放。只有确认样本不再代表协议或已经被更有价值的固定用例替代时，才考虑整理。

为什么 fuzz 跑了很久却没有新发现？

先检查种子是否覆盖真实边界、回调是否只做了“没有 error”的浅断言，以及目标函数是否有足够深的输入路径。fuzz 是放大已有不变量的工具，不会替你定义解析协议。