每个生成的测试都相当于一条路径，我有兴趣获取有关沿每条路径调用的函数的信息，并从那里获得一个调用图作为所有测试的路径的联合。
考虑到符号变量、假设等，这应该呈现完整调用图的子集。
有没有人调查过这个？（也许这已经成为可能，无需更改 KLEE 源代码。）
最好的问候每林格伦
每个生成的测试都相当于一条路径，我有兴趣获取有关沿每条路径调用的函数的信息，并从那里获得一个调用图作为所有测试的路径的联合。
考虑到符号变量、假设等，这应该呈现完整调用图的子集。
有没有人调查过这个？（也许这已经成为可能，无需更改 KLEE 源代码。）
最好的问候每林格伦