您的位置： 专家智库 > >

刘林涛

作品数：1 被引量：0H指数：0
供职机构：解放军电子工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇整数溢出
  • 1篇污点分析

机构

  • 1篇解放军电子工...

作者

  • 1篇陆余良
  • 1篇赵军
  • 1篇刘林涛
  • 1篇黄晖

传媒

  • 1篇中国科学技术...

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种面向源代码的整数溢出缺陷静态检测方法
2015年
受限于不完备的函数调用图分析和路径可达性分析,当前静态整数溢出检测工具存在较为严重的误报情况.为解决这一问题,以源代码中外部输入可控的整数溢出缺陷的自动挖掘为目标,给出一种综合调用图分析、静态污点分析和静态符号执行的检测方法.提出一种域敏感的流敏感指针分析方法构建目标程序调用图的"高估计",应用静态污点-sink传播分析确定潜在的外部输入可控的整数溢出缺陷程序点,最后应用静态符号执行技术通过判定缺陷约束的可满足性对误报情况进行约减.实验验证了方法在实际整数溢出缺陷检测和误报情况约减方面的应用有效性.
黄晖陆余良刘林涛赵军
关键词：整数溢出污点分析
全选 清除 导出
共1页<1>
聚类工具0