gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement

Google Groups | manish singh | 1 year ago
  1. 0

    jpf-actor: Ant build fails . Need Help

    Google Groups | 1 year ago | manish singh
    gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement
  2. 0

    Not able to run jpf command :JPF exception, terminating: error reading class java.lang.reflect.AnnotatedElement

    Stack Overflow | 1 year ago | Zack
    gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement
  3. 0

    [JPF] Help about example listener

    Google Groups | 6 years ago | Pham Quang Thap
    gov.nasa.jpf.JPFException: not an int[]
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    jpf-symbc installation

    Google Groups | 6 years ago | Alex O.
    gov.nasa.jpf.JPFException: not a int field: m
  6. 0

    jpf-actor: Ant build fails . Need Help

    Google Groups | 1 year ago | manish singh
    gov.nasa.jpf.classfile.ClassFileException: illegal constpool tag

    2 unregistered visitors
    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. gov.nasa.jpf.classfile.ClassFileException

      illegal constpool tag

      at gov.nasa.jpf.classfile.ClassFile.error()
    2. gov.nasa.jpf
      JPF.start
      1. gov.nasa.jpf.classfile.ClassFile.error(ClassFile.java:168)
      2. gov.nasa.jpf.classfile.ClassFile.parseCp(ClassFile.java:1009)
      3. gov.nasa.jpf.classfile.ClassFile.parse(ClassFile.java:827)
      4. gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:803)
      5. gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1221)
      6. gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1207)
      7. gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:1994)
      8. gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:2000)
      9. gov.nasa.jpf.jvm.ClassInfo.getAllInterfaces(ClassInfo.java:2150)
      10. gov.nasa.jpf.jvm.JVM.registerStartupClass(JVM.java:531)
      11. gov.nasa.jpf.jvm.JVM.registerStartupClasses(JVM.java:510)
      12. gov.nasa.jpf.jvm.JVM.initialize(JVM.java:301)
      13. gov.nasa.jpf.JPF.run(JPF.java:616)
      14. gov.nasa.jpf.JPF.start(JPF.java:190)
      14 frames
    3. 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
    4. gov.nasa.jpf
      RunJPF.main
      1. gov.nasa.jpf.tool.Run.call(Run.java:76)
      2. gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100)
      2 frames