Students will complete two small introductory projects that acclimate students
to working with program analysis tools. These introductory projects shall be
done individually. Using those experiences, students will also complete a term
project of their choosing, which may be done in pairs. Details on these projects
shall be posted as the course progresses.
- Intro project 1 - Due Jan 27 at 11:59 pm
- Intro project 2 - Due Feb 27 at 11:59 pm
- Final projects
- 1 page proposals due March 3 at 11:59 pm
- Brief presentations in class at the end of the semester
- Papers due April 21 at 11:59 pm
- LLVM - Tools & IR for analysis & compilation
- Valgrind - Dynamic binary analysis framework
- Pin - Dynamic
binary analysis framework
- WALA - Java & Javascript analysis
- Soot - Java & Dalvik analysis
- CIL - C analysis
- Frama-C - C analysis
- K - General formal analysis