Inapa
From Arnout Engelen
pascch 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
I'm going to check in the code into CVS at SF.net RSN ;).
[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. (TODO: link to thesis). It is based on CANAPA, which was generously released under the LGPL by the authors in Poland (TODO give credit more specifically).
