与符号执行的亲密接触（第 2 部分）

摘要

系列第二篇：在 Ubuntu 14.04 上以 LLVM 3.2 构建 KLEE，并用 mcsema 将迷宫预言机二进制转成 bitcode，配合标记符号化输入的驱动求解全部迷宫路径，含完整构建与运行步骤。