slithice：一个基于系统依赖图的java程序切片工具 slithicesystem dependence graph based program slicing tool for java.pdfVIP

Computer Engineering and Applications 计算机工程与应用 2014 ，50（2） 31 Slithice ：一个基于系统依赖图的Java 程序切片工具 钱 巨，陶彬贤 QIAN Ju, TAO Binxian 南京航空航天大学 计算机科学与技术学院，南京 210016 College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China QIAN Ju, TAO Binxian. Slithice ：system dependence graph based program slicing tool for Java. Computer Engi- neering and Applications, 2014, 50（2）：31-34. Abstract ：Nowadays, the theory of program slicing is highly developed, but open tools for slicing Java programs are still rarely seen. To support the researches on the application of program slicing techniques, it designs and implements an Eclipse slicing plugin named Slithice. The tool can perform system dependence graph based program slicing. It provides many options for the basis analyses and the system dependence graph construction. This can let the users make better trade-offs between efficiency and precision and hence make the tool more suitable for analyzing programs of various scales. Key words ：Java; program slicing; static 摘 要：当前程序切片的相关理论已经较为成熟，但针对Java 程序的静态切片工具却非常少见。为便于展开切片应 用研究，设计并实现了一个基于系统依赖图的Eclipse 切片插件——Slithice 。该插件支持不同粒度的底层分析和系 统依赖图构建，从而可以使切片算法能够在精度和性能之间进行权衡，适应各种规模程序的分析需要。 关键词：Java ；程序切片；静态 文献标志码：A 中图分类号：TP311 doi ：10.3778/j.issn.1002-8331.1208-0539 1 引言 算法，因此此类切片方法值得进一步研究。为便于展开 [1-2] 程序切片应用研究，设计并实现了一个Eclipse 下的程 当前程序切片 的相关理论已经较为成熟，但在工 具实现方面，主要的工作关注C 程序[3-4] ，以及Java 程序 序切片插件——Slithice[10] 。Slithice 可对Eclipse 中的项 的动态切片[5-6] ，针对Java 的静态切片工具依然非常少 目作基于系统依赖图的静态切片。为保证伸缩性，该工 见。造成此种现象的主要原因包括多个方面：首先，程 具支持不同精度和性能的指针分析，支持采用不同的粒 序切片依赖于许多底层的程序分析技术，因此实现起来 度来对动态堆空间进行抽象，可允许创建不同粒度的系 较为困难；另外，代码规模的不断扩大使得许多切片算 统依赖图参数节点，允许进行限定深度的库模块分析， 法必须经过一定的优化才能适应实际程序分析的需