JavaChecker 1.2

JavaChecker - это статический анализатор Java програм, основанный на технологии TermWare. Это средство позволяет выявлять дефекты кода, такие как:
  • небрежная обработка исключений (пустые catch-блоки, генерирование исключений общего вида и.т.п.)
  • сокрытие имен (например, когда имя члена класса совпадает с именем формального параметра метода).
  • нарушения стиля. (вы можете задавать стиль программирования с помощью набора регулярных выражений)
  • нарушения стандартных контрактов использования. (например, когда переопределен метод equals, но не hashCode.)
  • нарушения синхронизации. (например, когда доступ к синхронизированной переменной находится вне synchronized блока)

Набором проверок можно управлять, используя управляющие комментарии. Вызов JavaChecker можно осуществлять из ANT скрипта.

Скачать JavaChecker 1.2 711 кб



Опубликовал admin
22 Сен, Среда 2004г.



Программирование для чайников.