artempyanykh / jspecify

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

Home Page:http://jspecify.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

JSpecify

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.

The latest release is numbered 0.2 as a clear signal to not depend on it yet. It will still undergo many changes.

How to build

Run ./gradlew to build artifacts, or ./gradlew publishToMavenLocal to install artifacts to your Local Maven Repository.

About

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

http://jspecify.org

License:Apache License 2.0


Languages

Language:Java 100.0%