The Checker Framework

Popis

Checker Framework vylepšuje typový systém Java. To umožňuje vývojářům softwaru detekovat a předcházet chybám, jako jsou výjimky nulových ukazatelů, nezamýšlené vedlejší účinky, injekce SQL, chyby souběžnosti, chybné testy rovnosti a další chyby za běhu, které se objevují během testování nebo v terénu v jejich programech Java. Checker Framework obsahuje zásuvné moduly kompilátoru ("kontrolery"), které vyhledávají chyby nebo ověřují jejich nepřítomnost. Umožňuje vám také psát vlastní zásuvné moduly kompilátoru.