-
题名含指针程序的单子切片方法
被引量：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
[自动化与计算机技术—计算机软件与理论]
-
