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 SummaryNov 9 2023 — Dec 9 2023
|
12 Month SummaryDec 9 2022 — Dec 9 2023
|