Contributor
Nhat Dinh

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.