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.
JSpecify is developed by consensus of members representing a variety of stakeholders in Java static analysis, and we welcome your participation.