Static analysis of Java bytecode |
| |
Authors: | Jian-jun Zhao |
| |
Institution: | 1. Department of Computer Science and Engineering, Fukuoka Institute of Technology, 811-0295, Fukuoka, Japan
|
| |
Abstract: | Understanding control flows in a computer program is essential for many software engineering tasks such as testing, debugging, reverse engineering, and maintenance. In this paper, we present a control flow analysis technique to analyze the control flow in Java bytecode. To perform the analysis, we construct a control flow graph (CFG) for Java bytecode not only at the intraprocedural level but also at the interprocedural level. We also discuss some applications of a CFG in a maintenance environment for Java bytecode. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|