java:null_check

차이

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

차이 보기로 링크

--- java:null_check [2018/01/19 16:55]
kwon37xi
+++ java:null_check [2023/02/19 16:52]
kwon37xi
@@ 줄 1: / 줄 1: @@
 ====== Java Null Check static analysis ======
-  * [[https://checkerframework.org/|The Checker Framework]] - [[https://checkerframework.org/manual/#nullness-checker|Nullness Checker]]
+  * [[java:jspecify|jspecify]]
+  * [[java:checker|Checker Framework]] - [[https://checkerframework.org/manual/#nullness-checker|Nullness Checker]]
   * [[java:null_away|NullAway]]
   * [[http://fbinfer.com/docs/eradicate.html|Eradicate]]
@@ 줄 10: / 줄 11: @@
   * Findbugs 자체는 의도적으로 null check를 느슨하게 하여 false alarm을 줄여놔서 촘촘하게 검사하지 못한다고 한다.
   *  혹은 Uber [[java:null_away|NullAway]]를 사용하는게 나을 듯.
+===== 참조 =====
+  * [[https://www.beyondjava.net/getting-rid-of-the-nullpointerexception-in-2020|Getting Rid of the NullPointerException - 2020 Edition]]

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