标签： llvm call-graph klee
每个生成的测试相当于一条路径，我感兴趣的是获取有关沿每个路径调用的函数的信息，并从那里获取一个调用图作为所有测试的路径并集。
这应该呈现完整的调用图的子集，并考虑符号变量，假设等。
有人看过吗？ （也许这已经可以实现，而无需更改KLEE源代码。）
最好的问候 Per Lindgren