https://github.com/jspecify/jspecify

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

android annotations bugfinding java jvm-languages kotlin null nullability-analysis standard-library static-analysis

Last synced: 27 Feb 2025