sawjaversion

Sawja provides 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.

AuthorSawja development team
Published
Homepagehttp://sawja.inria.fr
Issue Trackersawja@inria.fr
Maintainersawja@inria.fr
Dependencies
Source [http] https://github.com/ocaml/opam-source-archives/raw/main/sawja-1.5.5.tar.bz2
sha256=e88ab5f9bcd6b530bf4b6f3ba3681c150b80707032957b8110a44b0c4b43b068
md5=09809e4db9bebc238f21a9d6c91984ac
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sawja/sawja.1.5.5/opam
No package is dependent