KLEE 符号执行引擎 (github.com)

KLEE 是一个基于 LLVM 编译器基础设施构建的符号虚拟机，它包含两个主要组件：核心符号虚拟机引擎，负责执行包含符号值的 LLVM 位码模块；以及面向 uClibc 的 POSIX/Linux 仿真层，支持符号化部分操作系统环境。KLEE 还提供了一个简单的库，用于在本地代码上重放计算的输入，以及一个更复杂的基础设施，用于重放为 POSIX/Linux 仿真层生成的输入。