一种重构CoSy中间表示的缓冲区溢出检测方法

发明专利有效专利

申请号：
CN201210077106.2
IPC分类号：G06F11/36;G06F9/45
申请日期：
2012-03-22
申请人：
中国电子科技集团公司第五十八研究所

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种重构CoSy中间表示的缓冲区溢出检测方法
申请号	CN201210077106.2	申请日期	2012-03-22
法律状态	暂无	申报国家	中国
公开/公告日	2012-09-12	公开/公告号	CN102662834A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G;0;6;F;1;1;/;3;6;;;G;0;6;F;9;/;4;5查看分类表>
申请人	中国电子科技集团公司第五十八研究所	申请人地址	江苏省无锡市湖区惠河路5号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	中国电子科技集团公司第五十八研究所	当前权利人	中国电子科技集团公司第五十八研究所
发明人	张梅娟;阮园;黄嵩人;于宗光
代理机构	无锡市大为专利商标事务所（普通合伙）	代理人	殷红梅

摘要

本发明旨在提供一种重构CoSy中间表示的缓冲区溢出检测方法，即对源代码进行分析来对缓冲区溢出进行检测的方法。该方法包括（1）CoSy编译器分析扫描源程序，生成中间表示CCMIR；（2）重构CCMIR文本，并为所有非静态局部变量增加安全属性，用于对缓冲区溢出进行判定；（3）对最终的中间表示CCMIR进行缓冲区溢出的判定。通过这样的方法能够快速的重构代码，重构过程简单易行，具有良好的通用性，重构后使得对程序中潜在的会造成缓冲区溢出的错误的检测更快速高效。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供