Index Checker case study on Google Guava library. Fix bugs and improve its error messages.
- Mentors
- Vlastimil Dort, Martin Kellogg
- Organization
- Checker Framework
The Index Checker warns about potentially out-of-bounds accesses to sequence data structures in the widely used Google Guava library, guarantee annotated packages are free from ArrayIndexOutOfBoundsException error. This case study will also expose the checker's current limitations to improve its capabilities and precision. Another goal of this project is to enhance Index Checker error messages, to make it more intuitive for programmers.