Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Information Flow Analysis for Java Bytecode
Information Flow Analysis for Java Bytecode
Samir Genaim
Dipartimento di Informatica,
Strada Le Grazie, 15, 37134 Verona, Italy
Fausto Spoto
Dipartimento di Informatica,
Strada Le Grazie, 15, 37134 Verona, Italy
Abstract:
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.