The Checker Framework 1.6.4
검사기 프레임 워크는 자바의 타입 시스템을 향상시킵니다. 이 소프트웨어 개발자를 감지하고 시험 중 또는 Java 프로그램의 필드에 표시 널 포인터 예외, 의도하지 않은 부작용, SQL 인젝션, 동시성 오류, 잘못된 평등 테스트 및 기타 런타임 오류와 같은 오류를 방지 할 수 있습니다. 검사 프레임 워크는 컴파일러 플러그인 버그를 찾거나 자신의 부재를 확인 ( "체커")가 포함되어 있습니다. 그것은 또한 자신의 컴파일러 플러그인을 작성하는 방법을 수...