{"id":701,"date":"2026-06-25T23:33:40","date_gmt":"2026-06-25T22:33:40","guid":{"rendered":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/?p=701"},"modified":"2026-07-07T23:34:09","modified_gmt":"2026-07-07T22:34:09","slug":"null-safety-mit-jspecify-nullaway-npes-zur-compile-time-verhindern","status":"publish","type":"post","link":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/?p=701","title":{"rendered":"Null-Safety mit JSpecify & NullAway \u2013 NPEs zur Compile-Time verhindern"},"content":{"rendered":"\n

NullPointerException<\/code> \u2014 der ungeliebte Dauergast jeder Java-Codebase. Tony Hoare nannte seine Erfindung der Null-Referenz einmal seinen \u201eMilliarden-Dollar-Fehler“. Moderne Sprachen wie Kotlin und Swift l\u00f6sen das mit nicht-nullbaren Typen \u2014 Java selbst aber nicht.<\/p>\n\n\n\n

Zwei Werkzeuge \u00e4ndern das: JSpecify 1.0<\/strong> als standardisierte Annotationen und NullAway<\/strong> als Compile-Time-Checker von Uber. Dieser Artikel zeigt, wie du beide kombinierst, um NPEs zu elimieren, bevor sie jemals in Produktion laufen.<\/p>\n\n\n\n

Das Problem: Fragmentierte @Nullable-Landschaft<\/h2>\n\n\n\n

Jeder definiert @Nullable<\/code> selbst: javax.annotation<\/code>, org.jetbrains.annotations<\/code>, org.checkerframework.checker.nullness.qual<\/code>, edu.umd.cs.findbugs.annotations<\/code>, … Keines dieser Annotations ist standardisiert, und keines verh\u00e4lt sich tool-\u00fcbergreifend konsistent.<\/p>\n\n\n\n

JSpecify 1.0.0<\/strong> (Juli 2024) l\u00f6st das: Ein Konsortium aus Google, Uber, JetBrains und Oracle hat sich auf vier<\/strong> Nullness-Annotationen mit pr\u00e4ziser Semantik geeinigt.<\/p>\n\n\n\n

JSpecify: Die vier Annotationen<\/h2>\n\n\n
import<\/span> org.jspecify.annotations.*;\n\n@NullMarked   <em>\/\/ Alle nicht-annotierten Typen in diesem Scope sind @NonNull<\/em><\/span>\npublic class<\/span> BenutzerService<\/span> <\/span>{\n\n    <em>\/\/ @Nullable auf Typs \u2014 der R\u00fcckgabetyp kann null sein<\/em><\/span>\n    public @Nullable Benutzer findeNachEmail(String<\/span> email) {\n        return<\/span> benutzerDb.get(email);  <em<\/span>><\/span>\/\/ darf null zur\u00fcckgeben<\/em<\/span>><\/span><\/span>\n    }\n\n    <em>\/\/ Ohne @Nullable: @NonNull implizit \u2014 der Parameter darf nicht null sein<\/em><\/span>\n    public void<\/span> aktualisiereEmail(Benutzer benutzer, String<\/span> neueEmail) {\n        benutzer.setEmail(neueEmail);  <em<\/span>><\/span>\/\/ NPE-safe: benutzer ist garantiert nicht null<\/em<\/span>><\/span><\/span>\n    }\n}\n<\/code><\/span>Code-Sprache:<\/span> JavaScript<\/span> (<\/span>javascript<\/span>)<\/span><\/small><\/pre>\n\n\n
Annotation<\/th>Zweck<\/th><\/tr><\/thead>
@Nullable<\/code><\/td>Type-Use: Dieser Typ kann null<\/code> sein<\/td><\/tr>
@NullMarked<\/code><\/td>Scope: Alles in diesem Bereich ist default @NonNull<\/code><\/td><\/tr>
@NullUnmarked<\/code><\/td>Scope: Hebt @NullMarked<\/code> f\u00fcr einen Teilbereich auf (inkrementelle Migration)<\/td><\/tr>
@NonNull<\/code><\/td>Type-Use: Explizit nicht null (meist redundant, da Default)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
Wichtig: @NullMarked<\/code> gilt f\u00fcr Parameter, R\u00fcckgabewerte und Felder \u2014 nicht<\/strong> f\u00fcr lokale Variablen (diese sind durch Flow-Typisierung automatisch erfasst).<\/p>\n\n\n\n
NullAway: Der Compile-Time-Enforcer<\/h2>\n\n\n\n
NullAway (aktuell 0.13.7<\/strong>) ist ein Error-Prone-Plugin, das Null-Verletzungen zur Compile-Zeit erkennt \u2014 ohne Laufzeit-Overhead. Anders als der Checker Framework (vollst\u00e4ndig, aber langsam) verfolgt NullAway einen pragmatischen<\/strong> Ansatz: Es erkennt ~95% aller NPEs mit weniger als 10% Build-Zeit-Overhead.<\/p>\n\n\n\n
Setup mit Gradle (empfohlen)<\/h3>\n\n\n
plugins {\n    id 'java'<\/span>\n    id 'net.ltgt.errorprone'<\/span> version '5.1.0'<\/span>\n}\n\ndependencies {\n    errorprone 'com.uber.nullaway:nullaway:0.13.7'<\/span>\n    errorprone 'com.google.errorprone:error_prone_core:2.50.0'<\/span>\n    api 'org.jspecify:jspecify:1.0.0'<\/span>\n}\n\ntasks.withType(JavaCompile).configureEach {\n    options.errorprone {\n        check('NullAway'<\/span>, CheckSeverity.ERROR)\n        option('NullAway:AnnotatedPackages'<\/span>, 'com.meinefirma'<\/span>)\n        option('NullAway:JSpecifyMode'<\/span>, 'true'<\/span>)\n    }\n    if<\/span> (name.toLowerCase().contains('test'<\/span>)) {\n        options.errorprone.disable('NullAway'<\/span>)\n    }\n}\n<\/code><\/span>Code-Sprache:<\/span> JavaScript<\/span> (<\/span>javascript<\/span>)<\/span><\/small><\/pre>\n\n\n
Setup mit Maven<\/h3>\n\n\n
<dependencies<\/span>><\/span>\n    <dependency<\/span>><\/span>\n        <groupId<\/span>><\/span>org.jspecify<\/groupId<\/span>><\/span>\n        <artifactId<\/span>><\/span>jspecify<\/artifactId<\/span>><\/span>\n        <version<\/span>><\/span>1.0.0<\/version<\/span>><\/span>\n    <\/dependency<\/span>><\/span>\n<\/dependencies<\/span>><\/span>\n\n<build<\/span>><\/span>\n    <plugins<\/span>><\/span>\n        <plugin<\/span>><\/span>\n            <groupId<\/span>><\/span>org.apache.maven.plugins<\/groupId<\/span>><\/span>\n            <artifactId<\/span>><\/span>maven-compiler-plugin<\/artifactId<\/span>><\/span>\n            <version<\/span>><\/span>3.13.0<\/version<\/span>><\/span>\n            <configuration<\/span>><\/span>\n                <compilerArgs<\/span>><\/span>\n                    <arg<\/span>><\/span>-Xplugin:ErrorProne\n                        -Xep:NullAway:ERROR\n                        -XepOpt:NullAway:AnnotatedPackages=com.meinefirma\n                        -XepOpt:NullAway:JSpecifyMode=true<\/arg<\/span>><\/span>\n                <\/compilerArgs<\/span>><\/span>\n                <annotationProcessorPaths<\/span>><\/span>\n                    <path<\/span>><\/span>\n                        <groupId<\/span>><\/span>com.google.errorprone<\/groupId<\/span>><\/span>\n                        <artifactId<\/span>><\/span>error_prone_core<\/artifactId<\/span>><\/span>\n                        <version<\/span>><\/span>2.50.0<\/version<\/span>><\/span>\n                    <\/path<\/span>><\/span>\n                    <path<\/span>><\/span>\n                        <groupId<\/span>><\/span>com.uber.nullaway<\/groupId<\/span>><\/span>\n                        <artifactId<\/span>><\/span>nullaway<\/artifactId<\/span>><\/span>\n                        <version<\/span>><\/span>0.13.7<\/version<\/span>><\/span>\n                    <\/path<\/span>><\/span>\n                <\/annotationProcessorPaths<\/span>><\/span>\n            <\/configuration<\/span>><\/span>\n        <\/plugin<\/span>><\/span>\n    <\/plugins<\/span>><\/span>\n<\/build<\/span>><\/span>\n<\/code><\/span>Code-Sprache:<\/span> HTML, XML<\/span> (<\/span>xml<\/span>)<\/span><\/small><\/pre>\n\n\n
Was NullAway erkennt<\/h2>\n\n\n\n
NullAway f\u00fchrt eine intra-prozedurale Datenflussanalyse<\/strong> durch und findet diese typischen Fehler:<\/p>\n\n\n\n
Bug 1: null \u00fcbergeben, wo @NonNull erwartet wird<\/h3>\n\n\n
@NullMarked\npublic class<\/span> Validierung<\/span> <\/span>{\n    static<\/span> String<\/span> sichereLaenge(String<\/span> s) {\n        return<\/span> s.length() + \" Zeichen\"<\/span>;  <em<\/span>><\/span>\/\/ NPE-safe: s ist @NonNull<\/em<\/span>><\/span><\/span>\n    }\n\n    static<\/span> void<\/span> test() {\n        sichereLaenge(null<\/span>);  <em<\/span>><\/span>\/\/ \u274c COMPILE-ERROR: @Nullable an @NonNull \u00fcbergeben<\/em<\/span>><\/span><\/span>\n    }\n}\n<\/code><\/span>Code-Sprache:<\/span> JavaScript<\/span> (<\/span>javascript<\/span>)<\/span><\/small><\/pre>\n\n\n
Bug 2: @Nullable dereferenzieren ohne Null-Check<\/h3>\n\n\n
@NullMarked\npublic class<\/span> Validierung<\/span> <\/span>{\n    static<\/span> void<\/span> log(@Nullable Object<\/span> x) {\n        System.out.println(x.toString());  <em<\/span>><\/span>\/\/ \u274c COMPILE-ERROR: x ist @Nullable<\/em<\/span>><\/span><\/span>\n    }\n\n    static<\/span> void<\/span> logFixed(@Nullable Object<\/span> x) {\n        if<\/span> (x != null<\/span>) {\n            System.out.println(x.toString());  <em<\/span>><\/span>\/\/ \u2705 OK: Datenfluss erkennt x \u2260 null<\/em<\/span>><\/span><\/span>\n        }\n    }\n}\n<\/code><\/span>Code-Sprache:<\/span> JavaScript<\/span> (<\/span>javascript<\/span>)<\/span><\/small><\/pre>\n\n\n
Bug 3: @NonNull-Feld nicht initialisiert<\/h3>\n\n\n
@NullMarked\npublic class<\/span> Person<\/span> <\/span>{\n    String<\/span> name;  <em<\/span>><\/span>\/\/ @NonNull implizit<\/em<\/span>><\/span><\/span>\n\n    Person() {}  <em>\/\/ \u274c COMPILE-ERROR: Field 'name' nicht initialisiert<\/em><\/span>\n}\n<\/code><\/span>Code-Sprache:<\/span> JavaScript<\/span> (<\/span>javascript<\/span>)<\/span><\/small><\/pre>\n\n\n
Bug 4: @Nullable aus @NonNull-Methode zur\u00fcckgeben<\/h3>\n\n\n
@NullMarked\npublic class<\/span> Factory<\/span> <\/span>{\n    @Nullable String<\/span> vielleichtNull() { return<\/span> null<\/span>; }\n\n    String<\/span> garantiertNichtNull() {\n        return<\/span> vielleichtNull();  <em<\/span>><\/span>\/\/ \u274c COMPILE-ERROR<\/em<\/span>><\/span><\/span>\n    }\n}\n<\/code><\/span>Code-Sprache:<\/span> JavaScript<\/span> (<\/span>javascript<\/span>)<\/span><\/small><\/pre>\n\n\n
Inkrementelle Migration mit @NullUnmarked<\/h2>\n\n\n\n
Bestehende Codebasen migriert man schrittweise:<\/p>\n\n\n
@NullUnmarked  <em<\/span>><\/span>\/\/ Altes Package: Keine Pr\u00fcfungen<\/em<\/span>><\/span>\npackage com.meinefirma.legacy;\n\n<em<\/span>><\/span>\/\/ ---<\/em<\/span>><\/span>\n\n@NullMarked    <em<\/span>><\/span>\/\/ Neues Package: Volle Pr\u00fcfungen<\/em<\/span>><\/span>\npackage com.meinefirma.buchhaltung;\n<\/code><\/span>Code-Sprache:<\/span> HTML, XML<\/span> (<\/span>xml<\/span>)<\/span><\/small><\/pre>\n\n\n
NullAway’s Option NullAway:OnlyNullMarked<\/code> pr\u00fcft automatisch nur @NullMarked<\/code>-Scopes.<\/p>\n\n\n\n
JSpecify und Kotlin<\/h2>\n\n\n\n
Ein gro\u00dfer Vorteil von JSpecify: Kotlin liest die Annotationen direkt. Wenn du eine Java-Bibliothek mit @NullMarked<\/code> annotierst, erkennt der Kotlin-Compiler deren Nullness-Signaturen:<\/p>\n\n\n
<em<\/span>><\/span>\/\/ Java-Klasse mit JSpecify:<\/em<\/span>><\/span>\n<em<\/span>><\/span>\/\/ @NullMarked<\/em<\/span>><\/span>\n<em<\/span>><\/span>\/\/ public class Calculator {<\/em<\/span>><\/span>\n<em<\/span>><\/span>\/\/     public @Nullable String format(int n) { ... }<\/em<\/span>><\/span>\n<em<\/span>><\/span>\/\/ }<\/em<\/span>><\/span>\n\n<em<\/span>><\/span>\/\/ Kotlin-Consumer erkennt automatisch:<\/em<\/span>><\/span>\nval result: String? = Calculator().format(42)  <em<\/span>><\/span>\/\/ ? nullable<\/em<\/span>><\/span>\n<em<\/span>><\/span>\/\/ Ohne JSpecify w\u00e4re es String! (platform type) \u2192 keine Pr\u00fcfung<\/em<\/span>><\/span>\n<\/code><\/span>Code-Sprache:<\/span> HTML, XML<\/span> (<\/span>xml<\/span>)<\/span><\/small><\/pre>\n\n\n
Vergleich der Tools<\/h2>\n\n\n\n
<\/th>NullAway + JSpecify<\/th>Checker Framework<\/th>IntelliJ Inspections<\/th><\/tr><\/thead>
Standardisiert<\/strong><\/td>Ja (JSpecify 1.0)<\/td>Nein<\/td>Nein<\/td><\/tr>
Build-Zeit-Overhead<\/strong><\/td><10%<\/td>Erheblich<\/td>Keiner (nur IDE)<\/td><\/tr>
Erkennt<\/strong><\/td>~95%<\/td>100% (sound)<\/td>~80% (Heuristiken)<\/td><\/tr>
Kotlin-Interop<\/strong><\/td>Ja<\/td>Nein<\/td>Teilweise<\/td><\/tr>
Inkrementell<\/strong><\/td>Ja (@NullUnmarked)<\/td>Ja (@SuppressWarnings)<\/td>Immer aktiv<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
Fazit<\/h2>\n\n\n\n
JSpecify und NullAway zusammen geben Java das, was Kotlin und Swift von Haus aus haben: Compile-Time-Null-Safety. Der Setup-Aufwand ist minimal (eine Dependency, eine Annotation), der Gewinn immens: Keine NullPointerException<\/code> in annotiertem Code.<\/p>\n\n\n\n
Beginne mit neuen Packages unter @NullMarked<\/code> und migriere bestehenden Code schrittweise. In einem Jahr wirst du dich fragen, wie du jemals ohne leben konntest.<\/p>\n","protected":false},"excerpt":{"rendered":"
NullPointerException \u2014 der ungeliebte Dauergast jeder Java-Codebase. Tony Hoare nannte seine Erfindung der Null-Referenz einmal seinen \u201eMilliarden-Dollar-Fehler“. Moderne Sprachen wie Kotlin und Swift l\u00f6sen das mit nicht-nullbaren Typen \u2014 Java selbst aber nicht. Zwei Werkzeuge \u00e4ndern das: JSpecify 1.0 als standardisierte Annotationen und NullAway als Compile-Time-Checker von Uber. Dieser Artikel zeigt, wie du beide kombinierst, um NPEs zu elimieren, bevor […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-701","post","type-post","status-publish","format-standard","hentry","category-plain_java"],"_links":{"self":[{"href":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/index.php?rest_route=\/wp\/v2\/posts\/701","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=701"}],"version-history":[{"count":1,"href":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/index.php?rest_route=\/wp\/v2\/posts\/701\/revisions"}],"predecessor-version":[{"id":702,"href":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/index.php?rest_route=\/wp\/v2\/posts\/701\/revisions\/702"}],"wp:attachment":[{"href":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=701"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=701"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.xn--javaeinfacherklrt-4qb.de\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=701"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}