Question

我目前正在尝试使用AFL模糊器（American Fuzzy Lop）来模糊PDF查看器。

我的问题很简单，afl-fuzz希望应用程序接受输入并在处理后关闭。但是，PDF查看器用于打开文档并保持打开状态直到关闭。结果是afl-fuzz到达所有初始输入的超时，并决定在此处停止。

...
[*] Validating target binary...
[*] Attempting dry run with 'id:000000,orig:myPDFsample00.pdf'...
[*] Spinning up the fork server...
[+] All right - fork server is up.
[!] WARNING: Test case results in a timeout (skipping)
[*] Attempting dry run with 'id:000001,orig:myPDFsample01.pdf'...
[!] WARNING: Test case results in a timeout (skipping)
[*] Attempting dry run with 'id:000002,orig:myPDFsample02.pdf'...

[-] PROGRAM ABORT : All test cases time out, giving up!
         Location : perform_dry_run(), afl-fuzz.c:2883

我想知道如何让AFL考虑达到超时并终止程序是测试用例的“正常”行为。

Answer 1

实际上，通常的做法似乎只是在解析后添加exit(0)来检测正在查看的软件的代码。

这似乎很基本，但是我可以工作...

另一种方法是更改AFL软件中超时的含义。但是，当您的软件可能进入永无止境的循环时，它将无法检测到“挂起”。

因此，最好是在解析完成后，最好的方法实际上是在目标软件中添加exit(0)（如果您在return 0，则添加main()。

达到超时后如何使afl-fuzz不跳过测试用例

1 个答案: