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.

SF.net project page

[edit] Getting INAPA

The source is in CVS at SF.net.

d7WN2H <a href="http://hirzlexwzfof.com/">hirzlexwzfof</a>, [url=http://twjkgzynjren.com/]twjkgzynjren[/url], [link=http://aysvtjfpkvki.com/]aysvtjfpkvki[/link], http://sladoocpejhp.com/

[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).