【文件属性】：
文件名称：klee-uclibc:KLEE的uClibc版本
文件大小：4.83MB
文件格式：ZIP
更新时间：2021-05-03 04:36:13
C
KLEE-uClibc
这是uClibc for KLEE的修改版。 请参阅自述文件以获取有关uClibc的信息。
要为KLEE构建uClibc，请执行以下操作：
确保llvm-config在您的PATH中（或使用--with-llvm-config ）。 llvm-config使用的LLVM版本应与您打算在步骤2中使用的C LLVM位码编译器使用的LLVM版本相匹配。
确保您具有以下C LLVM编译器之一
在LLVM工具目录（ llvm-config --bindir ）中内置的clang
clang在你的PATH
将按照上面的顺序查找要使用的C编译器，并使用第一个可以使用的编译器。
请注意，您也可以通过使用CC环境变量或将--with-cc与configure脚本一起使用来强制使用特定的C编译器。
运行配置脚本。
$ ./configure --make-llvm-l