NullAway: Practical Type-Based Null Safety for Java

Subarno Banerjee, Lazaro Clapp, Manu Sridharan

NullPointerExceptions (NPEs) are a key source of crashes in modern Java programs. Previous work has shown how such errors can be prevented at compile time via code annotations and…