论文研究-二进制程序整型符号转换缺陷的动态检测方法.pdf

所需积分/C币:10 2019-09-07 23:03:16 502KB .PDF
0
收藏 收藏
举报

针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类型推断方法识别整型变量的符号类型信息,得到内存相关库函数中为冲突类型的参数的集合,并将其作为潜在的整型符号转换缺陷候选集。在中间代码层面插入检测代码做运行时检测,最终确定真正的整型符号转换缺陷。原型系统Sconvcheck的实验结果表明:该方法可以有效地检测出程序中的整型符号转换缺陷,并准确地定位错误发生的位置,而且误报率较低。

...展开详情
试读 6P 论文研究-二进制程序整型符号转换缺陷的动态检测方法.pdf
立即下载 低至0.43元/次 身份认证VIP会员低至7折
抢沙发
一个资源只可评论一次,评论内容不能少于5个字
weixin_38744375 欢迎大家使用并留下宝贵意见
2019-09-07
  • 至尊王者

    成功上传501个资源即可获取
关注 私信 TA的资源
上传资源赚积分or赚钱
    最新推荐
    论文研究-二进制程序整型符号转换缺陷的动态检测方法.pdf 10积分/C币 立即下载
    1/6
    论文研究-二进制程序整型符号转换缺陷的动态检测方法.pdf第1页
    论文研究-二进制程序整型符号转换缺陷的动态检测方法.pdf第2页

    试读结束, 可继续阅读

    10积分/C币 立即下载 >