gov.nasa.jpf.JPFNativePeerException: exception in native method java.lang.reflect.Method.getGenericParameterTypes at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:180)

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 at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:180)
  2. 0

    Java path finder and exception in native method java.text.DateFormat.parse

    Google Groups | 2 years ago | Jiří Vahala
    gov.nasa.jpf.JPFNativePeerException: exception in native method > java.text.DateFormat.parse 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)
  3. 0

    [JPF]Build Failed

    Google Groups | 5 years ago | Quoc-Sang Phan
    gov.nasa.jpf.JPFNativePeerException: exception in native method java.lang.Integer$IntegerCache.<clinit>
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

    Root Cause Analysis

    1. gov.nasa.jpf.JPFNativePeerException

      exception in native method java.lang.reflect.Method.getGenericParameterTypes at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:180)

      at gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute()
    2. gov.nasa.jpf
      JPF.start
      1. gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:73)
      2. gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1941)
      3. gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1858)
      4. gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:761)
      5. gov.nasa.jpf.vm.VM.forward(VM.java:1722)
      6. gov.nasa.jpf.search.Search.forward(Search.java:579)
      7. gov.nasa.jpf.search.DFSearch.search(DFSearch.java:79)
      8. gov.nasa.jpf.JPF.run(JPF.java:613)
      9. gov.nasa.jpf.JPF.start(JPF.java:189)
      9 frames
    3. Java RT
      NativeMethodAccessorImpl.invoke0
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      1 frame