lly-ss

Hello, I noticed that Ekstazi does not instrument methods like constructors when handling programs with "ForkMode". Why doesn't the Ekstazi tool instrument methods to collect dependencies when testing programs with...

您好,在使用您的工具时有报错

3

在执行run.sh后报错如下: 

您好，请问method_call中为什么没有<clinit>()？

5

如果一个函数调用了另一个类的静态field，method_call.txt中没有显示这种调用关系吗？

您好，可以排除不需要处理的包名吗？

1

在packages.properties中可以指定需要处理的包名，但我想排除一部分不需要处理的包名，有这个功能吗？

您好，请问生成的函数表达式的参数原始是类型描述符的模式吗？

3

例如我想将函数abc.A:a(abc.B)表示成abc.A:a(Labc/B;)，A:a(int) 表示成A:aa(I)

关于工具输入的问题

3

您好，请问这个工具只能处理jar包吗？能直接以字节码文件所在的文件夹作为输入吗？

如何直接调用工具API？

1

作者您好，我现在想直接生成某个maven项目的所有测试用例的静态调用图，不想通过命令行运行的方式获取txt文件，如何通过代码调用您这个工具的某个API，直接获取存储method call的数据结构呢？然后我可以直接从这个数据结构获取我想要的method call信息。