Skip to main content

Standard Java Annotations for Static Analysis

Standard Annotations

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.

Community Effort

JSpecify is developed in collaboration ensuring that all voices are heard and the standard produced can be adopted by a wider Java community.