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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Genaim, S., & Spoto, F. (2005). Information flow analysis for Java bytecode. In Lecture Notes in Computer Science (Vol. 3385, pp. 346–362). Springer Verlag. https://doi.org/10.1007/978-3-540-30579-8_23
Mendeley helps you to discover research relevant for your work.