사용자 도구

사이트 도구


java:checker

차이

문서의 선택한 두 판 사이의 차이를 보여줍니다.

차이 보기로 링크

다음 판
이전 판
java:checker [2018/03/06 16:16]
kwon37xi 만듦
java:checker [2023/02/19 18:08] (현재)
kwon37xi [Checker Framework]
줄 2: 줄 2:
   * https://checkerframework.org/   * https://checkerframework.org/
   * Java Static Analysis   * 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]]
java/checker.txt · 마지막으로 수정됨: 2023/02/19 18:08 저자 kwon37xi