Sawja: Static Analysis Workshop for Java - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Sawja: Static Analysis Workshop for Java

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (293.49 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00504047 , version 1 (19-07-2010)

Identifiants

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

Citer

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⟩
299 Consultations
354 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More