문서의 선택한 두 판 사이의 차이를 보여줍니다.
| 양쪽 이전 판 이전 판 다음 판 | 이전 판 | ||
|
java:checker [2023/02/19 17:52] kwon37xi |
java:checker [2023/02/19 18:08] (현재) kwon37xi [Checker Framework] |
||
|---|---|---|---|
| 줄 3: | 줄 3: | ||
| * Java Static Analysis | * Java Static Analysis | ||
| * [[java: | * [[java: | ||
| - | * 가장 강력한 null check framework 인듯. | + | * 가장 강력한 null check framework 인듯 |
| + | * null 외에다 아주 다양한 경우들을 체크해준다. | ||
| ===== 어느 애노테이션?? | ===== 어느 애노테이션?? | ||
| * [[https:// | * [[https:// | ||