Hi, Could anybody provide the full list of dangerous operations checked by klee? Haven't found it in EXE/Klee papers.
Here are operations known (to me) to be checked by klee - please complete
it:
1. assert(false)
2. invalid memory access ("out of bound pointer")
3. divide by zero
--
Sincerely,
Ayrat
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110216/ff8cf8c8/attachment.html
