基于整型变量一致化的整数溢出检测-北京邮电大学学报.PDFVIP

2008 年 12 月 北 京 邮 电 大 学 学 报 Dec.2008 第 31 卷 第 6期 Journal of Beijing University of Posts and Telecom munications Vol.31 No.6 文章编号 :1007-5321(2008 )06-0090-04 基于整型变量一致化的整数溢出检测 1 1 1 2 徐国爱 , 张 淼 , 陈爱国 , 李忠献 (1. 北京邮电大学 灾备技术国家工程实验室 ,北京 100876 ;2. 天津市国瑞数码安全系统有限公司 ,天津 300052 ) 摘要 :在研究整数溢出产生原因的基础上 ,提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法 . 该方法将整数溢出检测问题抽象为 1 个多元不等式组求解的问题 ,用以解决上下文环境对整数溢出检测的影响 . 实例分析表明 ,该方法可有效解决源代码中整数溢出漏洞的检测问题 . 关 键 词 :整数溢出 ;静态代码分析 ;控制流分析 ;信息安全 中图分类号 : TP309 文献标识码 : A An Integer Overflow Detection Method Based on Integer Variable Unification 1 1 1 2 X U Guo-ai , ZHA NG Miao , CHE N Ai-guo , LI Zhong-xian (1. National Engineering Laboratory for Disaster Backup and Recovery ,Beijing University of Posts and Telecom munications , Beijing 100876 , China ;2.National Cybernet Security Limited , Tianjin 300052 ,China) Abstract:Through analyzingthe principium ofintegeroverflow ,anintegeroverflow detection method on softwaresourcecodeis proposed whichis based onintegervariable unification . We presentedthein- teger variable unification method and defined three unified actions which were usedin three given cas- es. Then the detection process was described ,it simplified integer overflow flaw into mathematicin- equalities,and removed theinfluence ofcontexttothe objective variable.Finally ,instances were pro- vided to demonstrate the effectiveness and practicability ofthe presented method . Key words:integer overflow ;static analysis;controlflow analysis;information security 软件缺陷已成为导致信息安全威胁的主要根 多元不等式组求解问题 ,实验分析表明 ,该方法可有 源 .已知的软件缺陷种类较多 [1 ] ,其中整数溢出是