문서의 선택한 두 판 사이의 차이를 보여줍니다.
양쪽 이전 판 이전 판 | |||
java:null_check [2018/01/19 16:55] kwon37xi |
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://checkerframework.org/|The Checker Framework]] - [[https://checkerframework.org/manual/#nullness-checker|Nullness Checker]] | + | * [[java:checker|Checker Framework]] - [[https://checkerframework.org/manual/#nullness-checker|Nullness Checker]] |
* [[java:null_away|NullAway]] | * [[java:null_away|NullAway]] | ||
* [[http://fbinfer.com/docs/eradicate.html|Eradicate]] | * [[http://fbinfer.com/docs/eradicate.html|Eradicate]] |