WinAFL 实战：探索闭源软件Fuzzing技术

WinAFL是一个基于AFL的模糊测试工具，专为Windows平台设计。

模糊测试是一种自动化软件测试技术，通过提供大量随机数据来发现程序中的漏洞。

WinAFL利用DynamoRIO动态插桩工具来跟踪和记录程序执行路径。

使用WinAFL进行模糊测试需要准备初始种子输入和编写harness。

模糊测试的过程包括初始种子输入、变异输入、执行目标程序、分析结果和发现漏洞。

对于GUI程序的模糊测试，通常需要编写一个harness来控制输入和执行路径。

目标函数需要满足打开、解析和关闭输入文件的条件。

通过Process Monitor监控进程，找到目标函数并进行参数构造。

使用IDA和动态调试工具分析目标函数的执行流和参数。

简化版的harness代码示例展示了如何调用目标函数进行模糊测试。

使用WinAFL进行模糊测试的命令行参数说明。

经过十几个小时的fuzz，最终发现多个程序崩溃的漏洞。