3 ms·
No, it looks like a symbolic execution-based software testing framework. Here is a link to the paper that started the project: http://llvm.org/pubs/2008-12-OSDI
by Cyph0n 8y ago
No, it looks like a symbolic execution-based software testing framework. Here is a link to the paper that started the project: http://llvm.org/pubs/2008-12-OSDI-KLEE.html http://llvm.org/pubs/2008-12-OSDI-KLEE.html.