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

Google Groups | Jiří Vahala | 2 years ago
  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
  2. 0

    Android: Saving Map State in Google map

    Stack Overflow | 11 months ago | Junie Negentien
    java.lang.RuntimeException: Unable to resume activity {com.ourThesis.junieNegentien2015/com.ourThesis.junieNegentien2015.MainActivity}: java.lang.NullPointerException
  3. Speed up your debug routine!

    Automated exception search integrated into your IDE

    Not finding the right solution?
    Take a tour to get the most out of Samebug.

    Tired of useless tips?

    Automated exception search integrated into your IDE

    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