[Javapathfinder-user] Testing the deadlock

[harry h. <har...@ho...>]

Hi,

I am the new to the Java pathfinder. I successfully installed it on the 
Linux. The java version is 1.5 in the machine. I run the deadlock example in 
the /examples directory following the instruction of readme in that folder. 
The  "java deadlock.Deadlock" passed and give me the output like in below :

=============
B.foo() was called
B cycle start
A cycle end
A.foo() was called
A cycle start
B cycle end
B.foo() was called
=============
However, when I executed "jpf deadlock.Deadlock", there are exceptions 
thrown :

========
java.lang.RuntimeException: Unknown or invalid constant type at 99
        at org.apache.bcel.generic.LDC.getType(LDC.java:148)
        at gov.nasa.jpf.jvm.bytecode.LDC_W.setPeer(LDC_W.java:51)
        at gov.nasa.jpf.jvm.bytecode.Instruction.init(Instruction.java:221)
        at 
gov.nasa.jpf.jvm.bytecode.Instruction.create(Instruction.java:153)
        at gov.nasa.jpf.jvm.MethodInfo.loadCode(MethodInfo.java:628)
        at gov.nasa.jpf.jvm.MethodInfo.<init>(MethodInfo.java:183)
        at gov.nasa.jpf.jvm.MethodInfo.newInstance(MethodInfo.java:257)
        at gov.nasa.jpf.jvm.ClassInfo.loadMethods(ClassInfo.java:1170)
        at gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:252)
        at gov.nasa.jpf.jvm.ClassInfo.getClassInfo(ClassInfo.java:350)
        at gov.nasa.jpf.jvm.bytecode.NEW.execute(NEW.java:43)
        at 
gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:1505)
        at gov.nasa.jpf.jvm.ThreadInfo.executePorStep(ThreadInfo.java:2081)
        at gov.nasa.jpf.jvm.ThreadInfo.executeStep(ThreadInfo.java:1565)
        at gov.nasa.jpf.jvm.SystemState.nextSuccessor(SystemState.java:285)
        at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1111)
        at 
gov.nasa.jpf.search.AbstractSearch.forward(AbstractSearch.java:340)
        at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:92)
        at gov.nasa.jpf.JPF.run(JPF.java:308)
        at gov.nasa.jpf.JPF.main(JPF.java:238)
JPF exception, terminating: class java.lang.StringIndexOutOfBoundsException: 
String index out of range: -3

java.lang.StringIndexOutOfBoundsException: String index out of range: -3
        at java.lang.String.substring(String.java:1768)
        at java.lang.String.substring(String.java:1735)
        at 
gov.nasa.jpf.jvm.bytecode.Instruction.create(Instruction.java:163)
        at gov.nasa.jpf.jvm.MethodInfo.loadCode(MethodInfo.java:628)
        at gov.nasa.jpf.jvm.MethodInfo.<init>(MethodInfo.java:183)
        at gov.nasa.jpf.jvm.MethodInfo.newInstance(MethodInfo.java:257)
        at gov.nasa.jpf.jvm.ClassInfo.loadMethods(ClassInfo.java:1170)
        at gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:252)
        at gov.nasa.jpf.jvm.ClassInfo.getClassInfo(ClassInfo.java:350)
        at gov.nasa.jpf.jvm.bytecode.NEW.execute(NEW.java:43)
        at 
gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:1505)
        at gov.nasa.jpf.jvm.ThreadInfo.executePorStep(ThreadInfo.java:2081)
        at gov.nasa.jpf.jvm.ThreadInfo.executeStep(ThreadInfo.java:1565)
        at gov.nasa.jpf.jvm.SystemState.nextSuccessor(SystemState.java:285)
        at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1111)
        at 
gov.nasa.jpf.search.AbstractSearch.forward(AbstractSearch.java:340)
        at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:92)
        at gov.nasa.jpf.JPF.run(JPF.java:308)
        at gov.nasa.jpf.JPF.main(JPF.java:238)
java.lang.StringIndexOutOfBoundsException: String index out of range: -3
        at java.lang.String.substring(String.java:1768)
        at java.lang.String.substring(String.java:1735)
        at 
gov.nasa.jpf.jvm.bytecode.Instruction.create(Instruction.java:163)
        at gov.nasa.jpf.jvm.MethodInfo.loadCode(MethodInfo.java:628)
        at gov.nasa.jpf.jvm.MethodInfo.<init>(MethodInfo.java:183)
        at gov.nasa.jpf.jvm.MethodInfo.newInstance(MethodInfo.java:257)
        at gov.nasa.jpf.jvm.ClassInfo.loadMethods(ClassInfo.java:1170)
        at gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:252)
        at gov.nasa.jpf.jvm.ClassInfo.getClassInfo(ClassInfo.java:350)
        at gov.nasa.jpf.jvm.bytecode.NEW.execute(NEW.java:43)
        at 
gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:1505)
        at gov.nasa.jpf.jvm.ThreadInfo.executePorStep(ThreadInfo.java:2081)
        at gov.nasa.jpf.jvm.ThreadInfo.executeStep(ThreadInfo.java:1565)
        at gov.nasa.jpf.jvm.SystemState.nextSuccessor(SystemState.java:285)
        at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1111)
        at 
gov.nasa.jpf.search.AbstractSearch.forward(AbstractSearch.java:340)
        at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:92)
        at gov.nasa.jpf.JPF.run(JPF.java:308)
        at gov.nasa.jpf.JPF.main(JPF.java:238)
gov.nasa.jpf.JPFException: class java.lang.StringIndexOutOfBoundsException: 
String index out of range: -3
        at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1154)
        at 
gov.nasa.jpf.search.AbstractSearch.forward(AbstractSearch.java:340)
        at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:92)
        at gov.nasa.jpf.JPF.run(JPF.java:308)
        at gov.nasa.jpf.JPF.main(JPF.java:238)
============

Can someone give me some advices and how to fix it ?

Thanks.
Harry