package sawja

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

Install

Dune Dependency

Authors

Maintainers

Sources

sawja-1.5.tar.bz2
sha256=952163732a30a2b6a4284a485cfa9fadef888cd0fa5af3c434f2edc4277e1845
md5=2e6cabd2112ae856b94ccf413ac4bcdf

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: 21 Nov 2013

Dependencies (4)

  1. javalib >= "2.3" & < "2.3.2"
  2. conf-perl build
  3. ocamlfind build
  4. ocaml < "5.0.0"

Dev Dependencies

None

Used by (1)

  1. nit

Conflicts

None

OCaml

Innovation. Community. Security.