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 - Jan 1 2001
Externally publishedYes

Fingerprint

Static analysis
Flow control
Flow graphs
Reverse engineering
Computer program listings
Software engineering
Testing

All Science Journal Classification (ASJC) codes

  • General

Cite this

Static analysis of Java bytecode. / Zhao, Jianjun.

In: Wuhan University Journal of Natural Sciences, Vol. 6, No. 1-2, 01.01.2001, p. 383-390.

Research output: Contribution to journalArticle

@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 = "Jianjun Zhao",
year = "2001",
month = "1",
day = "1",
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, Jianjun

PY - 2001/1/1

Y1 - 2001/1/1

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

VL - 6

SP - 383

EP - 390

JO - Wuhan University Journal of Natural Sciences

JF - Wuhan University Journal of Natural Sciences

SN - 1007-1202

IS - 1-2

ER -