This project consists of:

  1. Annotating ASM with signature string checker of checker framework.

  2. Find and report bugs if any found during the process.

  3. Maintain an annotated fork of ASM.

  4. Do the same with other similar tools in any time left in the summers.

Organization

Student

Sagar Tewari

Mentors

  • Michael Ernst
close

2018