ocaml/opam-repository — pull request #1245 by sawja-admin (2013-10-30 10:54:34+00:00)
Title: New Sawja release 1.5 and related packages Javalib 2.3 and Nit 0.6

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.

Javalib is a library written in OCaml with the aim to provide a high level representation of Java .class files.

Nit, the Nullability Inference Tool, infers nullness properties of variables and can prove that a program is NullPointerException free. Nit takes advantage of Sawja.