-2

KLEE 真的会生成代码吗？它是否执行编译器/解释器的任何其他基准测试步骤？（词法分析、句法分析、语义分析、代码优化、中间代码生成、代码生成、符号表链接）

4

1 回答 1

2

它主要依赖于 LLVM 常规优化，但也提供了一些自定义的转换；详情见lib/Module。

对于 libc 运行时，它链接选项指定的附加 IR -libc（none、klee、uclibc）；如果启用-posix-runtime了posix运行argv时（KLEE 执行/解释的最终 IRassembly.ll位于测试用例的 klee-last目录中。在其余部分，KLEE 是assembly.ll.

于 2015-02-19T07:42:28.307 回答