package nit

  1. Overview
  2. Docs
Nit, a static analysis tool, checks whether a java bytecode program is NullPointerException free.

Install

Dune Dependency

Edit opam file Versions (1)

Authors

Maintainers

  1. S
    sawja@inria.fr

Sources

nit-0.6.tar.bz2
md5=2a20cb66fc4d29a1f1af5884e4c25fb5

Description

Published: 21 Nov 2013

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None