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.
Follow INAPA Java Nullness Annotation Assistant
Rate This ProjectLogin To Rate This Project
Be the first to post a review of INAPA Java Nullness Annotation Assistant!