[发明专利]一种重构CoSy中间表示的缓冲区溢出检测方法有效
| 申请号： | 201210077106.2 | 申请日： | 2012-03-22 |
| 公开（公告）号： | CN102662834A | 公开（公告）日： | 2012-09-12 |
| 发明（设计）人： | 张梅娟;阮园;黄嵩人;于宗光 | 申请（专利权）人： | 中国电子科技集团公司第五十八研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F9/45 |
| 代理公司： | 无锡市大为专利商标事务所 32104 | 代理人： | 殷红梅 |
| 地址： | 214035 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明旨在提供一种重构CoSy中间表示的缓冲区溢出检测方法，即对源代码进行分析来对缓冲区溢出进行检测的方法。该方法包括（1）CoSy编译器分析扫描源程序，生成中间表示CCMIR；（2）重构CCMIR文本，并为所有非静态局部变量增加安全属性，用于对缓冲区溢出进行判定；（3）对最终的中间表示CCMIR进行缓冲区溢出的判定。通过这样的方法能够快速的重构代码，重构过程简单易行，具有良好的通用性，重构后使得对程序中潜在的会造成缓冲区溢出的错误的检测更快速高效。 | ||
| 搜索关键词： | 一种 cosy 中间 表示 缓冲区 溢出 检测 方法 | ||
【主权项】：
一种重构CoSy中间表示的缓冲区溢出检测方法，其特征在于，包括以下步骤：a、CoSy编译器分析扫描源程序，生成中间表示文档CCMIR；b、重构CCMIR文本，并为每个局部变量增加安全属性，用于对缓冲区溢出进行判定；c、对重构后的CCMIR进行缓冲区溢出的判定。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国电子科技集团公司第五十八研究所，未经中国电子科技集团公司第五十八研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210077106.2/，转载请声明来源钻瓜专利网。
