文件名称：klee-uclibc:KLEE的uClibc版本
文件大小：4.83MB
文件格式：ZIP
更新时间：2024-05-22 22:22:53
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