JSpecify defines a standard set of annotations with precise semantics covering the full range of Java's language features.
Next Level Static Analysis
JSpecify standard enables static analyzers to find more bugs. Furthermore, writing code against APIs with explicit nullness is just faster and more convenient.
JSpecify is developed in collaboration ensuring that all voices are heard and the standard produced can be adopted by a wider Java community.