The Checker Framework

Опис

Checker Framework покращує систему типів Java. Це дозволяє розробникам програмного забезпечення виявляти та запобігати таким помилкам, як винятки нульового покажчика, ненавмисні побічні ефекти, ін’єкції SQL, помилки паралельного виконання, помилкові тести на рівність та інші помилки під час виконання, які з’являються під час тестування або в полі в їхніх програмах Java. Checker Framework містить плагіни компілятора («засіб перевірки»), які знаходять помилки або перевіряють їх відсутність. Це також дозволяє вам писати власні плагіни компілятора.