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

• 作者: 张淼 徐国爱 李忠献 陈爱国
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: 整数溢出 静态代码分析 控制流分析 信息安全
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 研究报告
• 页码范围: 90-93
• 页数: 4页
• 分类号: TP309
• 字数: 3294字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5321.2008.06.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐国爱	北京邮电大学灾备技术国家工程实验室	40	486	13.0	20.0
2	张淼	北京邮电大学灾备技术国家工程实验室	9	50	5.0	7.0
3	李忠献		6	33	2.0	5.0
4	陈爱国	北京邮电大学灾备技术国家工程实验室	3	12	2.0	3.0