klee

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