JSpecify
JSpecify is a community-driven effort to standardize null-safety annotations in Java. It provides a formal specification of nullability semantics and a reference set of annotations intended to unify how libraries and tools describe and enforce nullability in APIs and code.
The project aims to address fragmentation caused by a wide variety of existing nullability annotations. It
JSpecify provides a standardized annotation palette and guidance on their intended meaning and retention. The annotations
The project is hosted publicly, with a website at jspecify.org and a presence on code hosting platforms
See also: nullability annotations in Java, Checker Framework, Error Prone, static analysis, API design.