gov.nasa.jpf.JPFListenerException

exception during instructionExecuted() notification

Samebug tips0

There are no available Samebug tips for this exception. If you know how to solve this issue, help other users by writing a short tip.

Don't give up yet. Paste your full stack trace to get a solution.

Solutions on the web42

  • 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:814) at gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1904) at gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1848) at gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:734) at gov.nasa.jpf.vm.VM.forward(VM.java:1720) at gov.nasa.jpf.search.Search.forward(Search.java:584) at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:81) at gov.nasa.jpf.JPF.run(JPF.java:611) 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:483) at gov.nasa.jpf.tool.Run.call(Run.java:81) at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:117) Caused by: java.lang.NullPointerException at gov.nasa.jpf.jvm.bytecode.JVMInvokeInstruction.getArgumentValues(JVMInvokeInstruction.java:169) at gov.nasa.jpf.symbc.SymbolicListener.instructionExecuted(SymbolicListener.java:191) at gov.nasa.jpf.vm.VM.notifyInstructionExecuted(VM.java:807) ... 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’re the first here who have seen this exception.