NullAudit

A tool to analyze and verify JSpecify nullness annotations.