回答情况：
提问时间：
问题标签：
在使用klee --libc=uclibc --posix-runtime --external-calls=all program.bc运行KLEE时，它会给出以下错误：
KLEE: ERROR: Loadingfile /usr/
浏览 17修改于2022-08-02得票数 -1
我是KLEE的新手，我想用java运行klee工具，您能告诉我是否可以在java中运行KLEE吗？是的，请给我看一些教程。
浏览 3提问于2015-01-02得票数 1
回答已采纳
1回答
我对Klee很陌生，所以我开始做教程。如果用于编译，则使用：
你知道我能做什么吗？另外，如果给出用Clang编译的Klee输入(我已经
浏览 0提问于2013-01-22得票数 2
回答已采纳
Klee使用STP作为约束求解器，但理论上可以改变其求解器。STP不允许浮点操作。如果我们决定用另一个约束求解器代替STP，比如z3，klee是否能够生成浮点约束？流程是:C代码-> llvm bitcode -> klee -> stp子句-> klee ->输出
如果klee得到浮点指令，它能解释它们吗？
浏览 0修改于2015-05-11得票数 1
回答已采纳
3回答
我试图在Ubuntu16.04LTS中安装klee ()。我吃的是嘎吱声-3.9。在klee_build_dir中执行下面的命令后，我有带有ktest和ktest-tool的bin目录，但没有klee。请帮帮忙
cmake -DENABLE_SOLVER_Z3=ON -DENABLE_SOLVER_STP=OFF -DENABLE_POSIX_RUNTIME=ON -DENABLE_KLEE_UCLIBC=ON -DENABLE_UNIT_TESTS=OFF -DENABLE_SYSTEM_TESTS=OFF -DKLEE
浏览 4提问于2017-11-01得票数 0
回答已采纳
现在我想在MIPS上使用KLEE。makefile编译它的时候，有一个error:unknown target triple "mips64el-unkown-linux-gnu", please use -triple or -arch
我不知道KLEE是否支持MIPS，KLEE的文档也有这些信息，有人在MIPS上使用KLEE吗？
浏览 4提问于2015-01-25得票数 0
1回答
然而，KLEE仍然对libpcap的未定义函数发出警告。KLEE: WARNING ONCE: function "capture_loop_dispatch" has inline asmKLEE: WARNING: undefined reference to function: __ctype_b_loc
KLEE: WARNING: unde
浏览 7提问于2014-05-11得票数 1
我安装了klee，正确地遵循了指示。(&a, sizeof(a), "a");} KLEE: output directory = "klee-out-0"
KLEE: output directory = "klee-out-16"
KLEE: WARNING: undefi
浏览 3修改于2013-03-04得票数 3
1回答
据我所知，我不能在C++14的程序上使用klee，因为llvm-3.4不支持它。
然而，我想知道是否有任何方法，技巧，实验版本等，可以让我在c++14程序上使用klee。
浏览 1提问于2016-08-15得票数 1
我能够成功地编译Swift文件(使用klee_make_symbolic)，但是当我尝试实际运行KLEE时会遇到问题。/klee/klee.h main.swift -emit-bc -target x86_64-pc-linux-gnu
KLEE: output directory is "/home/klee/<em
浏览 30提问于2020-12-11得票数 0
我最近和KLEE在一起玩。我遵循了文档"“并成功地运行了本教程中的所有示例。但是，当使用KLEE运行我自己的程序时：KLEE: NOTE: Using klee-uclibc : /home/testuser/Downloads/
浏览 8修改于2015-11-14得票数 1
回答已采纳
我有一个问题，在使用符号参数的循环情况下，KLEE (符号执行工具)是如何工作的： int i, result=0; result+= 1; int result=loop(n) ;如果我们用这段代码执
浏览 3修改于2012-10-25得票数 2
我是一个尝试使用KLEE的初学者。我正在使用KLEE自包含包在一个使用pthread的C++程序上运行。我已经生成了一个.o文件，并使用了带有以下选项的KLEE但我看到我得到了警告/home/pgbovine/klee/Release+Asserts/lib/libkleeRuntimePOS
浏览 2修改于2014-04-02得票数 3
为此，我用KLEE编写了以下符号测试：#include "buggy_api.h"
for (int i =0; i < 2; ++i) { // sequentially call 2 APIs
int f_select = klee_choose(2); // what API to callif (f_select
浏览 11提问于2022-04-01得票数 1
回答已采纳
我刚接触KLEE，并尝试安装和测试它。我一步一步地使用了手册，似乎没有例外的错误，但是这个问题是如何发生的呢？下面是我输入的命令：有没有人遇到过像我这样的情况？
浏览 5提问于2016-05-16得票数 0
我正在尝试为一个项目设置Klee，但在根据测试coreutils时遇到了困难'main' function not found in module.
*** glibcdetected *** /home/klee/Development//klee-build/Debug+Asserts/bin/klee: double free or corruptionpr
浏览 6修改于2012-06-03得票数 1
回答已采纳
我正在使用Klee2.9，并试图从stat文件Klee获取分支信息。我输入了一个if- fed语句程序，klee将NumBranches报告为8。正在测试的代码如下所示，#include <stdbool.h>
int a; klee_make_symbolic(&a,sizeof(a),"a");
klee_make_symbolic(&am
浏览 0提问于2015-06-24得票数 0
回答已采纳
我现在正在学习KLEE，我写了一个简单的代码：#include <stdio.h>KLEE: output directory is "/Users/yjy/WorkSpace/Test/klee-out-13"
Using STP solver
浏览 5修改于2017-11-30得票数 0
/lib/libkleeCore.a(Executor.cpp.o): In function `klee::Executor::setModule(llvm::Module*, klee::Interpreter::ModuleOptions const&, bool)':
~/s2e_projects/source/s2e/klee/include/klee/Internal/Module/K
浏览 4提问于2022-01-19得票数 1
回答已采纳
首先，我修改了klee提供的示例get_sign.c，将unistd.h包含在程序中，并调用函数sleep()使线程暂停，如下所示 * First KLEE tutorial: testing(&a, sizeof(a), "a"); return get_sign(a);我使用"llvm-gcc“编译get_sign.c，然后使用klee get_sign.o所以我在执行get_sign.o时添加了一个参数，像这样的klee -
浏览 16修改于2014-03-07得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号