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.
sdk env install
./mvnw clean verify
./mvnw versions:display-dependency-updates
./mvnw versions:display-plugin-updates
./mvnw versions:display-property-updates
- https://jcp.org/en/jsr/detail?id=305
- https://jspecify.dev/
- https://jspecify.dev/docs/user-guide/
- https://errorprone.info/
- https://errorprone.info/docs/flags
- https://github.com/uber/NullAway
- https://github.com/uber/NullAway/wiki
- https://en.wikipedia.org/wiki/Liskov_substitution_principle
- https://docs.spring.io/spring-framework/reference/7.0/core/null-safety.html
- https://spring.io/blog/2025/03/10/null-safety-in-spring-apps-with-jspecify-and-null-away
- https://github.com/sdeleuze/jspecify-nullway-demo
- https://www.moderne.ai/blog/mass-migration-of-nullability-annotations-to-jspecify
- https://github.com/google/guava/wiki/PreconditionsExplained
- https://github.com/jabrena/cursor-rules-methodology
- https://github.com/jabrena/cursor-rules-agile
- https://github.com/jabrena/cursor-rules-java
- https://github.com/jabrena/cursor-rules-examples
- https://github.com/jabrena/plantuml-to-png-cli
- https://github.com/jabrena/101-cursor
- https://github.com/jabrena/setup-cli
- https://github.com/jabrena/jbang-catalog
Powered by Cursor