您的位置： 专家智库 > >

朱雪梅

作品数：1 被引量：0H指数：0
供职机构：杭州电子科技大学计算机学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇代码
  • 1篇整数
  • 1篇制程
  • 1篇中间代码
  • 1篇进制
  • 1篇二进制
  • 1篇二进制程序

机构

  • 1篇杭州电子科技...

作者

  • 1篇王大全
  • 1篇方景龙
  • 1篇王兴起
  • 1篇朱雪梅

传媒

  • 1篇计算机工程与...

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
二进制程序整型符号转换缺陷的动态检测方法
2015年
针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类型推断方法识别整型变量的符号类型信息,得到内存相关库函数中为冲突类型的参数的集合,并将其作为潜在的整型符号转换缺陷候选集。在中间代码层面插入检测代码做运行时检测,最终确定真正的整型符号转换缺陷。原型系统Sconvcheck的实验结果表明:该方法可以有效地检测出程序中的整型符号转换缺陷,并准确地定位错误发生的位置,而且误报率较低。
朱雪梅王兴起方景龙王大全
关键词：二进制程序中间代码
全选 清除 导出
共1页<1>
聚类工具0