有人使用過daikon獲取不變量嗎？

最近用daikon工具獲取不變量，但是，得到的不變量插裝后的文件格式為.java-dbcannotated，而且里面的不變量都是注釋的形式。有人用過這個工具，能介紹一下，.java-dbcannotated格式的文件怎么用來檢測不變量？能說的詳細一點就更好了，謝謝。