The Checker Framework enhances Java's type system with compiler plug-ins that detect and prevent...