Skip to Main content Skip to Navigation
Conference papers

Sawja: Static Analysis Workshop for Java

Abstract : Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs.
Document type :
Conference papers
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/inria-00504047
Contributor : Laurent Hubert <>
Submitted on : Monday, July 19, 2010 - 4:36:05 PM
Last modification on : Tuesday, November 17, 2020 - 8:30:05 AM
Long-term archiving on: : Friday, October 22, 2010 - 4:21:27 PM

Files

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00504047, version 1
  • ARXIV : 1007.3353

Citation

Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, et al.. Sawja: Static Analysis Workshop for Java. The International Conference on Formal Verification of Object-Oriented Software, Beckert, Bernhard and Marché, Claude, 2010, Paris, France. pp.253--267. ⟨inria-00504047⟩

Share

Metrics

Record views

787

Files downloads

559