[Javapathfinder-user] Help with NullPpointerException

[Brandon M <bm...@ya...>]

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