Static Analysis of Java Bytecode

被引：1
|
作者：
Jian\|jun Zhao Department of Computer Science and Engineering
机构：
来源：
Wuhan University Journal of Natural Sciences | 2001年 / Z1期
关键词：
Control flow analysis; Java virtual machine; software testing; software maintenance;
D O I：
暂无
中图分类号：
TP311 [程序设计、软件工程];
学科分类号：
081202 ; 0835 ;
摘要：
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
相关论文
共 50 条
  • [1] Static analysis of Java bytecode
    Zhao, J.-J.
    Wuhan University Journal of Natural Sciences, 6 (1-2): : 383 - 390
  • [2] An Evaluation of Static Java']Java Bytecode Watermarking
    Hamilton, James
    Danicic, Sebastian
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 1 - 8
  • [3] CIL to Java']Java-bytecode Translation for Static Analysis Leveraging
    Ferrara, Pietro
    Cortesi, Agostino
    Spoto, Fausto
    2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 40 - 49
  • [4] A Comparative Analysis of Static and Dynamic Java']Java Bytecode Watermarking Algorithms
    Kumar, Krishan
    Kaur, Prabhpreet
    SOFTWARE ENGINEERING (CSI 2015), 2019, 731 : 319 - 334
  • [5] Static Resource Analysis for Java']Java Bytecode Using Amortisation and Separation Logic
    Fenacci, Damon
    MacKenzie, Kenneth
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 279 (01) : 19 - 32
  • [6] Efficient inference of static types for Java']Java bytecode
    Gagnon, EM
    Hendren, LJ
    Marceau, G
    STATIC ANALYSIS, 2000, 1824 : 199 - 219
  • [7] Termination analysis of Java']Java Bytecode
    Albert, Elvira
    Arenas, Puri
    Codish, Michael
    Genaim, Samir
    Puebla, German
    Zanardini, Damiano
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 2 - +
  • [8] Cost analysis of Java']Java bytecode
    Albert, E.
    Arenas, P.
    Genaim, S.
    Puebla, G.
    Zanardini, D.
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4421 : 157 - +
  • [9] Dependence analysis of Java']Java bytecode
    Zhao, JJ
    24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 486 - 491
  • [10] From CIL to Java']Java bytecode: Semantics-based translation for static analysis leveraging
    Ferrara, Pietro
    Cortesi, Agostino
    Spot, Fausto
    SCIENCE OF COMPUTER PROGRAMMING, 2020, 191
12345