gov.nasa.jpf.JPFNativePeerException: exception in native method java.lang.reflect.Method.getGenericParameterTypes

Google Groups | Jiří Vahala | 2 years ago
tip
Your exception is missing from the Samebug knowledge base.
Here are the best solutions we found on the Internet.
Click on the to mark the helpful solution and get rewards for you help.
  1. 0

    jpf-nhandler JPF2JVMGenericConverter bug

    Google Groups | 2 years ago | Jiří Vahala
    gov.nasa.jpf.JPFNativePeerException: exception in native method java.lang.reflect.Method.getGenericParameterTypes

    Root Cause Analysis

    1. java.lang.NullPointerException

      No message provided

      at nhandler.conversion.jpf2jvm.JPF2JVMGenericConverter.setInstanceFields()
    2. nhandler.conversion.jpf2jvm
      JPF2JVMConverter.obtainJVMObj
      1. nhandler.conversion.jpf2jvm.JPF2JVMGenericConverter.setInstanceFields(JPF2JVMGenericConverter.java:140)
      2. nhandler.conversion.jpf2jvm.JPF2JVMConverter.getJVMNonArrObj(JPF2JVMConverter.java:152)
      3. nhandler.conversion.jpf2jvm.JPF2JVMConverter.getJVMObj(JPF2JVMConverter.java:98)
      4. nhandler.conversion.jpf2jvm.JPF2JVMConverter.obtainJVMObj(JPF2JVMConverter.java:40)
      4 frames
    3. Unknown
      OTF_JPF_java_lang_reflect_Method.getGenericParameterTypes_____3Ljava_lang_reflect_Type_2
      1. OTF_JPF_java_lang_reflect_Method.getGenericParameterTypes_____3Ljava_lang_reflect_Type_2(OTF_JPF_java_lang_reflect_Method.class)
      1 frame
    4. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:497)
      4 frames
    5. gov.nasa.jpf
      JPF.start
      1. gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:120)
      2. gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:73)
      3. gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1941)
      4. gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1858)
      5. gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:761)
      6. gov.nasa.jpf.vm.VM.forward(VM.java:1722)
      7. gov.nasa.jpf.search.Search.forward(Search.java:579)
      8. gov.nasa.jpf.search.DFSearch.search(DFSearch.java:79)
      9. gov.nasa.jpf.JPF.run(JPF.java:613)
      10. gov.nasa.jpf.JPF.start(JPF.java:189)
      10 frames
    6. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:497)
      4 frames
    7. gov.nasa.jpf
      RunJPF.main
      1. gov.nasa.jpf.tool.Run.call(Run.java:80)
      2. gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:116)
      2 frames