我正在学习如何使用 daikon.Chicory 进行一些不变量检测。但是在 java-examples 部分，我在这个命令之后遇到了这个错误
java daikon.Chicory --daikon DataStructures.StackArTester
我在 Windows 7 上使用 cygwin shell。
-ea -Xmx128M -javaagent:C:\cygwin\home\Will\daikonparent\daikon\java\ChicoryPremain.jar=--daikon --dtrace-file=StackArTester.dtrace.gz DataStructures.StackArTester
entered daikon.chicory.Runtime.setDtrace(.\StackArTester.dtrace.gz, false)...
java.lang.VerifyError: StackMapTable error: bad offset in method DataStructures.StackArTester.push(I)V
at java.lang.Class.getDeclaredMethods0(Native Method)
at java.lang.Class.privateGetDeclaredMethods(Class.java:2442)
at java.lang.Class.getMethod0(Class.java:2685)
at java.lang.Class.getMethod(Class.java:1620)
at sun.launcher.LauncherHelper.getMainMethod(LauncherHelper.java:492)
at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:484)
Chicory warning: no records were printed
Exception in thread "main" Warning: Did not run Daikon because target exited with 1 status
最佳答案
如评论中所述，它需要针对特定版本的 Java 或 JVM，第 5 版生成/编译 .class 文件
这就是我为让它工作所做的:
javac -g -source 5 -target 5 DataStructures/*.java
java daikon.Chicory --daikon DataStructures.StackArTester
测试愉快!
关于java - 我正在使用 daikon Chicory 进行不变检测，但遇到 java.lang.VerifyError，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/12610056/