The Checker Framework