The Checker Framework

Kontroler wzmacnia układ ramowy typu Javy. To pozwala programistom wykryć i zapobiec błędom, takich jak wskaźnik zerową wyjątkami, niezamierzonych skutków ubocznych, SQL injection, błędy współbieżności, testy równości błędnych i innych błędów czasu, które pojawiają się w trakcie badań lub w zakresie, w swoich programach w języku Java. Kontroler zawiera kompilatora ramowa wtyczek ("warcaby"), które znaleźliśmy błędy lub zweryfikować swoją nieobecność. Umożliwia także pisać własne kompilatora wtyczek.