KLEE: Unassisted and Automatic Generation of High-Coverage, is a symbolic virtual machine built on top of the LLVM compiler infrastructure
http://klee.llvm.org/ is a program analysis tool that works by symbolic execution and constraint solving, finding possible inputs …
code-analysis llvm verification klee