https://github.com/jspecify/jspecify

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
https://github.com/jspecify/jspecify

android annotations bugfinding java jvm-languages kotlin null nullability-analysis standard-library static-analysis

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/jspecify/jspecify
• Owner: jspecify
• License: apache-2.0
• Created: 2018-09-17T16:08:13.000Z (over 7 years ago)
• Default Branch: main
• Last Pushed: 2025-08-08T00:07:44.000Z (5 months ago)
• Last Synced: 2025-08-17T08:43:28.746Z (5 months ago)
• Topics: android, annotations, bugfinding, java, jvm-languages, kotlin, null, nullability-analysis, standard-library, static-analysis
• Language: Java
• Homepage: https://jspecify.dev
• Size: 7.17 MB
• Stars: 852
• Watchers: 39
• Forks: 36
• Open Issues: 134
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Authors: AUTHORS

Awesome Lists containing this project

• awesome-java - JSpecify

README

          
# 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](https://jspecify.dev).

Our current focus is on annotations for nullness analysis.

## Status

We've released

[Version 1.0.0](https://github.com/jspecify/jspecify/releases/tag/v1.0.0), which

finalizes our initial nullness annotations.

## Things to read

See [jspecify.org/docs/start-here](https://jspecify.dev/docs/start-here).