The KLEE Symbolic Virtual Machine