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 SummaryAug 26 2025 — Sep 25 2025
|
12 Month SummarySep 25 2024 — Sep 25 2025
|