• en

nit

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

Maintainer sawja@inria.fr

Events

Oct 30, 2013

Published version 0.6