-
题名含指针程序的单子切片方法
被引量：5
- 1
-
-
作者
张迎周
吴重强
钱巨
张卫丰
徐宝文
-
机构
南京邮电大学计算机学院
南京大学计算机软件新技术国家重点实验室
北京邮电大学网络与交换技术国家重点实验室
EMC中国研发中心
南京航空航天大学信息科学与技术学院
南京大学计算机科学与技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第3期473-482,共10页
-
基金
国家自然科学基金(60703086
90818027
+5 种基金
60633010
60873049
60973046
60903026)
国家"八六三"高技术研究发展计划目标导向类项目(2009AA01Z147)
国家"九七三"重点基础研究发展规划项目基金(2009CB320703)资助
-
文摘
传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.
-
关键词
程序切片
单子切片
数据流迭代
指针
指向分析
-
Keywords
program slicing
monadic slicing
data-flow iteration
pointer
point-to analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于局部堆内存抽象表示的堆操作程序内存泄露检测
被引量：4
- 2
-
-
作者
董龙明
王戟
陈立前
董威
-
机构
国防科学技术大学计算机学院并行与分布处理国家重点实验室
国防科学技术大学计算机学院计算机系
-
出处
《计算机研究与发展》
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
[自动化与计算机技术—计算机软件与理论]
-
