首页> 中文期刊> 《北京邮电大学学报》 >基于整型变量一致化的整数溢出检测

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《北京邮电大学学报》 |2008年第6期|90-93|共4页
作者
徐国爱; 张淼; 陈爱国; 李忠献;
展开▼
作者单位

北京邮电大学灾备技术国家工程实验室;

北京100876;

天津市国瑞数码安全系统有限公司;

天津300052;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密 ;
关键词
整数溢出; 静态代码分析; 控制流分析; 信息安全;

相似文献

中文文献
外文文献
专利

1. 基于标志位差异分析的整数溢出漏洞溢出点定位方法 [J] . 黄克振 ,连一峰 ,陈恺 . 计算机科学 . 2014 ,第012期
2. RICB:基于缓冲区溢出的整数溢出漏洞动态分析 [J] . 王勇 ,谷大武 ,徐建平 . 中国通信 . 2010 ,第006期
3. 一种面向源代码的整数溢出缺陷静态检测方法 [J] . 黄晖 ,陆余良 ,刘林涛 . 中国科学技术大学学报 . 2015 ,第007期
4. 面向高可信软件的整数溢出错误的自动化测试 [J] . 卢锡城 ,李根 ,卢凯 . 软件学报 . 2010 ,第002期
5. 基于整数遗传算法的整数溢出漏洞检测技术研究 [C] . 崔宝江 ,梁晓兵 ,王建新 . 第三届信息安全漏洞分析与风险评估大会 . 2010
6. 基于布卢姆教育目标分类学的课程一致性研究——以整数的加法为例 [A] . 郭亚楠 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号