Homework: OS Bugs

Read: KLEE by Cadar et al.

Hand-In Procedure

You are to turn in this homework during lecture. Please write up your answers to the exercises below and hand them in to a 6.828 staff member at the beginning of lecture.

OS Bugs

How could you adapt KLEE to check for bugs in JOS (e.g., what sorts of symbolic inputs could you use and what could you test)? Could you use KLEE to find some of the bugs you've encountered during the term? Feel free to recount mind-numbing debugging marathons here. :)

This completes all homeworks!