[发明专利]一种基于功能模型的二进制代码漏洞发现方法无效
| 申请号： | 201010133905.8 | 申请日： | 2010-03-29 |
| 公开（公告）号： | CN101814053A | 公开（公告）日： | 2010-08-25 |
| 发明（设计）人： | 王震宇;窦增杰;姚伟平;何红旗;陈楠;刘建林;刘铁铭;王瑞敏 | 申请（专利权）人： | 中国人民解放军信息工程大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 郑州大通专利商标代理有限公司 41111 | 代理人： | 白毅明 |
| 地址： | 450002 *** | 国省代码： | 河南;41 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及计算机软件逆向分析领域。一种基于功能模型的二进制代码漏洞发现方法，首先基于静态逆向分析系统建立代码功能模型，并基于所述代码功能模型构造初始测试用例集；其次，通过动态测试与回放分析系统依据覆盖率控制和选路策略在动态测试平台上加载测试用例集，并采用动态路径约束优化和约束求解、基于代的路径遍历算法进行测试用例集的调整，以及根据回放分析进行异常的精细分析及漏洞定位；第三，静态逆向分析系统和动态测试与回放分析系统均将各自分析得到的程序属性存入功能模型中，并以功能模型中的程序属性来指导各自的分析测试工作。能有效减少测试用例生成的盲目性，提高测试用例集的有效性，进而提高漏洞挖掘的自动化程度和效率。 | ||
| 搜索关键词： | 一种 基于 功能 模型 二进制 代码 漏洞 发现 方法 | ||
【主权项】：
一种基于功能模型的二进制代码漏洞发现方法，包括静态逆向分析系统、动态测试与回放分析系统和功能模型库，其特征是：首先基于静态逆向分析系统建立起具有形式化验证和推理功能的代码功能模型，并基于所述代码功能模型构造初始测试用例集，即建立功能模型库；其次，通过所述动态测试与回放分析系统，依据覆盖率控制和选路策略在动态测试平台上加载测试用例集，对测试用例集进行动态测试，并采用动态路径约束优化和约束求解、基于代的路径遍历算法进行测试用例集的调整，以及根据回放分析进行异常的精细分析及漏洞定位；第三，静态逆向分析系统和动态测试与回放分析系统均将各自分析得到的程序属性存入功能模型中，并以功能模型中的程序属性来指导各自的分析测试工作。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军信息工程大学，未经中国人民解放军信息工程大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201010133905.8/，转载请声明来源钻瓜专利网。
- 上一篇：通用存储装置
- 下一篇：桥接器、其数据压缩方法与应用其的计算机系统
