Klee：构建在LLVM之上的符号虚拟机

Klee是构建在LLVM编译器基础设施之上的符号虚拟机，在UIUC开放源码许可下可用。有关Klee是什么以及它能做什么的更多信息，请参阅OSDI2008文章。