jspecify

https://jspecify.dev/

https://github.com/jspecify/jspecify

Standard Annotations for Java Static Analysis

정적 분석용 Annotation 들을 표준화하고 실제 분석을 진행하게 하는 프로젝트

SonarQube Checker Framework,