A Method of Static Shavhg of Java Program
Dafang Zhang, Miao Li · Computing Technology and Automation · 2005
Java is a major language for OO-based programs.This paper presents an efficient way of accurately computing a static slice of java programs by hierarchically constructing java system dependence graph,which extends previous dependence based representations to represent various types of program dependences in java software,and extends two-phase algorithm to compute slices of java programs.