Null pointer exception when running jpf on my program

[abhishek Kanodia]

I am trying to run JPF to find bugs in my Java code

====================================================== system under test

com.navtech.atlas.Atlas.main()

====================================================== search started: 27/11/14 3:30 PM

[SEVERE] JPF exception, terminating: exception in native method java.lang.Throwable.createStackTrace

java.lang.NullPointerException

        at gov.nasa.jpf.vm.ThreadInfo$StackTraceElement.createJPFStackTraceElement(ThreadInfo.java:1671)

        at gov.nasa.jpf.vm.ThreadInfo.createStackTraceElements(ThreadInfo.java:1544)

        at gov.nasa.jpf.vm.JPF_java_lang_Throwable.createStackTrace_____3Ljava_lang_StackTraceElement_2(JPF_java_lang_Throwable.java:43)

        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

        at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

        at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

        at java.lang.reflect.Method.invoke(Unknown Source)

        at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:120)

        at gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:71)

        at gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1887)

        at gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1845)

        at gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:733)

        at gov.nasa.jpf.vm.VM.forward(VM.java:1719)

        at gov.nasa.jpf.search.Search.forward(Search.java:580)

        at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)

        at gov.nasa.jpf.JPF.run(JPF.java:613)

        at gov.nasa.jpf.JPF.start(JPF.java:190)

        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

        at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

        at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

        at java.lang.reflect.Method.invoke(Unknown Source)

        at gov.nasa.jpf.tool.Run.call(Run.java:81)

        at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:117)

---------------------- JPF error stack trace ---------------------

gov.nasa.jpf.JPFNativePeerException: exception in native method java.lang.Throwable.createStackTrace

        at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:180)

        at gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:71)

        at gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1887)

        at gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1845)

        at gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:733)

        at gov.nasa.jpf.vm.VM.forward(VM.java:1719)

        at gov.nasa.jpf.search.Search.forward(Search.java:580)

        at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)

        at gov.nasa.jpf.JPF.run(JPF.java:613)

        at gov.nasa.jpf.JPF.start(JPF.java:190)

        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

        at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

        at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

        at java.lang.reflect.Method.invoke(Unknown Source)

        at gov.nasa.jpf.tool.Run.call(Run.java:81)

        at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:117)

Caused by: java.lang.NullPointerException

        at gov.nasa.jpf.vm.ThreadInfo$StackTraceElement.createJPFStackTraceElement(ThreadInfo.java:1671)

        at gov.nasa.jpf.vm.ThreadInfo.createStackTraceElements(ThreadInfo.java:1544)

        at gov.nasa.jpf.vm.JPF_java_lang_Throwable.createStackTrace_____3Ljava_lang_StackTraceElement_2(JPF_java_lang_Throwable.java:43)

        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

        at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

        at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

        at java.lang.reflect.Method.invoke(Unknown Source)

        at gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:120)

        ... 15 more

Is there anything i am missing. Please help

[PETER C MEHLITZ]

apparently an exception from within a class that didn't have a SourceFile attribute.
Will fix

-- Peter