Skip to content

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

License

Notifications You must be signed in to change notification settings

akbarkanso/jspecify

 
 

Repository files navigation

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.

Status

Version 0.3 is relatively safe to depend on in your code. Or you can read a more detailed answer.

Things to read

See jspecify.org/docs/start-here.

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Java 100.0%