模糊化工具:在预定义范围内突变整数

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