Klee:构建在LLVM之上的符号虚拟机