Write sandboxed integration tests for Java annotation processors and plugins.

Inject null-checks into Java-code

NullAudit is a tool to analyze and verify nullness annotations in Java codebases

A plugin that works with the new standard annotation definitions artifact

Demonstrates the combined use of JSpecify and NullAway

This Maven plugin automatically generates package-info.java files with JSpecify annotations (@NullMarked or @NullUnmarked), helping you manage nullness boundaries in your Java projects without manual boilerplate.

JSpecify aims to solve the problem of null reference errors (like NullPointerException) in Java code. The repository show how to use in Maven, JSpecify and Errorprone + Nullaway.