Automating Java Codebase Annotations for Null Safety

This is Part II of our series of posts on retrofitting null safety onto existing programming languages. In Part I of this series, we introduced NullAway, a pluggable type system for nullability for Java, which can prevent NullPointerException (NPE) c...