计算机工程与应用 ›› 2014, Vol. 50 ›› Issue (2): 31-34.

• 理论研究、研发设计 • 上一篇    下一篇

Slithice:一个基于系统依赖图的Java程序切片工具

钱 巨,陶彬贤   

  1. 南京航空航天大学 计算机科学与技术学院,南京 210016
  • 出版日期:2014-01-15 发布日期:2014-01-26

Slithice:system dependence graph based program slicing tool for Java

QIAN Ju, TAO Binxian   

  1. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
  • Online:2014-01-15 Published:2014-01-26

摘要: 当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切片算法能够在精度和性能之间进行权衡,适应各种规模程序的分析需要。

关键词: Java, 程序切片, 静态

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