首页/ 无锡电科物联网科技有限公司/ 专利详情

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

基本信息

申请号 CN201210077106.2 申请日 -
公开（公告）号 CN102662834B 公开（公告）日 2014-09-03
申请公布号 CN102662834B 申请公布日 2014-09-03
分类号 G06F11/36(2006.01)I;G06F9/45(2006.01)I 分类 计算；推算；计数;
发明人 张梅娟;阮园;黄嵩人;于宗光 申请（专利权）人 无锡电科物联网科技有限公司
代理机构 无锡市大为专利商标事务所（普通合伙） 代理人 殷红梅
地址 214035 江苏省无锡市惠河路5号58所九部
法律状态 -

摘要

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