We are pleased to announce that JSpecify 1.0.0 is available in Maven Central! That means that the four nullness annotations that we have defined (@Nullable, @NonNull, @NullMarked, and @NullUnmarked) are official, and we will never make backwards-incompatible changes to them.

Check out our usage page for instructions on how to depend on them in your project, and our guidelines on when you should start doing so. (Hint: it depends on how ready your nullness analyzer is to support JSpecify, and whether you or your users also use Kotlin.)

We've updated our User Guide and our Javadoc. We're still working on updating the specification to reflect all of our design decisions (ETA: end of August), but that's more useful to nullness analyzer implementers.

October update: We've now also updated our specification.

Welcome to JSpecify's blog and thank you for your interest in static analysis for Java! There's not much content in the blog at the moment but do stay tuned. We're planning to publish a series of posts about the project and its future very soon. In the meantime, make sure to check out the User Guide and the Specification.