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.
Type de document :
Communication dans un congrès
Beckert, Bernhard and Marché, Claude. The International Conference on Formal Verification of Object-Oriented Software, 2010, Paris, France. Springer-Verlag, 2010.13, pp.253--267, 2010, Lecture Notes in Computer Science. 〈http://digbib.ubka.uni-karlsruhe.de/volltexte/1000019083〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00504047
Contributeur : Laurent Hubert <>
Soumis le : lundi 19 juillet 2010 - 16:36:05
Dernière modification le : jeudi 15 novembre 2018 - 11:57:40
Document(s) archivé(s) le : vendredi 22 octobre 2010 - 16:21:27

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. Beckert, Bernhard and Marché, Claude. The International Conference on Formal Verification of Object-Oriented Software, 2010, Paris, France. Springer-Verlag, 2010.13, pp.253--267, 2010, Lecture Notes in Computer Science. 〈http://digbib.ubka.uni-karlsruhe.de/volltexte/1000019083〉. 〈inria-00504047〉

Partager

Métriques

Consultations de la notice

666

Téléchargements de fichiers

305