Hello! I'm studing in Russian university MEPhI at Information Security department now. I want to use KLEE for some research work. Especially I'm interested how to check stack overflow vulnerability automatically. Are there some special features in KLEE, that could help me? And the Main Question: why the symbolic virtual machine is called KLEE? who come up with this name? I really cannot find anything about it. Thank you for your time, Regards, Maria.
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
