gov.nasa.jpf.JPFListenerException

exception during instructionExecuted() notification

Solutions on the web34

  • via Google Groups by Dinh Ngoc Thi, 9 months ago
    exception during instructionExecuted() notification
  • via Google Groups by Kasper Søe Luckow, 1 year ago
    exception during instructionExecuted() notification
  • via Google Groups by Attila Sragli, 1 month ago
    exception during instructionExecuted() notification
  • Stack trace

    • gov.nasa.jpf.JPFListenerException: exception during instructionExecuted() notification at gov.nasa.jpf.vm.VM.notifyInstructionExecuted(VM.java:815) at gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1922) at gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1859) at gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:765) 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(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:497) at gov.nasa.jpf.tool.Run.call(Run.java:80) at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:116) Caused by: java.lang.AssertionError: can't find caller stackframe for: invokevirtual java.lang.String.length()I at gov.nasa.jpf.jvm.bytecode.JVMInvokeInstruction.getArgumentValues(JVMInvokeInstruction.java:167) at gov.nasa.jpf.symbc.SymbolicListener.instructionExecuted(SymbolicListener.java:189) at gov.nasa.jpf.vm.VM.notifyInstructionExecuted(VM.java:808) ... 14 more

    Write tip

    You have a different solution? A short tip here would help you and many other users who saw this issue last week.

    Users with the same issue

    You are the first who have seen this exception. Write a tip to help other users and build your expert profile.