Information flow analysis for Java bytecode

Samir Genaim; Fausto Spoto

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

Information flow analysis for Java bytecode

Samir Genaim, Fausto Spoto

Research output: Contribution to journal › Conference article › peer-review

49 Scopus citations

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.

Original language	English
Pages (from-to)	346-362
Number of pages	17
Journal	Lecture Notes in Computer Science
Volume	3385
DOIs	https://doi.org/10.1007/978-3-540-30579-8_23
State	Published - 1 Jan 2005
Externally published	Yes
Event	6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005 - Paris, France Duration: 17 Jan 2005 → 19 Jan 2005

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

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

Cite this

@article{d57b698d08bb4290861656066637ffaa,

title = "Information flow analysis for Java bytecode",

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.",

author = "Samir Genaim and Fausto Spoto",

year = "2005",

month = jan,

day = "1",

doi = "10.1007/978-3-540-30579-8\_23",

language = "English",

volume = "3385",

pages = "346--362",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005 ; Conference date: 17-01-2005 Through 19-01-2005",

}

TY - JOUR

T1 - Information flow analysis for Java bytecode

AU - Genaim, Samir

AU - Spoto, Fausto

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/24144440405

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

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

M3 - Conference article

AN - SCOPUS:24144440405

SN - 0302-9743

VL - 3385

SP - 346

EP - 362

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005

Y2 - 17 January 2005 through 19 January 2005

ER -

Information flow analysis for Java bytecode

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this