一种用于进行静态分析检查的完全指定注释,从空指针分析开始。
一个用于支持静态分析检查的明确说明的工具 JVM 语言互操作。由列出的合作伙伴组织通过共识开发 在我们的主网站 jspecify.org 我们目前的重点是针对空指针分析的注释。
我们已经发布了 版本 1.0.0, 完成我们的初始空性注解。
请参阅 jspecify.org/docs/start-here。
暂无开放 Issues，或尚未同步最近议题。
暂无评论，来聊聊你的看法吧