含指针程序的单子切片方法  

A Monadic Slicing Algorithm for a Program with Pointers

作　　者：张迎周[1,2,3] 吴重强 钱巨[2,5] 张卫丰[1,2] 徐宝文[2,6] 

机构地区：[1]南京邮电大学计算机学院,南京210003 [2]南京大学计算机软件新技术国家重点实验室,南京210093 [3]北京邮电大学网络与交换技术国家重点实验室,北京100876 [4]EMC中国研发中心,上海200433 [5]南京航空航天大学信息科学与技术学院,南京210016 [6]南京大学计算机科学与技术系,南京210093

出　　处：《计算机学报》2010年第3期473-482,共10页Chinese Journal of Computers

基　　金：国家自然科学基金(60703086;90818027;60633010;60873049;60973046;60903026);国家"八六三"高技术研究发展计划目标导向类项目(2009AA01Z147);国家"九七三"重点基础研究发展规划项目基金(2009CB320703)资助

摘　　要：传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.Program slicing is a family of program decomposition techniques.By introducing point-to analysis to the previous monadic slicing,the authors present and implement an approach of monadic slicing for a program with pointers.This approach obtains the point-to information through the data-flow iteration.Being different from the traditional methods,the point-to information and slicing are computed in the same phase in the method,by combining the forward monad slicing with data-flow iteration.Instead of recording point-to information for every statement,it is only needed to record the information for current analysis statements.So the method saves space without losing the precision.In addition,the approach also reserve the excellent properties of compositionality and language-flexibility from the original monadic slicing method.

关 键 词：程序切片 单子切片 数据流迭代 指针 指向分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]