JSpecify

完全指定的注解的一个产物，用于支持静态分析检查，从空值分析开始。

标准注解：JSpecify 发布了首个独立于工具的注解库，可用于驱动 Java 代码中的静态分析检查。
更高级的静态分析：JSpecify 定义了精确语义，使分析工具能够更准确地发现更多缺陷，且结果更一致。库的维护者无需再选择支持哪个工具。
社区协作：JSpecify 由代表 Java 静态分析领域各类利益相关方的成员共同制定，我们欢迎您的参与。