testing - 模糊测试工具：在预定义范围内改变整数？

Question

我是模糊测试工具的新手，基本上，我想使用模糊测试工具来测试特定功能。

本质上，这个函数有三个输入参数，每个参数都是一个数字，范围为 0 到0xffff。

我想使用一个模糊测试工具来生成随机输入组合，并测试目标函数。但是，我尝试zzuf了，但发现它没有关于变异整数值的特定设置..

所以我正在寻找一个模糊器，它只支持在预定义的范围内改变整数值？有人可以在这个问题上给我一些帮助吗？我够清楚吗？谢谢你。

Answer 1

这可以通过许多工具来完成，其中包括Kitty（由我的团队开发）。

假设您要生成具有十进制表示的数字，以下模板将为您生成它们（值将以逗号分隔）：

from kitty.model import *
t = Template(name='function inputs', fields=[
    S32(name='p1', value=1, min_value=-500, max_value=1000, encoder=ENC_INT_DEC),
    Static(','),
    ForEach(name='p2', mutated_field='p1',
            fields=S32(value=2, min_value=-3200, max_value=5098, encoder=ENC_INT_DEC)),
    Static(','),
    ForEach(name='p3', mutated_field='p2',
            fields=S32(value=3, min_value=0, max_value=999, encoder=ENC_INT_DEC))
])

while t.mutate():
    print t.render().tobytes()

一些示例结果：

-1,2,3
129,1026,3
129,130,3
129,18,3
129,-3200,3
129,5098,3
129,-3199,3
129,5097,3
129,-3198,3
129,5096,3
129,3,3
129,1,3
129,4,3
129,0,3
17,1026,3
17,130,3
17,18,3
17,-3200,3
17,5098,3
17,-3199,3