Static analysis of Java bytecode

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)383-390
Number of pages8
JournalWuhan University Journal of Natural Sciences
Issue number1-2
Publication statusPublished - Mar 2001
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • General


Dive into the research topics of 'Static analysis of Java bytecode'. Together they form a unique fingerprint.

Cite this