From: Monfort Vincent <Vincent.Monfort@irisa.fr>
To: caml-list@inria.fr
Subject: [Caml-list] [ANN] Sawja release 1.3
Date: Wed, 20 Jul 2011 10:07:04 +0200 [thread overview]
Message-ID: <4E268CA8.5080500@irisa.fr> (raw)
[-- 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 --]
reply other threads:[~2011-07-20 8:07 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4E268CA8.5080500@irisa.fr \
--to=vincent.monfort@irisa.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox