jspecify
An artifact of fully-specified annotations to power static-analysis checks
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.
Apache-2.0cloud_download Downloads
To download packages, you need to log in and have a valid subscription.
Please select a product to see the available package versions:
Loading...
Loading package downloads...