Static analysis of Java bytecode

Research output: Contribution to journalArticle

6 Citations (Scopus)

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.

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

    Fingerprint

All Science Journal Classification (ASJC) codes

  • General

Cite this