Re: [Javapathfinder-user] Help with NullPpointerException

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Hi Brandon,

I don't think you are doing anything wrong.  We had a bug with static 
member access from subclasses which was (allegedly) fixed (by me) on 
10/16 and checked into CVS.

if you are running the jpf-source-1.0a release, it will still have the 
bug.  the fix was just to a couple of files (GETSTATIC and SETSTATIC in 
the src/...jpf/jvm/bytecode directory.)  you can grab it from the CVS 
browser, or i can email it to you.

if you are running from a recent CVS version, you may have found another 
problem (or a problem with the fix).  if this is the case, it would be 
great if you could send source or byte code.  if this is not possible, a 
brief description of the static variables in the program might suffice.

thanks,

John

Brandon M wrote:
> I can successfully run bin/jpf against
> examples/HelloWorld.java, with no problems.  I am now
> attempting to run jpf against some of my own class
> files.  I am getting a NullPointerException each time
> I run jpf <myClassName>.  Below is the stack trace,
> along with my parameter settings:
> 
> STACK TRACE
> ===========
> JPF exception, terminating: class
> java.lang.NullPointerException: null
> 
> java.lang.NullPointerException
>         at
> gov.nasa.jpf.jvm.ElementInfo.checkFieldInfo(ElementInfo.java:462)
>         at
> gov.nasa.jpf.jvm.ElementInfo.getIntField(ElementInfo.java:471)
>         at
> gov.nasa.jpf.jvm.bytecode.GETSTATIC.execute(GETSTATIC.java:41)
>         at
> gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:1490)
>         at
> gov.nasa.jpf.jvm.ThreadInfo.executeMethod(ThreadInfo.java:1522)
>         at
> gov.nasa.jpf.jvm.ClassInfo.initializeClass(ClassInfo.java:665)
>         at
> gov.nasa.jpf.jvm.StaticArea.newClass(StaticArea.java:160)
>         at
> gov.nasa.jpf.jvm.StaticArea.get(StaticArea.java:62)
>         at
> gov.nasa.jpf.jvm.ClassInfo.getClassObjectRef(ClassInfo.java:368)
>         at
> gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.isSchedulingRelevant(INVOKESTATIC.java:102)
>         at
> gov.nasa.jpf.jvm.ThreadInfo.executePorStep(ThreadInfo.java:2126)
>         at
> gov.nasa.jpf.jvm.ThreadInfo.executeStep(ThreadInfo.java:1546)
>         at
> gov.nasa.jpf.jvm.SystemState.nextSuccessor(SystemState.java:268)
>         at gov.nasa.jpf.jvm.JVM.forward(JVM.java:997)
>         at
> gov.nasa.jpf.search.AbstractSearch.forward(AbstractSearch.java:340)
>         at
> gov.nasa.jpf.search.DFSearch.search(DFSearch.java:84)
>         at gov.nasa.jpf.JPF.run(JPF.java:308)
>         at gov.nasa.jpf.JPF.main(JPF.java:238)
> java.lang.NullPointerException
>         at
> gov.nasa.jpf.jvm.ElementInfo.checkFieldInfo(ElementInfo.java:462)
>         at
> gov.nasa.jpf.jvm.ElementInfo.getIntField(ElementInfo.java:471)
>         at
> gov.nasa.jpf.jvm.bytecode.GETSTATIC.execute(GETSTATIC.java:41)
>         at
> gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:1490)
>         at
> gov.nasa.jpf.jvm.ThreadInfo.executeMethod(ThreadInfo.java:1522)
>         at
> gov.nasa.jpf.jvm.ClassInfo.initializeClass(ClassInfo.java:665)
>         at
> gov.nasa.jpf.jvm.StaticArea.newClass(StaticArea.java:160)
>         at
> gov.nasa.jpf.jvm.StaticArea.get(StaticArea.java:62)
>         at
> gov.nasa.jpf.jvm.ClassInfo.getClassObjectRef(ClassInfo.java:368)
>         at
> gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.isSchedulingRelevant(INVOKESTATIC.java:102)
>         at
> gov.nasa.jpf.jvm.ThreadInfo.executePorStep(ThreadInfo.java:2126)
>         at
> gov.nasa.jpf.jvm.ThreadInfo.executeStep(ThreadInfo.java:1546)
>         at
> gov.nasa.jpf.jvm.SystemState.nextSuccessor(SystemState.java:268)
>         at gov.nasa.jpf.jvm.JVM.forward(JVM.java:997)
>         at
> gov.nasa.jpf.search.AbstractSearch.forward(AbstractSearch.java:340)
>         at
> gov.nasa.jpf.search.DFSearch.search(DFSearch.java:84)
>         at gov.nasa.jpf.JPF.run(JPF.java:308)
>         at gov.nasa.jpf.JPF.main(JPF.java:238)
> gov.nasa.jpf.JPFException: class
> java.lang.NullPointerException: null
>         at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1040)
>         at
> gov.nasa.jpf.search.AbstractSearch.forward(AbstractSearch.java:340)
>         at
> gov.nasa.jpf.search.DFSearch.search(DFSearch.java:84)
>         at gov.nasa.jpf.JPF.run(JPF.java:308)
>         at gov.nasa.jpf.JPF.main(JPF.java:238)
> 
> 
> CONFIGURATION SETTINGS
> ======================
> ----------- dictionary contents
> branch_start = 1
> d0threshold.class =
> gov.nasa.jpf.jvm.DoubleThresholdGenerator
> d0threshold.high = 1.0
> d0threshold.low = -1.0
> d0threshold.threshold = 0.0
> jpf.basedir = C:\Temp\jpf_release\bin\..
> jpf.print_exception_stack = true
> jpf.version = 3.1.2
> log.level = warning
> search.class = gov.nasa.jpf.search.DFSearch
> search.error_path = error.xml
> search.heuristic.branch.count_early = true
> search.heuristic.branch.no_branch_return = -1
> search.heuristic.class =
> gov.nasa.jpf.search.heuristic.BFSHeuristic
> search.heuristic.comparator.class =
> gov.nasa.jpf.search.heuristic.DefaultComparator
> search.heuristic.queue_limit = -1
> search.match_depth = false
> search.min_free = 1M
> search.multiple_errors = false
> search.print_errors = true
> search.properties =
> gov.nasa.jpf.jvm.NotDeadlockedProperty:gov.nasa.jpf.jvm.NoAssertionViolatedProperty:gov.nasa.jpf.jvm
> .NoUncaughtExceptionsProperty
> vm.atomic_init = true
> vm.attributor.class =
> gov.nasa.jpf.jvm.DefaultAttributor
> vm.bootclasspath =
> C:\Temp\jpf_release\bin\../build/env/jpf
> vm.check_fp = false
> vm.check_fp_compare = true
> vm.class = gov.nasa.jpf.jvm.JVM
> vm.classpath = build/env/jpf;test
> vm.enable_assertions = *
> vm.finalize = true
> vm.gc = true
> vm.halt_on_throw = false
> vm.path_output = false
> vm.por = true
> vm.por.field_boundaries = true
> vm.por.fieldlockinfo.class =
> gov.nasa.jpf.jvm.StatisticFieldLockInfo
> vm.por.sync_detection = true
> vm.report.printStacks = true
> vm.report.show_bytecode = false
> vm.report.show_missing_lines = false
> vm.report.show_steps = true
> vm.scheduler.class = gov.nasa.jpf.jvm.DefaultScheduler
> vm.scheduler.random_seed = 0
> vm.scheduler.use_time_for_seed = false
> vm.sourcepath =
> C:\Temp\jpf_release\bin\../src:C:\Temp\jpf_release\bin\../examples:C:\Temp\jpf_release\bin\../test
> vm.storage.class = gov.nasa.jpf.jvm.Md5StateSet
> vm.tree_output = true
> vm.verify.ignore_path = true
> vm.visible_asserts = false
> ----------- free arguments
> 
> Any suggestions on what I may be doing wrong?
> 
> 
> 		
> __________________________________ 
> Yahoo! FareChase: Search multiple travel sites in one click.
> http://farechase.yahoo.com
> 
> 
> -------------------------------------------------------
> This SF.Net email is sponsored by the JBoss Inc.  Get Certified Today
> Register for a JBoss Training Course.  Free Certification Exam
> for All Training Attendees Through End of 2005. For more info visit:
> http://ads.osdn.com/?ad_id=7628&alloc_id=16845&op=click
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user
> 

-- 
John Penix PhD. john.penix+nasa.gov http://ase.arc.nasa.gov/jpenix/
Robust Software Engineering Group  ph:(650)604-6576 bld:N296 rm:268
Intelligent Systems Division  NASA Ames Research Center  Mt.View CA