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.