如何将程序点添加到Daikon不变检测器convertcsv.pl的CSV文件中

Question

我正在使用Daikon从CSV文件中检测不变性。我发现Daikon提供了convertcsv.pl来执行此操作。但是我在将程序点添加到CSV文件时遇到问题。因为对于C / C ++ / Java文件，函数名称被视为指向Daikon的程序。但是，如果我想将一些变量设置为CSV文件中的程序点，该怎么办？似乎当前的convertcsv.pl方法默认情况下只有一个程序点。