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