Annotate Apache Commons Lang with Index Checker.
- Mentors
- Michael Ernst, Vlastimil Dort, Martin Kellogg
- Organization
- Checker Framework
The aim of this project is to carry out a rigorous and deep case study of Index Checker by annotating Apache Commons Lang with the same. The plan of action is to annotate, find and report bugs(if any) and provide enhancement suggestions, including improvement in the error messages. If there is time left, I'd repeat the above procedure with the same tool on a different package.