[发明专利]一种基于虚拟机技术和动态符号执行的整数溢出检测方法有效
| 申请号： | 201310277338.7 | 申请日： | 2013-07-03 |
| 公开（公告）号： | CN103399780A | 公开（公告）日： | 2013-11-20 |
| 发明（设计）人： | 陈渝;肖奇学;王欢;史元春;郭世泽;吴志勇;曹鼎;范文良 | 申请（专利权）人： | 清华大学;中国人民解放军总参谋部第五十四研究所 |
| 主分类号： | G06F9/455 | 分类号： | G06F9/455;G06F11/36;G06F11/14 |
| 代理公司： | 北京理工大学专利中心 11120 | 代理人： | 高燕燕 |
| 地址： | 10008*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明的目的在于提供一种基于虚拟机技术和动态符号执行的整数溢出检测方法，能够直接对x86平台下的二进制程序进行测试，该基于虚拟机技术和动态符号执行的整数溢出检测方法，利用虚拟机技术将目标二进制程序进行模拟执行，在执行的过程中对其进行二进制翻译，通过将目标二进制代码翻译成中间表示，再将中间表示翻译成本地可执行代码进行具体执行；同时将中间表示翻译成LLVM代码进行符号执行；将具体执行和符号执行进行结合，在符号执行的过程中将目标代码翻译成LLVM语言表示，在LLVM语言的基础上进行整数溢出检测，并采用符号执行和约束求解方法产生测试用例，利用具体执行的方式进行检测。 | ||
| 搜索关键词： | 一种 基于 虚拟机 技术 动态 符号 执行 整数 溢出 检测 方法 | ||
【主权项】：
基于虚拟机技术和动态符号执行的整数溢出检测方法，其特征在于，利用虚拟机技术将目标二进制程序进行模拟执行，在执行的过程中对其进行二进制翻译，通过将目标二进制代码翻译成中间表示，再将中间表示翻译成本地可执行代码进行具体执行；同时将中间表示翻译成LLVM代码进行符号执行；将具体执行和符号执行进行结合，在符号执行的过程中将目标代码翻译成LLVM语言表示，在LLVM语言的基础上进行整数溢出检测，并采用符号执行和约束求解方法产生测试用例，利用具体执行的方式进行检测。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于清华大学;中国人民解放军总参谋部第五十四研究所，未经清华大学;中国人民解放军总参谋部第五十四研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201310277338.7/，转载请声明来源钻瓜专利网。
- 上一篇：一种铜米机
- 下一篇：一种界面换肤方法及装置
