package sawja

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

Install 

dune-project
 Dependency

sawja.inria.fr Edit opam file Versions (7)

Authors

  1. S
    Sawja development team

Maintainers

  1. S
    sawja@inria.fr

Sources

1.5.11.tar.gz
md5=e9e289fd79f076d4545c3df632ef9fe2
sha512=013f1cec0e77c6368e2a3e6a77ccb0ec49d3467ffeec179544b6794ca2e7036f6b91667ce1eabee09cf8d1b639f808167e24bb73c95613806bd6be96ab42ab7c

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.

Added to opam-repository:

Dependencies (3)

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

Dev Dependencies

None

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

Results of building sawja with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

This version is not in the latest run; the versions below are.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
1.5.12 good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure