Annotate ASM library with signature checker
- Mentors
- Michael Ernst
- Organization
- Checker Framework
This project consists of:
Annotating ASM with signature string checker of checker framework.
Find and report bugs if any found during the process.
Maintain an annotated fork of ASM.
Do the same with other similar tools in any time left in the summers.