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 manual中所述， - pt-omit-pattern命令行参数的参数是正则表达式。在正则表达式中，“（）”不匹配任何内容。如果要匹配括号，则应在正则表达式中引用它们。

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

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

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

1 个答案: