Static analysis of Java bytecode

研究成果: Contribution to journalArticle査読

7 被引用数 (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 2001
外部発表はい

All Science Journal Classification (ASJC) codes

  • General

フィンガープリント 「Static analysis of Java bytecode」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル