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