Micronaut, NullAway, and JSpecify. Avoid NPEs in your Micronaut Applications. sergiodelamo.com/blog/2025-11...
Maven: github.com/sdelamo/micr...
Gradle: github.com/sdelamo/micr...
Maven: github.com/sdelamo/micr...
Gradle: github.com/sdelamo/micr...
Micronaut NullAway and JSPecify
In this blog post, I show you how to configure a Micronaut 4 application to use JSpecify and NullAway to protect you from NPEs (Null Pointer Exceptions).
sergiodelamo.com
November 21, 2025 at 3:34 PM
Micronaut, NullAway, and JSpecify. Avoid NPEs in your Micronaut Applications. sergiodelamo.com/blog/2025-11...
Maven: github.com/sdelamo/micr...
Gradle: github.com/sdelamo/micr...
Maven: github.com/sdelamo/micr...
Gradle: github.com/sdelamo/micr...
Ah ah, pas de soucis, c'était façon de parler et puis ça a été bien utile !
J'en ai un peu parlé avec @seb.deleuze.fr et ça n'est pas supporté par NullAway. Cela dit, je me demande si un outil est capable de détecter ça. Merci pour ta question !
J'en ai un peu parlé avec @seb.deleuze.fr et ça n'est pas supporté par NullAway. Cela dit, je me demande si un outil est capable de détecter ça. Merci pour ta question !
November 19, 2025 at 8:53 AM
Ah ah, pas de soucis, c'était façon de parler et puis ça a été bien utile !
J'en ai un peu parlé avec @seb.deleuze.fr et ça n'est pas supporté par NullAway. Cela dit, je me demande si un outil est capable de détecter ça. Merci pour ta question !
J'en ai un peu parlé avec @seb.deleuze.fr et ça n'est pas supporté par NullAway. Cela dit, je me demande si un outil est capable de détecter ça. Merci pour ta question !
Je suis tellement à la ramasse sur ce sujet de NullAway. Faut que j'en m'y intéresse. Faut dire les millions d'annotations @NonNull / @NotNull m'avaient un peu trauma du null-safety en java à l'époque !
November 19, 2025 at 7:26 AM
Je suis tellement à la ramasse sur ce sujet de NullAway. Faut que j'en m'y intéresse. Faut dire les millions d'annotations @NonNull / @NotNull m'avaient un peu trauma du null-safety en java à l'époque !
On va attendre que José confirme que l'exemple traduit correctement son scénario. En gros il me challengait sur la capacité de NullAway de détecter un scénario qui pourrait mener à une NPE.
November 18, 2025 at 8:55 PM
On va attendre que José confirme que l'exemple traduit correctement son scénario. En gros il me challengait sur la capacité de NullAway de détecter un scénario qui pourrait mener à une NPE.
Use JSpecify and NullAway to make your Java code null-safe at build time — no runtime surprises, no production crashes.
www.the-main-thread.com/p/compile-ti...
www.the-main-thread.com/p/compile-ti...
November 15, 2025 at 8:15 AM
Use JSpecify and NullAway to make your Java code null-safe at build time — no runtime surprises, no production crashes.
www.the-main-thread.com/p/compile-ti...
www.the-main-thread.com/p/compile-ti...
NullPointerExceptions are still the #1 reason Java apps crash in production.
Here’s a better way: catch them at compile time using JSpecify and NullAway in Quarkus.
Simple setup, zero runtime cost.
Read the full tutorial →
buff.ly/GtIsnAT
#Java #Quarkus #NullAway #DevTools
Here’s a better way: catch them at compile time using JSpecify and NullAway in Quarkus.
Simple setup, zero runtime cost.
Read the full tutorial →
buff.ly/GtIsnAT
#Java #Quarkus #NullAway #DevTools
November 15, 2025 at 7:15 AM
NullPointerExceptions are still the #1 reason Java apps crash in production.
Here’s a better way: catch them at compile time using JSpecify and NullAway in Quarkus.
Simple setup, zero runtime cost.
Read the full tutorial →
buff.ly/GtIsnAT
#Java #Quarkus #NullAway #DevTools
Here’s a better way: catch them at compile time using JSpecify and NullAway in Quarkus.
Simple setup, zero runtime cost.
Read the full tutorial →
buff.ly/GtIsnAT
#Java #Quarkus #NullAway #DevTools
The Spring team has done an amazing job introducing nullability annotation and checking for Spring Boot 4, using NullAway and other great tools. Really excited about the potential for increased nullness checking across the Java ecosystem!
Don't miss my new blog post in the Road to GA series to learn how the Spring team empowers Spring developers to make their Spring Boot 4 application null-safe, to reduce or remove the risk of NullPointerException and to solve "the billion dollar mistake"! spring.io/blog/2025/11...
#spring #java
#spring #java
Null-Safe applications with Spring Boot 4
Level up your Java code and explore what Spring can do for you.
spring.io
November 12, 2025 at 5:39 PM
The Spring team has done an amazing job introducing nullability annotation and checking for Spring Boot 4, using NullAway and other great tools. Really excited about the potential for increased nullness checking across the Java ecosystem!
Spring Boot 4's null-safety is here! 🎯
@NullMarked (JSpecify + NullAway) makes nullness explicit. No more guessing if findUserByEmail() returns null.
IDE catches NPEs at compile-time. Your type signatures finally tell the truth.
@NullMarked (JSpecify + NullAway) makes nullness explicit. No more guessing if findUserByEmail() returns null.
IDE catches NPEs at compile-time. Your type signatures finally tell the truth.
October 31, 2025 at 12:53 PM
Spring Boot 4's null-safety is here! 🎯
@NullMarked (JSpecify + NullAway) makes nullness explicit. No more guessing if findUserByEmail() returns null.
IDE catches NPEs at compile-time. Your type signatures finally tell the truth.
@NullMarked (JSpecify + NullAway) makes nullness explicit. No more guessing if findUserByEmail() returns null.
IDE catches NPEs at compile-time. Your type signatures finally tell the truth.
@seb.deleuze.fr and @snicoll.be do you know if jspecify/or nullaway allows a way to declare that a variable that is annotated with @PathVariable(required = false) and is not an Optional is automatically marked as Nullable?
October 24, 2025 at 11:25 AM
@seb.deleuze.fr and @snicoll.be do you know if jspecify/or nullaway allows a way to declare that a variable that is annotated with @PathVariable(required = false) and is not an Optional is automatically marked as Nullable?
JSpecify and NullAway: A fresh take on nullsafety in the Java world
Introduction Sir Antony Hoare[1] introduced the concept of Null-references or Null pointer[2] back in 1965 with the release of ALGOL W. In 2009 he spoke about it as his “Billion Dollar Mistake”[3].…
buff.ly
September 27, 2025 at 10:00 AM
Enjoy my new, artisanal blog post about #JSpecify and #NullAway, a fresh take on null safety in the #Java world. Be warned, may contains #Lombok. Happy weekend you all.
info.michael-simons.eu/2025/09/26/j...
info.michael-simons.eu/2025/09/26/j...
JSpecify and NullAway: A fresh take on nullsafety in the Java world
Introduction Sir Antony Hoare[1] introduced the concept of Null-references or Null pointer[2] back in 1965 with the release of ALGOL W. In 2009 he spoke about it as his “Billion Dollar Mistake”[3]. De...
info.michael-simons.eu
September 26, 2025 at 2:05 PM
Enjoy my new, artisanal blog post about #JSpecify and #NullAway, a fresh take on null safety in the #Java world. Be warned, may contains #Lombok. Happy weekend you all.
info.michael-simons.eu/2025/09/26/j...
info.michael-simons.eu/2025/09/26/j...
In a world in which ur library cannot know if it's used in an environment with NullAway, you will need to add checks like this still with JSpecify:
Objects.requireNonNull(summand, "One summand is required");
Or just throw in an additional `@lombok.NonNull` to have the above check generated ;)
Objects.requireNonNull(summand, "One summand is required");
Or just throw in an additional `@lombok.NonNull` to have the above check generated ;)
September 26, 2025 at 10:44 AM
In a world in which ur library cannot know if it's used in an environment with NullAway, you will need to add checks like this still with JSpecify:
Objects.requireNonNull(summand, "One summand is required");
Or just throw in an additional `@lombok.NonNull` to have the above check generated ;)
Objects.requireNonNull(summand, "One summand is required");
Or just throw in an additional `@lombok.NonNull` to have the above check generated ;)
2/9. "Null Safety in Java with JSpecify and NullAway by Sébastien Deleuze @ Spring I/O 2025" ⸱ +9k views ⸱ 12 Jun 2025 ⸱ https://youtube.com/watch?v=5Lbxq6LP7FY
Null Safety in Java with JSpecify and NullAway by Sébastien Deleuze @ Spring I/O 2025
Spring I/O 2025 - 21-23 May, BarcelonaSlides: https://2025.springio.net/slides/null-safety-in-java-with-jspecify-and-nullaway-springio.pdfJSpecify is a set o...
youtube.com
September 17, 2025 at 6:24 AM
2/9. "Null Safety in Java with JSpecify and NullAway by Sébastien Deleuze @ Spring I/O 2025" ⸱ +9k views ⸱ 12 Jun 2025 ⸱ https://youtube.com/watch?v=5Lbxq6LP7FY
Excited to release NullAway 0.12.10 with much better inference support for generic method calls in JSpecify mode: github.com/uber/NullAwa... Please let us know if you run into issues!
Release NullAway 0.12.10 · uber/NullAway
This release contains significant improvements to inference support for generic method calls in JSpecify mode (#1075).
We expect that many more valid calls will pass NullAway, but that some new bug...
github.com
September 16, 2025 at 6:59 PM
Excited to release NullAway 0.12.10 with much better inference support for generic method calls in JSpecify mode: github.com/uber/NullAwa... Please let us know if you run into issues!
En mettant à jour mes cours, je tombe par hasard sur JUnit 6 : baseline en Java 17, utilisation des annotations JSpecify pour la null-safety (à combiner à la compilation avec NullAway par exemple).
Ils ont déjà écrit une doc de migration depuis la version 5 : github.com/junit-team/j...
Ils ont déjà écrit une doc de migration depuis la version 5 : github.com/junit-team/j...
Upgrading to JUnit 6.0
✅ The programmer-friendly testing framework for Java and the JVM - junit-team/junit-framework
github.com
September 4, 2025 at 7:12 AM
En mettant à jour mes cours, je tombe par hasard sur JUnit 6 : baseline en Java 17, utilisation des annotations JSpecify pour la null-safety (à combiner à la compilation avec NullAway par exemple).
Ils ont déjà écrit une doc de migration depuis la version 5 : github.com/junit-team/j...
Ils ont déjà écrit une doc de migration depuis la version 5 : github.com/junit-team/j...
Demoing the brilliance of JSpecify and NullAway support in IntelliJ IDEA with #Spring, #Java and #Kotlin at #SpringOne — thanks to Andrei Kogun and @dashaun.com !
Read more in the InteliJ IDEA 2025.2 What’s New: jb.gg/uq8our
Read more in the InteliJ IDEA 2025.2 What’s New: jb.gg/uq8our
August 28, 2025 at 3:00 PM
Demoing the brilliance of JSpecify and NullAway support in IntelliJ IDEA with #Spring, #Java and #Kotlin at #SpringOne — thanks to Andrei Kogun and @dashaun.com !
Read more in the InteliJ IDEA 2025.2 What’s New: jb.gg/uq8our
Read more in the InteliJ IDEA 2025.2 What’s New: jb.gg/uq8our
Are you introducing JSpecify and NullAway, and
`@SuppressWarnings({ "DataFlowIssue", "NullAway" })`
is all over the place?
NullAway 0.12.8 to the rescue with `SuppressionNameAliases`! 🥳
github.com/uber/NullAwa...
`@SuppressWarnings({ "DataFlowIssue", "NullAway" })`
is all over the place?
NullAway 0.12.8 to the rescue with `SuppressionNameAliases`! 🥳
github.com/uber/NullAwa...
Configuration
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead - uber/NullAway
github.com
August 22, 2025 at 3:25 PM
Are you introducing JSpecify and NullAway, and
`@SuppressWarnings({ "DataFlowIssue", "NullAway" })`
is all over the place?
NullAway 0.12.8 to the rescue with `SuppressionNameAliases`! 🥳
github.com/uber/NullAwa...
`@SuppressWarnings({ "DataFlowIssue", "NullAway" })`
is all over the place?
NullAway 0.12.8 to the rescue with `SuppressionNameAliases`! 🥳
github.com/uber/NullAwa...
Spring Boot 4.0.0-M2 introduces a null-safe API thanks to JSpecify 🎉 Try it with IntelliJ IDEA, Kotlin, or checkers like NullAway and share your feedback.
I hope somebody will contribute JSpecify support to VSCode and Eclipse 🤞
I hope somebody will contribute JSpecify support to VSCode and Eclipse 🤞
Spring Boot 4.0.0-M2 is available now! spring.io/blog/2025/08...
Spring Boot 4.0.0-M2 available now
Level up your Java code and explore what Spring can do for you.
spring.io
August 22, 2025 at 8:08 AM
Spring Boot 4.0.0-M2 introduces a null-safe API thanks to JSpecify 🎉 Try it with IntelliJ IDEA, Kotlin, or checkers like NullAway and share your feedback.
I hope somebody will contribute JSpecify support to VSCode and Eclipse 🤞
I hope somebody will contribute JSpecify support to VSCode and Eclipse 🤞
In #Java whenever I have to `return null` for a `Void` return type I die a little inside.
Speaking of nullability checks:
- JSpecify's `T extends @/Nullable Object` makes no sense;
- NullAway is broken for anything serious (e.g., generic types, flow-sensitive typing).
Speaking of nullability checks:
- JSpecify's `T extends @/Nullable Object` makes no sense;
- NullAway is broken for anything serious (e.g., generic types, flow-sensitive typing).
August 8, 2025 at 6:26 AM
In #Java whenever I have to `return null` for a `Void` return type I die a little inside.
Speaking of nullability checks:
- JSpecify's `T extends @/Nullable Object` makes no sense;
- NullAway is broken for anything serious (e.g., generic types, flow-sensitive typing).
Speaking of nullability checks:
- JSpecify's `T extends @/Nullable Object` makes no sense;
- NullAway is broken for anything serious (e.g., generic types, flow-sensitive typing).
📢 AssertJ 3.27.4 has been released!
This fixes a 🐛 regression introduced in 3.26.0, brings a few minor 🚫 deprecations, and paves the way for ⚡ smoother NullAway integration.
Happy assertions!
github.com/assertj/asse...
This fixes a 🐛 regression introduced in 3.26.0, brings a few minor 🚫 deprecations, and paves the way for ⚡ smoother NullAway integration.
Happy assertions!
github.com/assertj/asse...
Release v3.27.4 · assertj/assertj
🚫 Deprecated
Core
Deprecate org.assertj.core.annotations.Beta in favor of org.assertj.core.annotation.Beta
Deprecate org.assertj.core.util.CanIgnoreReturnValue in favor of org.assertj.core.annotat...
github.com
August 7, 2025 at 3:46 PM
📢 AssertJ 3.27.4 has been released!
This fixes a 🐛 regression introduced in 3.26.0, brings a few minor 🚫 deprecations, and paves the way for ⚡ smoother NullAway integration.
Happy assertions!
github.com/assertj/asse...
This fixes a 🐛 regression introduced in 3.26.0, brings a few minor 🚫 deprecations, and paves the way for ⚡ smoother NullAway integration.
Happy assertions!
github.com/assertj/asse...
A really insightful talk about null safety in #Java and #Spring. @seb.deleuze.fr demonstrates how #JSpecify and #NullAway add great value to new and existing projects by turning a design issue of Java into a feature that increases stability and trust in our code bases.
youtu.be/otwr0IniwRk
youtu.be/otwr0IniwRk
Null Safety in Spring Applications With JSpecify and NullAway by Sébastien Deleuze
YouTube video by IntelliJ IDEA, a JetBrains IDE
youtu.be
July 25, 2025 at 10:14 AM
A really insightful talk about null safety in #Java and #Spring. @seb.deleuze.fr demonstrates how #JSpecify and #NullAway add great value to new and existing projects by turning a design issue of Java into a feature that increases stability and trust in our code bases.
youtu.be/otwr0IniwRk
youtu.be/otwr0IniwRk
@seb.deleuze.fr’s #IntelliJIDEAConf session is now available!
See how JSpecify and NullAway can make your Spring apps safer, and what to expect in Spring Framework 7.0.
Watch the full session: youtu.be/otwr0IniwRk
See how JSpecify and NullAway can make your Spring apps safer, and what to expect in Spring Framework 7.0.
Watch the full session: youtu.be/otwr0IniwRk
July 15, 2025 at 10:02 AM
@seb.deleuze.fr’s #IntelliJIDEAConf session is now available!
See how JSpecify and NullAway can make your Spring apps safer, and what to expect in Spring Framework 7.0.
Watch the full session: youtu.be/otwr0IniwRk
See how JSpecify and NullAway can make your Spring apps safer, and what to expect in Spring Framework 7.0.
Watch the full session: youtu.be/otwr0IniwRk
Hi, author of the Gradle plugin for ErrorProne here. Just wanted to mention that there's a companion plugin for NullAway: github.com/tbroyer/grad...
GitHub - tbroyer/gradle-nullaway-plugin: Adds NullAway DSL to Gradle Error Prone plugin
Adds NullAway DSL to Gradle Error Prone plugin. Contribute to tbroyer/gradle-nullaway-plugin development by creating an account on GitHub.
github.com
June 20, 2025 at 2:17 PM
Hi, author of the Gradle plugin for ErrorProne here. Just wanted to mention that there's a companion plugin for NullAway: github.com/tbroyer/grad...
Hello, ici l'auteur du plugin Gradle. Je suis preneur de détails sur la critique concernant la configuration à 11:24 🙂
www.youtube.com/watch?v=TV_n...
Et note en passant, il existe aussi un plugin pour faciliter la configuration des options NullAway: github.com/tbroyer/grad...
www.youtube.com/watch?v=TV_n...
Et note en passant, il existe aussi un plugin pour faciliter la configuration des options NullAway: github.com/tbroyer/grad...
GitHub - tbroyer/gradle-nullaway-plugin: Adds NullAway DSL to Gradle Error Prone plugin
Adds NullAway DSL to Gradle Error Prone plugin. Contribute to tbroyer/gradle-nullaway-plugin development by creating an account on GitHub.
github.com
June 20, 2025 at 10:16 AM
Hello, ici l'auteur du plugin Gradle. Je suis preneur de détails sur la critique concernant la configuration à 11:24 🙂
www.youtube.com/watch?v=TV_n...
Et note en passant, il existe aussi un plugin pour faciliter la configuration des options NullAway: github.com/tbroyer/grad...
www.youtube.com/watch?v=TV_n...
Et note en passant, il existe aussi un plugin pour faciliter la configuration des options NullAway: github.com/tbroyer/grad...
I suppose most go with ErrorProne+NullAway in this case @bmarwell.de has become almost the Golden Path of using JSpecify...
June 14, 2025 at 7:54 PM
I suppose most go with ErrorProne+NullAway in this case @bmarwell.de has become almost the Golden Path of using JSpecify...