基于路径驱动的多路径分析算法

针对动态二进制程序分析方法存在路径覆盖不全的问题，提出了基于路径驱动的多路径分析算法。其核心思想是在可控的模拟调试环境中动态执行被分析的二进制程序，通过修改cpu程序计数器pc值，驱动程序执行在当前输入条件下无法访问的程序路径，实现对多条程序路径的访问。基于该算法，设计并实现了一个基于路径驱动的多路径二进制程序分析系统。测试结果表明，该算法能够较全面地发掘程序执行路径，有效提高了分析代码的覆盖率。