Static analysis of Java bytecode

研究成果: ジャーナルへの寄稿記事

6 引用 (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.

元の言語英語
ページ(範囲)383-390
ページ数8
ジャーナルWuhan University Journal of Natural Sciences
6
発行部数1-2
DOI
出版物ステータス出版済み - 3 2991
外部発表Yes

    フィンガープリント

All Science Journal Classification (ASJC) codes

  • General

これを引用