|
|||||
|
|
| 含指针程序的单子切片方法 | |
| 引用本文： | 张迎周,吴重强,钱巨,张卫丰,徐宝文. 含指针程序的单子切片方法[J]. 计算机学报, 2010, 33(3). DOI: 10.3724/SP.J.1016.2010.00473 |
| 作者姓名： | 张迎周 吴重强 钱巨 张卫丰 徐宝文 |
| 作者单位： | 1. 南京邮电大学计算机学院,南京,210003;南京大学计算机软件新技术国家重点实验室,南京,210093;北京邮电大学网络与交换技术国家重点实验室,北京,100876 2. EMC中国研发中心,上海,200433 3. 南京大学计算机软件新技术国家重点实验室,南京,210093;南京航空航天大学信息科学与技术学院,南京,210016 4. 南京邮电大学计算机学院,南京,210003;南京大学计算机软件新技术国家重点实验室,南京,210093 5. 南京大学计算机软件新技术国家重点实验室,南京,210093;南京大学计算机科学与技术系,南京,210093 |
| 基金项目： | 国家自然科学基金(60703086,90818027,60633010,60873049,60973046,60903026);;国家“八六三”高技术研究发展计划目标导向类项目(2009AA01Z147);;国家“九七三”重点基础研究发展规划项目基金(2009CB320703)资助 |
| 摘 要： | 传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性. |
| 关 键 词： | 程序切片 单子切片 数据流迭代 指针 指向分析 |
A Monadic Slicing Algorithm for a Program with Pointers |
|
| ZHANG Ying-Zhou,WU Zhong-Qiang,QIAN Ju,ZHANG Wei-Feng,XU Bao-Wen. A Monadic Slicing Algorithm for a Program with Pointers[J]. Chinese Journal of Computers, 2010, 33(3). DOI: 10.3724/SP.J.1016.2010.00473 | |
| Authors: | ZHANG Ying-Zhou WU Zhong-Qiang QIAN Ju ZHANG Wei-Feng XU Bao-Wen |
| Affiliation: | College of Computer/a>;Nanjing University of Posts and Telecommunications/a>;Nanjing 210003;State Key Laboratory of Novel Software Technology/a>;Nanjing University/a>;Nanjing 210093;State key Laboratory of Networking and Switching Technology/a>;Beijing University of Posts and Telecommunications/a>;Beijing 100876;EMC China R&D Center/a>;Shanghai 200433 |
| Abstract: | 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... |
| Keywords: | program slicing monadic slicing data-flow iteration pointer point-to analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |