From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 1F55E7ED7A for ; Wed, 26 Sep 2012 13:58:53 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.80,490,1344204000"; d="scan'208";a="156977132" Received: from kamelo.irisa.fr (HELO [131.254.16.82]) ([131.254.16.82]) by mail4-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 26 Sep 2012 13:58:52 +0200 Message-ID: <5062EDFC.9040807@inria.fr> Date: Wed, 26 Sep 2012 13:58:52 +0200 From: Pierre Vittet User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:14.0) Gecko/20120717 Thunderbird/14.0 MIME-Version: 1.0 To: caml-list@inria.fr X-Enigmail-Version: 1.4.4 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Validation-by: pierre.vittet@inria.fr Subject: [Caml-list] [ANN] release Javalib 2.2.2 and Sawja 1.4 Dear Ocaml users, We have the pleasure to announce a new release of Javalib and Sawja (the Static Analysis Workshop for JAva). Javalib and Sawja are libraries written in OCaml. Javalib parses Java .class files into OCaml data structures. Sawja is 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 the ability to use formulae. It is a way to add information at the source code level which can then be used in an analysis. It is useful, for example, to guarantee assertions that cannot be found by the analyser or even to manage structures/functions which are implicitly present in the code environment. 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