Описание тега checker-framework

Checker Framework - это библиотека, которая улучшает систему типов Java, делая ее более мощной и полезной. Это позволяет разработчикам программного обеспечения обнаруживать и предотвращать ошибки в своих программах Java. Checker Framework включает в себя плагины компилятора ("средства проверки"), которые находят ошибки или проверяют их отсутствие. Это также позволяет вам писать собственные плагины для компилятора.

Домашняя страница: http://checkerframework.org/