%0 Journal Article %T 基于整型变量一致化的整数溢出检测 %A 徐国爱 %A 张 %A 淼 %A 陈爱国 %A 李忠献 %J 北京邮电大学学报 %P 90-93 %D 2008 %R 10.13190/jbupt.200806.90.193 %X 在研究整数溢出产生原因的基础上,提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法.该方法将整数溢出检测问题抽象为1个多元不等式组求解的问题,用以解决上下文环境对整数溢出检测的影响.实例分析表明,该方法可有效解决源代码中整数溢出漏洞的检测问题. %K 整数溢出 %K 静态代码分析 %K 控制流分析 %K 信息安全 %U http://www.buptjournal.cn/CN/abstract/abstract435.shtml