jspecify
There are 7 repositories under jspecify topic.
ascopes/java-compiler-testing
Write sandboxed integration tests for Java annotation processors and plugins.
xzel23/cabe
Instrument Java bytecode with JSpecify-based null-checks
mk868/nullaudit
NullAudit is a tool to analyze and verify nullness annotations in Java codebases
spotbugs/spotbugs-jspecify-plugin
A plugin that works with the new standard annotation definitions artifact
ahauschulte/jspecify-with-nullaway
Demonstrates the combined use of JSpecify and NullAway
bcaillard/jspecify-packageinfo-generator
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.
jabrena/java-jspecify-maven-poc
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.