Inapa
From Arnout Engelen
INAPA: Interactive Nullness Annotation Propagation Application
Assists a developer with adding nullness annotations (i.e. JML) to Java source code. This makes it easier to use a checker like ESC/Java for statically identifying potential null pointer bugs.
[edit] Getting INAPA
The source is in CVS at SF.net.
[edit] How does it work?
Some day I'll describe how INAPA works here. In the mean time, don't hesitate to mail me.
[edit] History
I created INAPA as a proof-of-concept implementation for my Master's research project. It is based on CANAPA, which was generously released under the LGPL by the original authors in Poland (TODO give credit more specifically).
