package sawja

  1. Overview
  2. Docs
Sawja provides a high level representation of Java bytecode programs and static analysis tools

Install

Dune Dependency

Authors

Maintainers

Sources

1.5.10.tar.gz
md5=47640ec571b01e759272a66852053fdf
sha512=aa8ae179f1cce0123d57e391879e2f455cf892ac0a2bb14ac173af54b54a85af2f4b0270709cb1ddae3030af2e47a8541769ba2ace92aa13d88757572f6b5eee

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.

Published: 07 Oct 2021

Dependencies (3)

  1. javalib >= "3.2.1" & < "3.3"
  2. ocamlfind build
  3. ocaml >= "4.07" & < "5.0.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.