基于整型变量一致化的整数溢出检测

摘要：

在研究整数溢出产生原因的基础上,提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法. 该方法将整数溢出检测问题抽象为1个多元不等式组求解的问题,用以解决上下文环境对整数溢出检测的影响. 实例分析表明,该方法可有效解决源代码中整数溢出漏洞的检测问题.

关键词：整数溢出、静态代码分析、控制流分析、信息安全

所属期刊栏目：31

分类号：TP309(计算技术、计算机技术)

资助基金：国家"863计划"项目2006AA01Z456;国家"973计划"项目2007CB310704;高等学校博士学科点专项科研基金项目20050013011

在线出版日期：2009-03-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：90-93