KLEE Symbolic Virtual Machine