【文件属性】：
文件名称：klee:KLEE符号执行引擎
文件大小：1.34MB
文件格式：ZIP
更新时间：2021-04-28 07:50:30
symbolic-execution klee C++
KLEE符号虚拟机
KLEE是建立在LLVM编译器基础结构之上的符号虚拟机。 当前，有两个主要组件：
核心符号虚拟机引擎； 这负责执行支持符号值的LLVM位代码模块。 这由lib /中的代码组成。
面向支持uClibc的POSIX / Linux仿真层，另外还提供了使部分操作系统环境具有符号性的支持。
另外，有一个简单的库可用于重放本机代码上的计算输入（适用于封闭程序）。 还有一个更复杂的基础结构，用于重放为POSIX / Linux仿真层生成的输入，该层处理与计算的测试输入匹配的环境中正在运行的本机程序，包括设置文件，管道，环境变量和传递命令行参数。
有关更多信息，请参见。