Practical Inference of Nullability Types

Dec 7, 2023

Speakers

About

NullPointerExceptions (NPEs), caused by dereferencing null, frequently cause crashes in Java programs. Pluggable type checking is highly effective in preventing Java NPEs. However, this approach is difficult to adopt for large, existing code bases, as it requires manually inserting a significant number of type qualifiers into the code. Hence, a tool to automatically infer these qualifiers could make adoption of type-based NPE prevention significantly easier. We present a novel and practical approach to automatic inference of nullability type qualifiers for Java. Our technique searches for a set of qualifiers that maximizes the amount of code that can be successfully type checked. The search uses the type checker as a black box oracle, easing compatibility with existing tools. However, this approach can be costly, as evaluating the impact of a qualifier requires re-running the checker. We present a technique for safely evaluating many qualifiers in a single checker run, dramatically reducing running times. We also describe extensions to make the approach practical in a real-world deployment. We implemented our approach in an open-source tool ToolName, designed to work with the NullAway type checker. We evaluated ToolName’s effectiveness on both open-source projects and commercial code. ToolName reduces the number of reported NullAway errors by 69.5% on average. Further, our optimizations enable ToolName to scale to large Java programs. ToolName significantly eases adopting type-based nullness checking on existing code, and has already been used to add NullAway checking to eight production modules, totaling over 95,000 lines of Java code.

Organizer

Categories

Like the format? Trust SlidesLive to capture your next event!

Professional recording and live streaming, delivered globally.

Sharing

Recommended Videos

Presentations on similar topic, category or speaker