INAPA Java Nullness Annotation Assistant download

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.

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow INAPA Java Nullness Annotation Assistant

INAPA Java Nullness Annotation Assistant Web Site

User Reviews

Be the first to post a review of INAPA Java Nullness Annotation Assistant!

Additional Project Details

Intended Audience

Developers

User Interface

Java SWT

Programming Language

Java

Related Categories

Java UML Tool, Java QA Automation Software

Registered

2006-09-20

Similar Business Software

Crystal

Crystal’s syntax is heavily inspired by Ruby’s, so it feels natural to read and easy to write, and has the added benefit of a lower learning curve for experienced Ruby devs. Crystal is statically type-checked, so any type errors will be caught early by the compiler rather than fail on runtime....

See Software
Dart

Mature and complete async-await for user interfaces containing event-driven code, paired with isolate-based concurrency. A programming language optimized for building user interfaces with features such as sound null safety, the spread operator for expanding collections, and collection if for...

See Software
FuzzDB

FuzzDB was created to increase the likelihood of finding application security vulnerabilities through dynamic application security testing. It's the first and most comprehensive open dictionary of fault injection patterns, predictable resource locations, and regex for matching server responses....

See Software

Report inappropriate content