问题标签 [klee]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
java - 如何用jdk运行klee？
我是 KLEE 的新手，我想在 java 中运行 klee 工具，你能告诉我是否可以在 java 中运行 KLEE？是的，请给我看一些教程。
llvm - 在 MIPS 错误时编译 KLEE
现在我想在 MIPS 上使用 KLEE。但是当我用makefile编译的时候，有一个error:unknown target triple "mips64el-unkown-linux-gnu", please use -triple or -arch
我不知道KLEE是否支持MIPS，而且KLEE的文档也有这个信息，有没有人在MIPS上使用过KLEE？
compiler-construction - KLEE (LLVM) 是否执行编译器步骤？
KLEE 真的会生成代码吗？它是否执行编译器/解释器的任何其他基准测试步骤？（词法分析、句法分析、语义分析、代码优化、中间代码生成、代码生成、符号表链接）
clang - 如何将内在函数转换为遗留架构？
我想在性能优化的代码上运行klee，它使用各种指令集扩展，如 sse2、sse4.1。不幸的是 llvm-3.4 解释器不支持它们：
我不能只在编译时禁用它，因为它们在源代码中明确使用。我认为，我需要的是一种将此类指令自动反向翻译成 vanilla x86 的方法。Clang 支持这样的功能吗？
llvm - 带有 stp 的 Klee 与带有其他 sat 求解器的 Klee
Klee 使用 STP 作为其约束求解器，但理论上可以更改其求解器。STP 不允许浮点运算。如果我们决定用另一个约束求解器（比如 z3）替换 STP，klee 是否能够生成浮点约束？
流程是：C 代码 -> llvm bitcode -> klee -> stp 子句 -> klee -> 输出
如果 klee 获得浮点 llvm 指令，它是否能够解释它们？它是在 smt 语言中生成 fp 约束，stp 无法处理它们，还是根本不生成 fp 约束？
任何参考您的答案将不胜感激。
python - 如何解决KLEE安装错误？与“subprocess.py”相关
我正在使用来自http://klee.github.io/getting-started/的以下说明安装 KLEE
我来到了第04步：./configure --make-llvm-lib
但是，当我运行命令时，会出现以下错误：
好像缺少一个文件。但是，我不知道可能使用的任何文件，因为我不熟悉 KLEE。
我使用的是 Ubuntu 13.04，并且已经成功执行了前面的步骤。我非常感谢任何建议。谢谢！
klee - KLEE如何计算分店数量
我正在使用 Klee 2.9，并尝试从 stat 文件 klee 生成器获取分支信息。我输入了一个 if-else 语句程序，klee 将 NumBranches 报告为 8。
被测代码如下所示，
和文件输出 run.stats 如下所示，（'Instructions'，'FullBranches'，'PartialBranches'，'NumBranches'，'UserTime'，'NumStates'，'MallocUsage'，'NumQueries'，'NumQueryConstructs'，'NumObjects' ,'WallTime','CoveredInstructions','UncoveredInstructions','QueryTime','SolverTime','CexCacheTime','ForkTime','ResolveTime',)
(0,0,0, 8 ,5.609000e-03,0,528704,0,0,0,4.196167e-05,0,78,0.000000e+00,0.000000e+00,0.000000e+00,0.000000e +00,0.000000e+00)
(32,2,0, 8 ,9.722000e-03,0,654176,3,56,0,3.826760e-01,27,51,3.799300e-01,3.802470e-01,3.801040e-01,6.900000e -05,0.000000e+00)
谁能解释一下 8 是怎么来的？
buffer-overflow - 如何使用符号执行来查找错误，例如 SAGE、KLEE、S2E
就像标题一样，任何人都知道这些工具用于查找错误的方式的区别？KLEE 和 SAGE 可能会发现越界访问和缓冲区溢出，KLEE 可以使用断言，但还有其他方法吗？
llvm - LLVM：如何在 CallGraphSCC-Pass 中使用 LoopInfoPass 和 ScalarEvolutionPass？
我想在从 CallGraphSCC-Pass 派生的 passLoopInfoPass的方法中使用。runOnSCC()更具体地说，我想在方法中判断一个基本块是否在循环中runOnSCC()。所以，代码应该是这样的：
和 getAnalysisUsage：
和初始化：
最后，我使用 PassManager：
执行时pm.run(&module)，我收到错误：
我想问我哪里错了？关于如何使用 CallGraphSCC-Pass 的信息太少了。任何帮助将非常感激！
klee - KLEE 配置错误
我正在尝试按照以下步骤安装 KLEE：
http://klee.github.io/getting-started/
不幸的是，在步骤 06“配置 KLEE：从 KLEE 源目录，运行： ”
我收到以下错误：
有没有人有同样的问题？
谢谢
朱塞佩