package nit

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

Install

Dune Dependency

Authors

Maintainers

Sources

nit-0.6.tar.bz2
sha256=59928d743239415aa1b001adb40834c59f69baf6750a279e6261252942607699
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

OCaml

Innovation. Community. Security.