论文部分内容阅读
在研究整数溢出产生原因的基础上，提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法该方法将整数溢出检测问题抽象为1个多元不等式组求解的问题，用以解决上下文环境对整数溢出检测的影响实例分析表明，该方法可有效解决源代码中整数溢出漏洞的检测问题．
基于整型变量一致化的整数溢出检测
【摘 要】
：
在研究整数溢出产生原因的基础上，提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法该方法将整数溢出检测问题抽象为1个多元不等式组求解的问题，用以解决上下文
【机 构】
：
北京邮电大学灾备技术国家工程实验室,天津市国瑞数码安全系统有限公司
【出 处】
：
北京邮电大学学报
【发表日期】
：
2008年6期
【基金项目】
：
国家“863计划”项目（2006AA01Z456）,国家“973计划”项目（2007CB310704）,高等学校博士学科点专项科研基金项目（20050013011）
其他文献
研究多协议标签交换(MPLS)网络中的流量工程,提出了基于标签交换路径(LSP)时延和拥塞来优化网络流量的算法.给出全网流量优化的数学模型,并根据该模型内在的层次性,设计了分