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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
