一种重构CoSy中间表示的缓冲区溢出检测方法专利登记公告

专利名称：一种重构CoSy中间表示的缓冲区溢出检测方法

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

专利类型：发明专利

专利号：CN201210077106.2

专利申请（专利权）人：中国电子科技集团公司第五十八研究所

专利发明（设计）人：张梅娟;阮园;黄嵩人;于宗光

主权项：一种重构CoSy中间表示的缓冲区溢出检测方法，其特征在于，包括以下步骤：a、CoSy编译器分析扫描源程序，生成中间表示文档CCMIR；b、重构CCMIR文本，并为每个局部变量增加安全属性，用于对缓冲区溢出进行判定；c、对重构后的CCMIR进行缓冲区溢出的判定。

专利地区：江苏