基于路径驱动的可执行程序安全性检测方法

摘要

本发明涉及一种基于路径驱动的可执行程序安全性检测方法及系统；基于路径驱动的可执行程序安全性检测方法为：首先根据系统的正常功能定义目标待分析程序的正常行为约束，然后采用静态程序分析和动态程序执行相结合的方法获得目标待分析程序完成系统正常功能所需要的最大工作闭环和冗余路径，最后，对冗余路径上的程序行为进行语义解释，根据系统正常行为约束判断冗余路径中是否存在针对该系统的恶意攻击行为；按照本发明的检测方法可以设计出基于路径驱动的可执行程序安全性检测系统；本发明可以大大减小安全分析人员的代码分析工作量。