====== Checker Framework ====== * https://checkerframework.org/ * Java Static Analysis * [[java:null_check|Java Null Check static analysis]] * 가장 강력한 null check framework 인듯 보이며, 본 프레임워크 외의 다른 프레임워크의 애노테이션도 인식해서 체크해준다. * null 외에다 아주 다양한 경우들을 체크해준다. ===== 어느 애노테이션?? ===== * [[https://stackoverflow.com/questions/4963300/which-notnull-java-annotation-should-i-use|nullpointerexception - Which @NotNull Java annotation should I use? - Stack Overflow]] * [[https://checkerframework.org/manual/#nullness-related-work|The Checker Framework Manual: Custom pluggable types for Java]] - checker 외의 다른 annotation 목록. ===== 참조 ===== * [[https://www.youtube.com/watch?v=-1jjJf5C-Fc&ab_channel=Devoxx|The Checker Framework In Action By Werner Dietl and Michael Ernst - YouTube]] * [[https://www.youtube.com/watch?v=6E1CSydgzQc&ab_channel=OracleDevelopers|Preventing Errors Before They Happen: The Checker Framework - YouTube]]