The Checker Framework

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