Analyzing control flow in java bytecode

Understanding control ows in a computer program is essential for many software engineering tasks such as testing, debugging, reverse engineering, and mainte-nance. In this paper, we present a control ow anal-ysis technique to analyze the control ow in Java byte-code. To perform the analysis, we construct a control ow graph (CFG) for Java bytecode not only at the in-traprocedural level but also at the interprocedural level. We also discuss some applications of a CFG in a main-tenance environment for Java bytecode. some primary experimental results