发明名称 |
一种重构CoSy中间表示的缓冲区溢出检测方法 |
摘要 |
本发明旨在提供一种重构CoSy中间表示的缓冲区溢出检测方法,即对源代码进行分析来对缓冲区溢出进行检测的方法。该方法包括(1)CoSy编译器分析扫描源程序,生成中间表示CCMIR;(2)重构CCMIR文本,并为所有非静态局部变量增加安全属性,用于对缓冲区溢出进行判定;(3)对最终的中间表示CCMIR进行缓冲区溢出的判定。通过这样的方法能够快速的重构代码,重构过程简单易行,具有良好的通用性,重构后使得对程序中潜在的会造成缓冲区溢出的错误的检测更快速高效。 |
申请公布号 |
CN102662834A |
申请公布日期 |
2012.09.12 |
申请号 |
CN201210077106.2 |
申请日期 |
2012.03.22 |
申请人 |
中国电子科技集团公司第五十八研究所 |
发明人 |
张梅娟;阮园;黄嵩人;于宗光 |
分类号 |
G06F11/36(2006.01)I;G06F9/45(2006.01)I |
主分类号 |
G06F11/36(2006.01)I |
代理机构 |
无锡市大为专利商标事务所 32104 |
代理人 |
殷红梅 |
主权项 |
一种重构CoSy中间表示的缓冲区溢出检测方法,其特征在于,包括以下步骤:a、CoSy编译器分析扫描源程序,生成中间表示文档CCMIR;b、重构CCMIR文本,并为每个局部变量增加安全属性,用于对缓冲区溢出进行判定;c、对重构后的CCMIR进行缓冲区溢出的判定。 |
地址 |
214035 江苏省无锡市惠河路5号58所九部 |