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 [email protected]
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
