An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
An artifact of well-specified annotations to power static analysis checks and JVM language interop. Developed by consensus of the partner organizations listed at our main web site, jspecify.org.
Our current focus is on annotations for nullness analysis.
We've released Version 1.0.0, which finalizes our initial nullness annotations.
No open issues yet, or sync has not completed.