JSpecify icon
JSpecify icon

JSpecify

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

JSpecify screenshot 1

Cost / License

Platforms

  • Java
  • Self-Hosted
Alternatives
0likes
0alternatives
0articles

Features

  1.  Static analysis

 Tags

JSpecify News & Activities

Highlights All activities

Recent activities

JSpecify information

AlternativeTo Category

Development

GitHub repository

  •  1,140 Stars
  •  43 Forks
  •  167 Open Issues
  •   Updated  
View on GitHub
JSpecify was added to AlternativeTo by Paul on and this page was last updated .
No comments or reviews, maybe you want to be first?

Official Links

AppStores & Other Links

What 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.