An empirical study of Java']Java bytecode programs

被引：34
|
作者：
Collberg, Christian [1 ]
Myles, Ginger [1 ]
Stepp, Michael [1 ]
机构：
[1] Univ Arizona, Dept Comp Sci, Tucson, AZ 85721 USA
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 2007年 / 37卷 / 06期
关键词：
!text type='Java']Java[!/text; bytecode; measure; software complexity metrics;
D O I：
10.1002/spe.776
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a study of the static structure of real Java bytecode programs. A total of 1132 Java jar-files were collected from the Internet and analyzed. In addition to simple counts (number of methods per class, number of bytecode instructions per method, etc.), structural metrics such as the complexity of controlflow and inheritance graphs were computed. We believe this study will be valuable in the design of future programming languages and virtual machine instruction sets, as well as in the efficient implementation of compilers and other language processors. Copyright (C) 2006 John Wiley & Sons, Ltd.
引用
收藏
页码：581 / 641
页数：61
相关论文
共 50 条
  • [21] How do Java']Java programs use inheritance? An empirical study of inheritance in Java']Java software
    Tempero, Ewan
    Noble, James
    Melton, Hayden
    [J]. ECOOP 2008 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2008, 5142 : 667 - +
  • [22] On object initialization in the Java']Java bytecode
    Doyon, S
    Debbabi, M
    [J]. COMPUTER COMMUNICATIONS, 2000, 23 (17) : 1594 - 1605
  • [23] Termination analysis of Java']Java Bytecode
    Albert, Elvira
    Arenas, Puri
    Codish, Michael
    Genaim, Samir
    Puebla, German
    Zanardini, Damiano
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 2 - +
  • [24] Modeling the Java']Java Bytecode Verifier
    Reynolds, Mark C.
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (03) : 327 - 342
  • [25] Dynamic semantics of Java']Java bytecode
    Bertelsen, P
    [J]. FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : 841 - 850
  • [26] Java']Java bytecode verification: An overview
    Leroy, X
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 265 - 285
  • [27] Integrated Java']Java Bytecode Verification
    Gal, Andreas
    Probst, Christian W.
    Franz, Michael
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 27 - 38
  • [28] Deadlock Detection of Java']Java Bytecode
    Laneve, Cosimo
    Garcia, Abel
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 37 - 53
  • [29] Reverse execution of Java']Java bytecode
    Cook, JJ
    [J]. COMPUTER JOURNAL, 2002, 45 (06): : 608 - 619
  • [30] Cost analysis of Java']Java bytecode
    Albert, E.
    Arenas, P.
    Genaim, S.
    Puebla, G.
    Zanardini, D.
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4421 : 157 - +
12345