Static analysis of Java bytecode

J. J. Zhao

doi:10.1007/BF03160273

Static analysis of Java bytecode

J. J. Zhao

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	383-390
Number of pages	8
Journal	Wuhan University Journal of Natural Sciences
Volume	6
Issue number	1-2
DOIs	https://doi.org/10.1007/BF03160273
Publication status	Published - Mar 2001
Externally published	Yes

All Science Journal Classification (ASJC) codes

General

Access to Document

10.1007/BF03160273

Cite this

@article{1ab9972b3b034c92a73864e89b22ce72,

title = "Static analysis of Java bytecode",

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.",

author = "Zhao, {J. J.}",

year = "2001",

month = mar,

doi = "10.1007/BF03160273",

language = "English",

volume = "6",

pages = "383--390",

journal = "Wuhan University Journal of Natural Sciences",

issn = "1007-1202",

publisher = "Wuhan University",

number = "1-2",

}

TY - JOUR

T1 - Static analysis of Java bytecode

AU - Zhao, J. J.

PY - 2001/3

Y1 - 2001/3

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0035272544&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035272544&partnerID=8YFLogxK

U2 - 10.1007/BF03160273

DO - 10.1007/BF03160273

M3 - Article

AN - SCOPUS:0035272544

SN - 1007-1202

VL - 6

SP - 383

EP - 390

JO - Wuhan University Journal of Natural Sciences

JF - Wuhan University Journal of Natural Sciences

IS - 1-2

ER -

Static analysis of Java bytecode

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this