inria-00504047, version 1
Sawja: Static Analysis Workshop for Java
Laurent Hubert
a, 1Nicolas Barré b, 1Frédéric Besson
b, 1Delphine Demange
c, 1Thomas Jensen
b, 1Vincent Monfort
b, 1David Pichardie
b, 1Tiphaine Turpin
b, 1
The International Conference on Formal Verification of Object-Oriented Software 2010.13 (2010) 253--267
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.
- a – CNRS
- b – INRIA
- c – École normale supérieure de Cachan - ENS Cachan
- 1 : CELTIQUE (INRIA - IRISA)
- INRIA – Université de Rennes 1 – École normale supérieure de Cachan - ENS Cachan – CNRS : UMR6074
- Domaine : Informatique/Langage de programmation
- inria-00504047, version 1
- http://hal.inria.fr/inria-00504047
- oai:hal.inria.fr:inria-00504047
- Contributeur : Laurent Hubert
- Soumis le : Lundi 19 Juillet 2010, 16:36:05
- Dernière modification le : Vendredi 19 Novembre 2010, 14:04:49






Documents associés

Exporter