文献类型：期刊文章

作　　者：徐国爱[1] 张淼[1] 陈爱国[1] 李忠献[2]

机构地区：[1]北京邮电大学灾备技术国家工程实验室,北京100876 [2]天津市国瑞数码安全系统有限公司,天津300052

出　　处：《北京邮电大学学报》

基　　金：国家“863计划”项目(2006AA01Z456);国家“973计划”项目(2007CB310704);高等学校博士学科点专项科研基金项目(20050013011)

年　　份：2008

卷　　号：31

期　　号：6

起止页码：90-93

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20090611897052)、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

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

分 类 号：TP309]