sawja

Author Sawja development team
License GPLv3
Homepage http://sawja.inria.fr
Issue Tracker https://gforge.inria.fr/tracker/?atid=2815&group_id=686&func=browse
Maintainer sawja@inria.fr
Dependencies
& javalib >= 2.3.2
ocamlfind
Available ocaml-version >= "4.00"
Published Jul 29, 2016
Source [http] http://gforge.inria.fr/frs/download.php/file/36093/sawja-1.5.2.tar.bz2
12afa3651ea39413d2cb0e1775f587c4
Statistics Installed 1558 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/sawja/sawja.1.5.2/opam

Provide a high level representation of Java bytecode programs and static analysis tools.

Sawja is a library written in OCaml, 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, called JBir and A3Bir. The transformation algorithm, common to these representations, has been formalized and proved to be semantics-preserving.

No package is dependent