[Caml-list] [ANN] Sawja release 1.3

[Caml-list] [ANN] Sawja release 1.3

[Monfort Vincent]

[-- Attachment #1: Type: text/plain, Size: 1266 bytes --]

  Dear Ocaml users,

We have the pleasure to announce a new release of Sawja, the /Static 
Analysis Workshop for JAva/.

/Sawja/ is a library written in /OCaml/, relying on the /Javalib/ 
library, and providing a high level representation of /Java/ bytecode 
programs. Whereas /Javalib/ is dedicated to isolated classes, /Sawja/ 
handles bytecode programs with their class hierarchy and control flow 
algorithms. /Sawja/ also provides some stackless intermediate 
representations of code and static analysis tools that makes analyses 
easier.

The main new feature of this release is an /Eclipse/ plugin for analyses 
developed /with Sawja/, which can be integrated into the IDE without 
requiring any additional Java code generation. By having these tools 
readily available in the leading environment for Java programmers, we 
aim at promoting the adoption of advanced static analysis tools in 
industrial settings, and at providing a solid basis for 
upstream/academic analysis debugging and demonstration.

More information, examples, and a series of tutorials are available at 
http://sawja.inria.fr <http://sawja.inria.fr/>. The /Sawja/ devteam is 
looking forward to your questions and feedback on the library.

Best regards,

The Celtique team
INRIA Rennes


[-- Attachment #2: Type: text/html, Size: 1792 bytes --]