문서의 선택한 두 판 사이의 차이를 보여줍니다.
양쪽 이전 판 이전 판 다음 판 | 이전 판 다음 판 양쪽 다음 판 | ||
java:null_check [2018/01/19 16:50] kwon37xi |
java:null_check [2023/02/19 17:02] kwon37xi |
||
---|---|---|---|
줄 1: | 줄 1: | ||
====== Java Null Check static analysis ====== | ====== Java Null Check static analysis ====== | ||
- | * [[https:// | + | * [[java:jspecify|jspecify]] |
+ | * [[java: | ||
* [[java: | * [[java: | ||
* [[http:// | * [[http:// | ||
+ | |||
===== Null 검사 Annotation과 FindBugs ===== | ===== Null 검사 Annotation과 FindBugs ===== | ||
* Null관련해서 소스에 지정하는 것은 [[java: | * Null관련해서 소스에 지정하는 것은 [[java: | ||
줄 8: | 줄 10: | ||
* '' | * '' | ||
* Findbugs 자체는 의도적으로 null check를 느슨하게 하여 false alarm을 줄여놔서 촘촘하게 검사하지 못한다고 한다. | * Findbugs 자체는 의도적으로 null check를 느슨하게 하여 false alarm을 줄여놔서 촘촘하게 검사하지 못한다고 한다. | ||
- | * Checker Framework | + | * 혹은 Uber [[java: |
+ | |||
+ | ===== 참조 ===== | ||
+ | * [[https:// | ||
+ | * [[https:// |