JPF exception, terminating: exception in native method java.io.InputStreamReader.decode

[LesleyDeng]

I'm trying JPF on GitHub opensource project ansj_seg, after resolving some problems, I meet this one and have no idea how to fix it :

[SEVERE] JPF exception, terminating: exception in native method java.io.InputStreamReader.decode

java.nio.BufferOverflowException

at java.nio.Buffer.nextPutIndex(Unknown Source)

at java.nio.HeapByteBuffer.put(Unknown Source)

at gov.nasa.jpf.vm.JPF_java_io_InputStreamReader.decode___3BI_3CIZ__I(JPF_java_io_InputStreamReader.java:60)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

at java.lang.reflect.Method.invoke(Unknown Source)

at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:120)

at gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:73)

at gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1941)

at gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1858)

at gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:761)

at gov.nasa.jpf.vm.VM.forward(VM.java:1722)

at gov.nasa.jpf.search.Search.forward(Search.java:579)

at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:79)

at gov.nasa.jpf.JPF.run(JPF.java:613)

at gov.nasa.jpf.JPF.start(JPF.java:189)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

at java.lang.reflect.Method.invoke(Unknown Source)

at gov.nasa.jpf.tool.Run.call(Run.java:80)

at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:116)

---------------------- JPF error stack trace ---------------------

gov.nasa.jpf.JPFNativePeerException: exception in native method java.io.InputStreamReader.decode

at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:180)

at gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:73)

at gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1941)

at gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1858)

at gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:761)

at gov.nasa.jpf.vm.VM.forward(VM.java:1722)

at gov.nasa.jpf.search.Search.forward(Search.java:579)

at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:79)

at gov.nasa.jpf.JPF.run(JPF.java:613)

at gov.nasa.jpf.JPF.start(JPF.java:189)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

at java.lang.reflect.Method.invoke(Unknown Source)

at gov.nasa.jpf.tool.Run.call(Run.java:80)

at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:116)

Caused by: java.nio.BufferOverflowException

at java.nio.Buffer.nextPutIndex(Unknown Source)

at java.nio.HeapByteBuffer.put(Unknown Source)

at gov.nasa.jpf.vm.JPF_java_io_InputStreamReader.decode___3BI_3CIZ__I(JPF_java_io_InputStreamReader.java:60)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

at java.lang.reflect.Method.invoke(Unknown Source)

at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:120)

... 15 more

need help. Can anyone give any advices?

[Teodoro Filippini]

I also get that SPF crashes with InputStreamReader, in my case already at the constructor call it dies, displaying:

[SEVERE] JPF exception, terminating: exception during instructionExecuted() notification
java.lang.NullPointerException
 at gov.nasa.jpf.jvm.bytecode.JVMInvokeInstruction.getArgumentValues(JVMInvokeInstruction.java:168)
 at gov.nasa.jpf.symbc.SymbolicListener.instructionExecuted(SymbolicListener.java:185)
 at gov.nasa.jpf.vm.VM.notifyInstructionExecuted(VM.java:808)

Possible JPF (in my case, SPF) bug?

[Kasper Søe Luckow]

Do you need to use the SymbolicListener for your analysis? You can just remove it from the listener property in your jpf config in case you don't need a summary of test inputs (which is/was its only purpose).

Kasper

--

---
You received this message because you are subscribed to the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this group and stop receiving emails from it, send an email to java-pathfind...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.