您的位置： 专家智库 > >

邓波

作品数：2 被引量：0H指数：0
供职机构：南京大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文专利

领域

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

主题

  • 2篇代码
  • 2篇源代码
  • 2篇误报
  • 2篇漏报
  • 2篇漏检
  • 2篇内存
  • 2篇内存泄漏
  • 2篇内存泄漏检测
  • 2篇插桩

机构

  • 2篇南京大学
  • 2篇北京系统工程...

作者

  • 2篇王兵
  • 2篇邓波

年份

  • 1篇2018
  • 1篇2016
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种基于符号执行的内存泄漏检测方法
本发明针对内存泄漏缺陷，提出一种基于符号执行的内存泄漏检测方法，首先对于被测试的源代码，使用静态分析工具处理，得到静态内存泄漏警报；然后，把用源代码和内存泄漏警报，同时输入插桩器，得到插桩后的代码。接着，把插桩后的代码输...
王兵邓波刘宇李海龙战茅许帅施寅生洪斌周严王林章
文献传递
一种基于符号执行的内存泄漏检测方法
本发明针对内存泄漏缺陷，提出一种基于符号执行的内存泄漏检测方法，首先对于被测试的源代码，使用静态分析工具处理，得到静态内存泄漏警报；然后，把用源代码和内存泄漏警报，同时输入插桩器，得到插桩后的代码。接着，把插桩后的代码输...
王兵邓波刘宇李海龙战茅许帅施寅生洪斌周严王林章
全选 清除 导出
共1页<1>
聚类工具0