您的位置： 专家智库 > >

付晓毓

作品数：1 被引量：5H指数：1
供职机构：西安交通大学软件学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇泄露
  • 1篇内存
  • 1篇内存泄露

机构

  • 1篇西安交通大学

作者

  • 1篇朱利
  • 1篇顾伟
  • 1篇付晓毓

传媒

  • 1篇微电子学与计...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于模型检测的内存泄露静态测试方法被引量：5
2010年
在C等支持动态内存分配的语言中,指针的使用带来的内存泄露是导致系统性能降低的重要问题.针对现有处理方法的不足,文中设计了一种基于模型检测技术的内存泄露静态检测方法.该方法通过建立基于指针属性的内存泄露漏洞模型,将相应约束断言插桩进源代码,然后利用模型检测工具验证断言的可达性来判断内存泄露.实验结果表明,该方法是有效的和精确的.
付晓毓朱利顾伟
关键词：内存泄露
全选 清除 导出
共1页<1>
聚类工具0