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