Taming null dereferences with pluggable type systems - part I

NullAway is an open-source Java static-analysis tool that uses pluggable type-system annotations such as @Nullable and @NonNull to detect unsafe null dereferences before runtime, addressing the widespread problem of NullPointerExceptions in languages that permit null references. By requiring explicit annotations for values that may be null and enforcing checks before such values are dereferenced, it can prevent many null-related failures in first-party code while relying on inference to reduce annotation needs for local variables. The approach adapts null-safety concepts used by languages such as Kotlin, Rust, and Swift to existing languages like Java, and NullAway has been deployed at organizations including Uber, where it checks most Java code. Its emphasis on speed—adding roughly 15% overhead compared with standard javac compilation—allows developers to receive feedback during local builds rather than waiting for CI, a practical requirement for broad adoption. The post also previews future discussion of onboarding existing codebases, handling unannotated third-party libraries and API contracts, applying related ideas to Go, and using pluggable type systems for checks beyond nullability.

No tracked trend matches for this post yet.

Use this post, company, and trend context to find content marketing opportunities, perform competitive analysis, or address product feature gaps via the Plushcap MCP server or the Plushcap API.