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.
30 Day SummaryMay 20 2025 — Jun 19 2025
|
12 Month SummaryJun 19 2024 — Jun 19 2025
|