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