NullAway

NullAway est un outil pour aider à éliminer les NullPointerExceptions (NPEs) dans ton code Java. Pour utiliser NullAway, commence par ajouter des annotations @Nullable dans ton code chaque fois qu'un champ, un paramètre de méthode ou une valeur de retour peut être nul. Étant donné ces annotations, NullAway effectue une série de vérifications locales basées sur les types pour s'assurer que tout pointeur qui est déséréférencé dans ton code ne peut pas être nul. NullAway est similaire à la vérification de nullité basée sur les types dans les langages Kotlin et Swift, ainsi qu'aux vérificateurs de nullité Checker Framework et Eradicate pour Java.