Checker Framework

https://checkerframework.org/

Java Static Analysis

Java Null Check static analysis

가장 강력한 null check framework 인듯 보이며, 본 프레임워크 외의 다른 프레임워크의 애노테이션도 인식해서 체크해준다.

null 외에다 아주 다양한 경우들을 체크해준다.

nullpointerexception - Which @NotNull Java annotation should I use? - Stack Overflow

The Checker Framework Manual: Custom pluggable types for Java - checker 외의 다른 annotation 목록.

The Checker Framework In Action By Werner Dietl and Michael Ernst - YouTube

Preventing Errors Before They Happen: The Checker Framework - YouTube