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: about 2 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 6 years ago)
• Default Branch: main
• Last Pushed: 2024-04-11T21:47:52.000Z (about 1 year ago)
• Last Synced: 2024-04-13T22:54:20.069Z (about 1 year ago)
• Topics: android, annotations, bugfinding, java, jvm-languages, kotlin, null, nullability-analysis, standard-library, static-analysis
• Language: Java
• Homepage: http://jspecify.org
• Size: 10 MB
• Stars: 408
• Watchers: 44
• Forks: 24
• Open Issues: 112
• 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](http://jspecify.org).

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](http://jspecify.org/docs/start-here).