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 now, there is some information available on the Stanford Checking Group wiki.

For more information, see the OSDI 2008 paper.