uber / NullAway

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

jspecify / jspecify

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.