Description

Published: 21 Nov 2013

Dependencies (3)

  1. sawja = "1.5"
  2. javalib = "2.3"
  3. ocaml

Reverse Dependencies

    None

Conflicts

    None
Nit, a static analysis tool, checks whether a java bytecode program is NullPointerException free.

Install

Documentation Edit opam file

Authors

Maintainers

  1. S
    sawja@inria.fr

Sources

nit-0.6.tar.bz2
md5=2a20cb66fc4d29a1f1af5884e4c25fb5