Null Safety en Java avec JSpecify et NullAway

JSpecify est un ensemble d’annotations, de spécifications et de documentations permettant une vérification de la "null safety" des applications Java dans l'IDE lors du développement et lors de la compilation grâce à des outils comme NullAway. Sébastien, qui participe depuis plusieurs années au groupe de travail JSpecify réunissant plusieurs entreprises investies dans l’écosystème JVM comme Google, JetBrains, Oracle ou Broadcom, présentera comment JSpecify peut permettre aux développeurs Java de détecter avant le déploiement les potentielles NullPointerException de façon à rendre leurs applications plus fiables en transformant “the billion dollar mistake” en une fonctionnalité utile permettant de d'exprimer l'absence potentielle de valeur. Il présentera également comment les futures Spring Framework 7 et Spring Boot 4 utiliseront JSpecify côté framework et application afin de permettre la création d’applications Spring Boot plus robustes.