输入关键字 回车开始搜索
搜索:
(扫微信二维码关注我)
软件工程研究与实践 发表了文章 • 0 个评论 • 37 次浏览 • 2016-05-12 02:28 • 来自相关话题
没有内容
威望: 0 积分: 100 赞同: 0 感谢: 0
程序员会故意使用整数溢出来实现特殊功能或代码简洁，而现有工作对良性整数溢出的识别能力很低。本文提出了基于多精度等价验证的识别方法IntEQ，通过验证原始版本和高 查看全文
