Hi All, I am trying to create a KLEE-based lab assignment for my computer security class. The idea is for students to get some facility in using/possibly adding to KLEE. Any suggestions for interesting assignments? -- Vijay Ganesh. http://ece.uwaterloo.ca/~vganesh