sawjaversion

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.

Published
Maintainerhttps://github.com/ocaml/opam-repository/issues
Dependencies
Source [http] https://github.com/ocaml/opam-source-archives/raw/main/sawja-1.4.tar.bz2
sha256=79cb11ea6ed64bbfd0e62717ddbcf9f2becf6b5222142310138263eb3ae38cfa
md5=485aa5106819ee8c3df1767c341d7751
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sawja/sawja.1.4/opam
No package is dependent