java:null_check

차이

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

차이 보기로 링크

--- java:null_check [2023/06/20 14:04]
kwon37xi [Null 검사 Annotation과 FindBugs]
+++ java:null_check [2023/06/20 14:06]
kwon37xi [Java Null Check static analysis]
@@ 줄 4: / 줄 4: @@
   * [[java:null_away|NullAway]]
   * [[http://fbinfer.com/docs/eradicate.html|Eradicate]]
+  * Java 에는 null 검사 관련 애노테이션이 매우 다양하다.
 ===== Spring Framework null check annotations =====
@@ 줄 20: / 줄 21: @@
     * ''@javax.annotation.Nonnull'' : 어노테이션을 지정하지 않은 파라미터 리턴값등은 무조건 ''@Nonnull'' 로 자동 지정된다.
   * Findbugs 자체는 의도적으로 null check를 느슨하게 하여 false alarm을 줄여놔서 촘촘하게 검사하지 못한다고 한다.
-  *  혹은 Uber [[java:null_away|NullAway]]를 사용하는게 나을 듯.
+  *  혹은 Uber [[java:null_away|NullAway]], [[java:checker|Checker Framework]]를 사용하는게 나을 듯.
 ===== 참조 =====

java/null_check.txt · 마지막으로 수정됨: 2023/06/20 14:06 저자 kwon37xi