School of Computing
Permanent URI for this community
Browse
Browsing School of Computing by Subject "Debugging"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
- ItemDynamic Slicing on Java Bytecode Traces(2007-03-19) WANG, Tao; ROYCHOUDHURY, AbhikDynamic slicing is a well-known technique for program analysis, debugging and understanding. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some variables' occurrences when P is executed with I. In this paper, we develop a dynamic slicing method for sequential Java programs. Our technique proceeds by backwards traversal of the bytecode trace produced by an input I in a given program P. Since such traces can be huge, we use results from data compression to compactly represent bytecode traces. The major space savings in our method come from the optimized representation of (a) data addresses used as operands by memory reference bytecodes, and (b) instruction addresses used as operands by control transfer bytecodes. We show how dynamic slicing algorithms can directly traverse our compact bytecode traces without resorting to costly decompression. We also extend our dynamic slicing algorithm to perform ``relevant slicing''; th...