一种基于功能模型的二进制代码漏洞发现方法专利登记公告

专利名称：一种基于功能模型的二进制代码漏洞发现方法

摘要：本发明涉及计算机软件逆向分析领域。一种基于功能模型的二进制代码漏洞发现方法，首先基于静态逆向分析系统建立代码功能模型，并基于所述代码功能模型构造初始测试用例集；其次，通过动态测试与回放分析系统依据覆盖率控制和选路策略在动态测试平台上加载测试用例集，并采用动态路径约束优化和约束求解、基于代的路径遍历算法进行测试用例集的调整，以及根据回放分析进行异常的精细分析及漏洞定位；第三，静态逆向分析系统和动态测试与回放分析系统均将各自分析得到的程序属性存入功能模型中，并以功能模型中的程序属性来指导各自的分析测试工作。能

专利类型：发明专利

专利号：CN201010133905.8

专利申请（专利权）人：中国人民解放军信息工程大学

专利发明（设计）人：王震宇;窦增杰;姚伟平;何红旗;陈楠;刘建林;刘铁铭;王瑞敏

主权项：一种基于功能模型的二进制代码漏洞发现方法，包括静态逆向分析系统、动态测试与回放分析系统和功能模型库，其特征是：首先基于静态逆向分析系统建立起具有形式化验证和推理功能的代码功能模型，并基于所述代码功能模型构造初始测试用例集，即建立功能模型库；其次，通过所述动态测试与回放分析系统，依据覆盖率控制和选路策略在动态测试平台上加载测试用例集，对测试用例集进行动态测试，并采用动态路径约束优化和约束求解、基于代的路径遍历算法进行测试用例集的调整，以及根据回放分析进行异常的精细分析及漏洞定位；第三，静态逆向分析系统和动态

专利地区：河南