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.