[klee-dev] Is KLEE a concolic tester

[Lu Huizhi]

Hello,

I'm interested in the algorithm of KLEE, so I'm studying the source code. My
teacher told me that KLEE is a concolic tester including concrete execution
and symbolic execution. However, I can't even convince myself of that after
reading the source code. In my opinion,  KLEE may be just a symbolic
executor. So, I have to ask you about the confusing question.

Lots of thanks!

-- 
Regards,
Lu Huizhi
lhzforever at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110818/7232650b/attachment.html