sawja

Sawja provides a high level representation of Java bytecode programs and static analysis tools
Description

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.

Install
Published
28 Oct 2021
Maintainers
Sources
1.5.11.tar.gz
md5=e9e289fd79f076d4545c3df632ef9fe2
sha512=013f1cec0e77c6368e2a3e6a77ccb0ec49d3467ffeec179544b6794ca2e7036f6b91667ce1eabee09cf8d1b639f808167e24bb73c95613806bd6be96ab42ab7c
Dependencies
javalib
>= "3.2.1" & < "3.3"
ocaml
>= "4.07"
Reverse Dependencies