Warning: file_get_contents(/data/phpspider/zhask/data//catemap/1/cocoa/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Llvm 使用KLEE从测试用例导出调用图_Llvm_Call Graph_Klee - Fatal编程技术网
Fatal编程技术网
  • llvm/
  • Llvm 使用KLEE从测试用例导出调用图

Llvm 使用KLEE从测试用例导出调用图

llvm

Llvm 使用KLEE从测试用例导出调用图,llvm,call-graph,klee,Llvm,Call Graph,Klee,每个生成的测试都相当于一条路径，我感兴趣的是获取沿每个路径调用的函数的信息，并从中获得一个调用图，作为所有测试路径的并集 这应该呈现完整调用图的子集，考虑符号变量、假设等 有人调查过吗？（在不改变KLEE源代码的情况下，这可能已经成为可能。） 致意 佩林格伦

每个生成的测试都相当于一条路径，我感兴趣的是获取沿每个路径调用的函数的信息，并从中获得一个调用图，作为所有测试路径的并集

这应该呈现完整调用图的子集，考虑符号变量、假设等

有人调查过吗？（在不改变KLEE源代码的情况下，这可能已经成为可能。）

致意 佩林格伦