Index Checker Case Study
- Mentors
- Vlastimil Dort, Martin Kellogg
- Organization
- Checker Framework
Index Checker warns the user about code that can throw an IndexOutOfBoundsException. In this case study, four open source libraries will be annotated using Index Checker. Some improvements to Checker Framework JDK annotations are expected. The goal is to find possible inconsistencies or bugs in the annotated libraries or in the checker itself.