NullAway

NullAway è uno strumento per aiutarti a eliminare le NullPointerExceptions (NPEs) nel tuo codice Java. Per utilizzare NullAway, prima aggiungi annotazioni @Nullable nel tuo codice ogni volta che un campo, un parametro di metodo o un valore di ritorno può essere nullo. Date queste annotazioni, NullAway esegue una serie di controlli locali basati sui tipi per garantire che qualsiasi puntatore che viene dereferenziato nel tuo codice non possa essere nullo. NullAway è simile al controllo di nullabilità basato sui tipi nei linguaggi Kotlin e Swift, e ai verificatori di nullità Checker Framework ed Eradicate per Java.