Homework: OS Bugs
Read: KLEE by Cadar et al.
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.
This completes all homeworks!
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. :)