Defeating Null with Nullaway & JSpecify (Yet Again)

The year was 2026, and we still had to live in the world where every reference in Java might be nullable.

Some get caught off guard by Map#get, others are confused by unobvious library contracts and finally most of us are at least a bit inattentive.

I will tell you about Nullaway, which is an extremely smart nullability static analyzer that, together with JSpecify — finally an exhaustive null-marking specification — let us discover multitudes of problems, teach developers to properly mark their code contracts, and, generally, reach smoother and more serene releases.