gov.nasa.jpf.JPFException

There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

  • jpf-actor: Ant build fails . Need Help
    via by manish singh,
  • Version 7 of JPF
    via by Linn Jensen,
    • gov.nasa.jpf.JPFException: error reading class java.lang.reflect.AnnotatedElement at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1231) at gov.nasa.jpf.jvm.ClassInfo.getResolvedClassInfo(ClassInfo.java:1207) at gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:1994) at gov.nasa.jpf.jvm.ClassInfo.loadInterfaceRec(ClassInfo.java:2000) at gov.nasa.jpf.jvm.ClassInfo.getAllInterfaces(ClassInfo.java:2150) at gov.nasa.jpf.jvm.JVM.registerStartupClass(JVM.java:531) at gov.nasa.jpf.jvm.JVM.registerStartupClasses(JVM.java:510) at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:301) at gov.nasa.jpf.JPF.run(JPF.java:616) at gov.nasa.jpf.JPF.start(JPF.java:190) 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:497) at gov.nasa.jpf.tool.Run.call(Run.java:76) at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:100) Caused by: gov.nasa.jpf.classfile.ClassFileException: illegal constpool tag at gov.nasa.jpf.classfile.ClassFile.error(ClassFile.java:168) at gov.nasa.jpf.classfile.ClassFile.parseCp(ClassFile.java:1009) at gov.nasa.jpf.classfile.ClassFile.parse(ClassFile.java:827) at gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:803) at gov.nasa.jpf.jvm.ClassInfo.loadClass(ClassInfo.java:1221) ... 15 more

    Users with the same issue

    Unknown visitor1 times, last one,
    Unknown visitor1 times, last one,