java:checker

차이

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

차이 보기로 링크

--- java:checker [2023/02/19 17:09]
kwon37xi
+++ java:checker [2023/02/19 18:08] (현재)
kwon37xi [Checker Framework]
@@ 줄 3: / 줄 3: @@
   * 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 목록.

java/checker.1676794185.txt.gz · 마지막으로 수정됨: 2023/02/19 17:09 저자 kwon37xi