• Information Flow Analysis for...

Treffer: Information Flow Analysis for Java Bytecode

Title:
Information Flow Analysis for Java Bytecode
Authors:
GENAIM, Samir, SPOTO, Nicola Fausto
Contributors:
R. Cousot, Genaim, Samir, Spoto, Nicola Fausto
Publisher Information:
Springer-Verlag
DEU
Berlin
Publication Year:
2005
Collection:
Università degli Studi di Verona: Catalogo dei Prodotti della Ricerca (IRIS)
Subject Terms:
abstract interpretation, static analysi, Java bytecode
Document Type:
Konferenz conference object
File Description:
STAMPA
Language:
English
Relation:
info:eu-repo/semantics/altIdentifier/wos/WOS:000228664900023; ispartofseries:Lecture Notes in Computer Science; ispartofbook:Proc. of the Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05); International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05); volume:3385; firstpage:346; lastpage:362; numberofpages:17; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:R. Cousot; http://hdl.handle.net/11562/23967
DOI:
10.1007/978-3-540-30579-8_23
Availability:
http://hdl.handle.net/11562/23967
https://doi.org/10.1007/978-3-540-30579-8_23
Rights:
info:eu-repo/semantics/restrictedAccess
Accession Number:
edsbas.CF58F0B7
Database:
BASE

Weitere Informationen

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.