顾伟

作品数:1被引量:5H指数:1
导出分析报告
供职机构:西安交通大学软件学院更多>>
发文主题:内存泄露更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《微电子学与计算机》更多>>
所获基金:国家自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
基于模型检测的内存泄露静态测试方法被引量:5
《微电子学与计算机》2010年第10期170-173,共4页付晓毓 朱利 顾伟 
国家自然科学基金项目(60673087);国家"八六三"计划项目(2003AAIZ2610)
在C等支持动态内存分配的语言中,指针的使用带来的内存泄露是导致系统性能降低的重要问题.针对现有处理方法的不足,文中设计了一种基于模型检测技术的内存泄露静态检测方法.该方法通过建立基于指针属性的内存泄露漏洞模型,将相应约束断...
关键词:模型检测 内存泄露 代码插桩 静态测试 
检索报告 对象比较 聚类工具 使用帮助 返回顶部