期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于局部堆内存抽象表示的堆操作程序内存泄露检测
被引量：
4
1
作者
董龙明
王戟
+1 位作者
陈立前
董威
《计算机研究与发展》
EI
CSCD
北大核心
2012年第9期1832-1842,共11页
堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变...
堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势.
展开更多
关键词
堆操作程序
指针扩展类型
堆局部抽象
内存泄漏检测
数据流迭代
静态分析
在线阅读
下载PDF
职称材料
题名
基于局部堆内存抽象表示的堆操作程序内存泄露检测
被引量：
4
1
作者
董龙明
王戟
陈立前
董威
机构
国防科学技术大学计算机学院并行与分布处理国家重点实验室
国防科学技术大学计算机学院计算机系
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第9期1832-1842,共11页
基金
国家自然科学基金项目(61120106006
90818024)
国家"八六三"高技术研究发展计划基金项目(2011AA010106)
文摘
堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势.
关键词
堆操作程序
指针扩展类型
堆局部抽象
内存泄漏检测
数据流迭代
静态分析
Keywords
heap-manipulating programs
extended pointer type
heap local abstraction
memory leakdetection
dataflow iteration
static analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于局部堆内存抽象表示的堆操作程序内存泄露检测
董龙明
王戟
陈立前
董威
《计算机研究与发展》
EI
CSCD
北大核心
2012
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
