Go fuzz corpus 文件格式错误时如何定位输入

Go fuzz corpus 报“文件格式错误”时，先不要修改被测函数。最有效的顺序是：从错误条目找到 testdata/fuzz/{FuzzTestName} 下的具体文件，检查首行 go test fuzz v1，再按 F.Fuzz 的参数数量、类型和顺序逐行比对，最后只保留一条语料运行 go test。这样可以先判断是文件格式问题，还是输入已经被测试读取后触发了业务断言。

一、先锁定出错的 fuzz corpus 文件

Go 原生 fuzz 的种子语料通常放在包目录的 testdata/fuzz/FuzzParse 中。文件名可能是一串哈希，日志里的这串名字只是条目标识，不代表输入内容。先把它和目录中的实际文件对应起来：

# 进入包含 fuzz_test.go 的包，先只列出目标语料文件
find . -path './testdata/fuzz/FuzzParse/*' -type f -maxdepth 1 -print

# 按文件名查看首行和前几行，避免一次混入多个条目
sed -n '1,8p' ./testdata/fuzz/FuzzParse/corpus-entry

如果日志给出了不同的 fuzz 函数名，要替换目录末级名称；不要在整个仓库里盲目搜索哈希后直接编辑第一个命中项。先确认它属于当前包、当前 FuzzXxx，定位才有意义。

二、核对文件头和每行参数

标准 corpus 文件第一行是 go test fuzz v1，后面每一行表示一个 fuzz 参数。下面这个对照表适合快速分层：

例如 target 有三个参数时，语料可以写成：

go test fuzz v1
[]byte("GET /health")
int64(200)
bool(true)

这里的 []byte、int64、bool 不只是注释，而是编码的一部分。把第二行改成 string("200")，即使人眼看起来都是文本，Go 仍会按类型不匹配处理。行内的 Go 字面量转义也要保持合法，例如二进制字节应使用可解析的转义形式。

三、用 f.Add 对照类型与顺序

打开对应的 FuzzParse，只看 fuzz target、f.Add 和磁盘语料这三处输入契约：

func FuzzParse(f *testing.F) {
	// 这三个值定义了种子和 corpus 文件必须遵守的类型顺序。
	f.Add([]byte("GET /health"), int64(200), true)
	f.Fuzz(func(t *testing.T, raw []byte, code int64, secure bool) {
		// 示例只展示输入契约；业务断言应放在这里并保持可复现。
		_ = raw
		_ = code
		_ = secure
	})
}

对应的文件就必须依次出现 []byte、int64、bool。修复时建议先复制一份原文件，只保留一个能解析的条目；不要同时改 target 签名、f.Add 和所有 corpus，否则错误来源会被一起抹掉。

四、用最小复现确认修复

格式修好后，在当前包运行普通测试：

# 普通 go test 会加载 seed corpus，适合先验证格式
go test ./...

# 只有格式通过后，再针对目标进入 fuzz 运行
go test -run=^$ -fuzz=FuzzParse -fuzztime=10s

如果普通 go test 仍失败，先把同目录其他 corpus 文件暂时移到包外的临时目录，只留下单条有效语料。单条通过后按文件逐个放回；哪一个文件重新触发格式错误，问题就被锁定了。若格式错误消失但出现业务 panic 或断言失败，说明输入已经成功读取，接下来应按测试逻辑排查，而不是继续改 corpus 头部。

相关问题

corpus 文件能不能只写一行输入？

可以，但只能在 fuzz target 只有一个参数时这样做；多参数 target 必须为每个参数保留对应的值行。

f.Add 正常，磁盘文件为什么仍报错？

f.Add 是代码里的种子，磁盘文件还要额外满足版本头和文件编码格式；两者不是同一个载体。

格式修复后是否必须使用 -fuzz？

不必。普通 go test 会运行种子语料，先用它确认加载成功，再使用 -fuzz 扩大输入搜索范围。