克莱安装错误

时间:2017-11-01 16:25:59

标签: klee

我正在尝试在Ubuntu 16.04 LTS中安装klee(http://klee.github.io/build-llvm34/)。我有clang-3.9。在klee_build_dir中执行以下命令后,我有bin目录,其中包含klee-stats和ktest-tool,但没有klee。请帮忙

...,
"jsnetworkx": "^0.3.4",
"lodash": "^4.17.4",
...

3 个答案:

答案 0 :(得分:2)

欢迎您使用my GitHub repository使用6个简单脚本在 UBUNTU 14.04.5 LTS 上安装 KLEE 。我更喜欢UBUNTU 14.04而不是UBUNTU 16.04的原因是随附的默认GCC版本。 请注意,第6个脚本使用您需要更改的绝对路径(从 / home / oren / GIT / / home / YourUserName / Some / Dirname )。我还包括第7个脚本,它调用KLEE并使用一些简单的input.c文件检查安装。祝你好运!

答案 1 :(得分:0)

如果有人仍在尝试在Ubuntu 14上安装KLEE,您可以在以下链接中使用我的虚拟机:

Github链接:https://github.com/balajibalasubramaniam/dig

这个虚拟机最重要的特性是它预装了SAGE(免费的开源数学软件系统),Z3(微软研究院的定理证明),KLEE(构建在LLVM编译器之上的符号虚拟机)基础设施),Java,JPF(验证可执行Java字节码程序的系统)和Junit。最重要的是,它包括DIG或SymInfer - 一种使用从C和Java程序的符号执行工具中提取的符号状态生成数值不变量的最先进工具(请访问https://bitbucket.org/nguyenthanhvuh/symtraces/wiki/Home了解更多信息)。

答案 2 :(得分:0)

在KLEE安装指南(http://klee.github.io/build-llvm34/)中,他们指出您需要使用llvm-3.4。这意味着您需要安装llvm-3.4然后使用clang-3.4 / clang ++ - 3.4作为编译器。

要安装llvm-3.4,您可以运行:

cmake -DENABLE_SOLVER_STP=ON   -DENABLE_POSIX_RUNTIME=ON\
      -DENABLE_KLEE_UCLIBC=ON   -DKLEE_UCLIBC_PATH=[klee-uclibc-repository] \ 
      -DGTEST_SRC_DIR=/[google-release-repository] \ 
      -DENABLE_SYSTEM_TESTS=ON   -DENABLE_UNIT_TESTS=ON \ 
      -DLLVM_CONFIG_BINARY=/usr/bin/llvm-config-3.4 -DLLVMCC=/usr/bin/clang-3.4 \ 
      -DLLVMCXX=/usr/bin/clang++-3.4 [your-klee-repository]

为了编译klee,我使用了以下命令。

  1. 使用cmake进行配置。您需要知道llvm-3.4二进制文件的位置。

    make
  2. 实际上通过运行$.ajax({ type: "POST", ... etc. success: function (menuData) { ... compose your submenu var menu = $("#menu").kendoMenu().data("kendoMenu"); menu.append(submenuarray, $("#targetMenuItem")); ... }); 来制作Klee。

  3. 运行Klee测试用例以确保安装成功。