Information flow analysis for Java']Java bytecode

被引：0
|
作者：
Genaim, S [1 ]
Spoto, F [1 ]
机构：
[1] Univ Verona, Dipartimento Informat, I-37134 Verona, Italy
来源：
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS | 2005年 / 3385卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a flow and context sensitive compositional information flow analysis for full (mono-threaded) Java bytecode. We base our analysis on the transformation of the Java bytecode into a control-flow graph of basic blocks of code which makes explicit the complex features of the Java bytecode. We represent information flows through Boolean functions and hence implement an accurate and efficient information flow analysis through binary decision diagrams. To the best of our knowledge, it is the first one for full Java bytecode.
引用
收藏
页码：346 / 362
页数：17
相关论文
共 50 条
  • [11] Data-flow based vulnerability analysis and Java']Java bytecode
    Chen, Hua
    Zou, Tao
    Wang, Dongxia
    [J]. PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE: COMPUTER SCIENCE CHALLENGES, 2007, : 201 - +
  • [12] Heap Space Analysis for Java']Java Bytecode
    Albert, Elvira
    Genaim, Samir
    Gomez-Zamalloa, Miguel
    [J]. ISMM'07: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT, 2007, : 105 - +
  • [13] Experiments in Cost Analysis of Java']Java Bytecode
    Albert, E.
    Arenas, P.
    Genaim, S.
    Puebla, G.
    Zanardini, D.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (01) : 67 - 83
  • [14] Java']Java bytecode verification
    Nipkow, T
    [J]. JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 233 - 233
  • [15] Java']Java bytecode optimizations
    Lambright, HD
    [J]. IEEE COMPCON 97, PROCEEDINGS, 1997, : 206 - 210
  • [16] A Java']Java Bytecode Formalisation
    Czarnik, Patryk
    Chrzaszcz, Jacek
    Schubert, Aleksy
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 135 - 154
  • [17] Static Analysis of Java Bytecode
    Jian\|jun Zhao Department of Computer Science and Engineering
    [J]. Wuhan University Journal of Natural Sciences, 2001, (Z1) : 383 - 390
  • [18] Static analysis of Java bytecode
    Zhao, J.-J.
    [J]. Wuhan University Journal of Natural Sciences, 6 (1-2): : 383 - 390
  • [19] Reconstruction of Type Information from Java']Java Bytecode for Component Compatibility
    Bauml, Jaroslav
    Brada, Premek
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 264 (04) : 3 - 18
  • [20] On object initialization in the Java']Java bytecode
    Doyon, S
    Debbabi, M
    [J]. COMPUTER COMMUNICATIONS, 2000, 23 (17) : 1594 - 1605
12345