错误注入模块主要负责自动将测试数据生成模块生成的测试用例注入到程序进程中。在程序运行到错误注入点时，保存错误注入前的进程快照，修改输入数据所在的地址指针；在执行到还原点时，恢复之前保存的进程快照，重新进行错误注入。
异常检测记录模块主要负责通过监测程序的异常报错，寻找软件存在的问题。要记录分析的部分包括：(1)异常的类型：运算错误，标准输入/输出错误，内存访问错误，系统APIs 调用错误，一般运行时错误，语法错误，应用程序不可预知的崩溃等。(2)错误记录：系统自身的错误记录，可执行程序的错误记录。(3)出错时各个寄存器值和其他环境变量的值，以及程序的返回值。
选取一款小型代理服务器软件Polipo 作为测试对象，验证该动态输入追踪方法的有效性。用系统动态跟踪服务器进程接收来自远程client 的http 请求，针对处理请求消息中各字段的处理函数生成测试用例并注入进行fuzzing。当生成测试用例的Content-Length 字段值为一个极大整数时，检测到发生内存非法访问异常，服务器随即崩溃。通过调试器调试软件发现Polipo 的client.c 文件中httpClientDiscardBody()函数存在符号错误，当远程用户提交带有超长Content-Length头的http 请求会产生整数溢出，进而导致服务崩溃，从而验证了该漏洞的存在。
4 结束语
本文在基于反汇编的输入路径追踪技术的基础上，结合基于代码覆盖的测试数据生成和基于快照恢复的错误注入技术，将其应用于fuzzing 测试中，提出了一种软件安全漏洞自动挖掘的新方法。该方法较好地解决了fuzzing 技术存在的测试数据空间巨大、代码覆盖不完整和测试效率低等问题，且无需目标软件源代码，因而应用范围较广。基于此方法设计并实现了一个测试系统，通过对实例软件的漏洞挖掘实验，验证了该方法的有效性。下一步工作主要为对输入路径的追踪细化为针对指令级的追踪，以进一步提高动态追踪的精确性和可靠性。
上一篇：嵌入式系统中断现场保护的优化
