From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6K87AwU003617 for ; Wed, 20 Jul 2011 10:07:10 +0200 X-IronPort-AV: E=Sophos;i="4.67,233,1309730400"; d="scan'208,217";a="87437000" Received: from sawjasun.irisa.fr (HELO [131.254.13.115]) ([131.254.13.115]) by mail3-relais-sop.national.inria.fr with ESMTP; 20 Jul 2011 10:07:05 +0200 Message-ID: <4E268CA8.5080500@irisa.fr> Date: Wed, 20 Jul 2011 10:07:04 +0200 From: Monfort Vincent User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110428 Fedora/3.1.10-1.fc13 Thunderbird/3.1.10 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="------------050905080100010203050001" X-Validation-by: vincent.monfort@irisa.fr Subject: [Caml-list] [ANN] Sawja release 1.3 This is a multi-part message in MIME format. --------------050905080100010203050001 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit 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 . The /Sawja/ devteam is looking forward to your questions and feedback on the library. Best regards, The Celtique team INRIA Rennes --------------050905080100010203050001 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit  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. The Sawja devteam is looking forward to your questions and feedback on the library.

Best regards,

The Celtique team
INRIA Rennes

--------------050905080100010203050001--