Portal de Periódicos da CAPES

Information Flow Analysis for Java Bytecode

2005; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-540-30579-8_23

1611-3349

Samir Genaim, Fausto Spoto,

Distributed systems and fault tolerance

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.