The klee Symbolic Virtual Machine

klee is a symbolic virtual machine built on top of the LLVM compiler infrastructure.

Stay tuned for more information on public availability.

For more information, see the OSDI 2008 paper.