java - 如何在 Daikon 不变检测器中省略程序点？

Question

我正在使用Daikon（可能是程序不变量检测器）为具有不同方法的简单 java 类生成不变量。我想省略这个类中通过以​​下命令实现的几个方法：

java daikon.Chicory '--ppt-omit-pattern=C0.printRangeFail()|C0.printRangePass()|C0.main()|C0.failureDomain()' C0

该工具还提供了在某些点（如 ENTER、EXIT 等）跳过不变量的选项。现在我想跳过方法 EXIT 点。我将以下文本附加到命令中，但没有运气。

checkFirstAndLastValue():::EXIT

你能帮我如何从 Daikons 输出中省略以下方法吗？

C0.checkFirstAndLastValue(int, int):::EXIT

谢谢。

Answer 1

正如Daikon 手册中所解释的， --ppt-omit-pattern 命令行参数的参数是一个正则表达式。在正则表达式中，“()”不匹配任何内容。如果你想匹配括号，你应该在正则表达式中引用它们。

我怀疑这样的事情会更好：

java daikon.Chicory '--ppt-omit-pattern=C0\.printRangeFail\(\)|C0\.printRangePass\(\)|C0\.main\(\)|C0\.failureDomain\(\)|C0\.checkFirstAndLastValue\(\):::EXIT' C0