JSpecify
Like
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
Cost / License
- Free
- Open Source
Platforms
- Java
- Self-Hosted
JSpecify
Like
Features
- Static analysis
Tags
- annotation
- java-development
JSpecify information
Developed by
The JSpecify AuthorsLicensing
Open Source (Apache-2.0) and Free product.Written in
Alternatives
0 alternatives listedSupported Languages
- English
AlternativeTo Category
DevelopmentGitHub repository
- 1,004 Stars
- 39 Forks
- 137 Open Issues
- Updated
No comments or reviews, maybe you want to be first?
Post comment/reviewWhat is JSpecify?
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
- Standard Annotations: JSpecify is releasing the first artifact of tool-independent annotations for powering static analysis checks in your Java code.
- Next Level Static Analysis: JSpecify defines precise semantics, letting analysis tools find more bugs, and more consistently. Library owners won't have to decide which tool to support.
- Community Effort: JSpecify is developed by consensus of members representing a variety of stakeholders in Java static analysis, and we welcome your participation.