/jspecify

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

Primary LanguageJavaApache License 2.0Apache-2.0

Watchers