// Clean Code & Design

Null-Sicherheit mit JSpecify und NullAway

NullPointerExceptions systematisch vermeiden: Annotationen, Prüfung beim Kompilieren und schrittweise Einführung.

  • Inhouse-Schulung
  • 1 Tag
  • Fortgeschritten
  • Remote oder vor Ort
Exakt ausgerichtete Bleistifte, Lineal, Papier und Schere auf einem Schreibtisch von oben
Symbolbild · KI-generiert

Was Sie mitnehmen

  • Sie kennzeichnen Nullbarkeit mit JSpecify-Annotationen eindeutig.
  • Sie prüfen Nullbarkeit beim Kompilieren mit NullAway und Error Prone.
  • Sie führen Null-Sicherheit schrittweise in eine bestehende Codebasis ein.
  • Sie gehen mit nicht annotierten Bibliotheken und Generics korrekt um.

Agenda

Die Agenda ist die Grundlage. Schwerpunkte und Beispiele stimmen wir vorab auf Ihr Team ab.

Vormittag

  • Ursachen von NullPointerExceptions, Grenzen von Optional
  • JSpecify: @Nullable, @NonNull, @NullMarked, @NullUnmarked
  • Nullbarkeit bei Generics und Arrays
  • Übung: Klassen eines Moduls mit JSpecify annotieren

Nachmittag

  • NullAway mit Error Prone in Maven oder Gradle einrichten
  • Befunde lesen und beheben, Konfiguration und Ausnahmen
  • Schrittweise Einführung: paketweise @NullMarked, Umgang mit Bibliotheken
  • Übung: NullAway in ein bestehendes Projekt einführen

Voraussetzungen und Rahmen

Vorwissen
Sichere Java-Kenntnisse und Erfahrung mit Maven oder Gradle.
Werkzeuge
JSpecify, NullAway (Open Source, Apache 2.0 / MIT)
Niveau
Fortgeschritten
Teilnehmende
bis 10 Personen, größere Gruppen auf Anfrage
Durchführung
Remote per Videokonferenz oder bei Ihnen vor Ort
Enthalten
Abstimmung vorab, Unterlagen, Übungsprojekte, Teilnahmebescheinigungen

// Trainer mit langjähriger Softwareentwicklungserfahrung, akademische Ausbildung in Informatik und KI.