English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

The Caml Hump: JavaLib and Sawja

JavaLib and Sawja

manipulate, and generate valid .class files.Sawja is a library relying on Javalib to provide a high level representation of Java bytecode programs. Its name stands for Static Analysis Workshop for Java. Whereas Javalib is dedicated to isolated classes, Sawja handles bytecode programs with their class hierarchy and control flow algorithms. Moreover, Sawja provides some stackless intermediate representations of code. The transformation algorithm, common to these representations, has been formalized and proved to be semantics-preserving.An Eclipse plugin for Sawja analyses is also available: it allows developers to add an analysis in Eclipse without requiring any additional Java code generation.
Homepage ]
Author:Nicolas Barré, David Pichardie, Vincent Monfort, Delphine Demange, and Laurent Hubert.
Last modification date:08-Oct-2012
Development status:Stable
Kind: Libraries :: Native OCaml libraries
License: Open Source :: GPL
Topic: Programming languages :: Program analysis
General purpose libraries :: Lexing and parsing