【摘要】 本发明旨在提供一种重构CoSy中间表示的缓冲区溢出检测方法，即对源代码进行分析来对缓冲区溢出进行检测的方法。该方法包括(1)CoSy编译器分析扫描源程序，生成中间表示CCMIR；(2)重构CCMIR文本，并为所有非静态局部变量增加安全属性，用于对缓冲区溢出进行判定；(3)对最终的中间表示CCMIR进行缓冲区溢出的判定。通过这样的方法能够快速的重构代码，重构过程简单易行，具有良好的通用性，重构后使得对程序中潜在的会造成缓冲区溢出的错误的检测更快速高效。 【专利类型】发明授权 【申请人】中国电子科技集团公司第五十八研究所 【申请人类型】企业 【申请人地址】214035 江苏省无锡市惠河路5号58所九部 【申请人地区】中国 【申请人城市】无锡市 【申请人区县】滨湖区 【申请号】CN201210077106.2 【申请日】2012-03-22 【申请年份】2012 【公开公告号】CN102662834B 【公开公告日】2014-09-03 【公开公告年份】2014 【授权公告号】CN102662834B 【授权公告日】2014-09-03 【授权公告年份】2014.0 【IPC分类号】G06F11/36; G06F9/45 【发明人】张梅娟; 阮园; 黄嵩人; 于宗光 【主权项内容】1. 一种重构CoSy中间表示的缓冲区溢出检测方法，其特征在于，包括以下步骤：a、CoSy编译器分析扫描源程序，生成中间表示文档CCMIR；b、重构CCMIR文本，并为每个局部变量增加安全属性，用于对缓冲区溢出进行判定；c、对重构后的CCMIR进行缓冲区溢出的判定；其中步骤b包括：b1. 定义DTD规则，将CCMIR文本转化为XML文本存储；b2. 利用解析工具重新建立CCMIR文档，并在重构的过程中对每个非静态局部变量增加安全属性，用来对缓冲区溢出进行判断；b3. 在重构的过程中去掉与分析程序流和数据流无关的信息；步骤b1将CCMIR文本分为四类，用于定义DTD规则：第一类、CCMIR的标识位：每遇到一个标识位bbx，建立一个结点元素node与之对应，将结点的标识属性值记录为x；第二类、变量声明：为每一个变量建立结点元素node的子元素variable，variable有四个属性，分别是：变量名称、变量类型、变量的大小、变量存储类别；所述变量的存储类别分为静态存储区和动态存储区；若该变量是结构体或联合体变量，则为其每个成员变量建立属性；第三类、记录中的表达式：为每个表达式建立结点元素node的子元素expression，expression有两个属性，分别是：表达式类型和具体的表达式内容，所示表达式类型用来区分一般表达式和函数调用；第四类、记录中的跳转语句：跳转语句包含goto语句和if语句；为跳转语句建立边元素edge，在边元素中建立四个子元素，分别是：from元素、to_l元素、to_r元素、if_condition元素，from元素记录起始节点，to_l元素记录左子树节点，to_r元素记录右子树节点，if_condition元素记录跳转条件，如果不存在if语句，则if_condition值为1。。 【当前权利人】中国电子科技集团公司第五十八研究所 【当前专利权人地址】江苏省无锡市滨湖区惠河路5号 【家族引证次数】3.0 【家族被引证次数】2

未经允许不得转载：http://www.zhongzhencnc.com/1790317974.html