gov.nasa.jpf.listener

Class NullTracker

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.NullTracker

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class NullTracker
extends ListenerAdapter

trace where nulls come from - which is either a GETFIELD/STATIC, an JVMInvokeInstruction, an LocalVariableInstruction or a missing init. Record/accumulate the causes in an attribute and use the attribute to explain NPEs

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	NullTracker.CtorSource
static class	NullTracker.FieldSource
static class	NullTracker.LocalSource
static class	NullTracker.MethodSource
static class	NullTracker.NullSource

Field Summary

Fields

Modifier and Type	Field and Description
protected NullTracker.NullSource	nullSource

Constructor Summary

Constructors

Constructor and Description
NullTracker(Config config, JPF jpf)

Method Summary

Modifier and Type	Method and Description
protected void	checkCtorSourcePre(ThreadInfo ti, ReturnInstruction insn)
protected void	checkFieldSourcePre(ThreadInfo ti, WriteInstruction put)
protected void	checkLocalSourcePost(ThreadInfo ti, LocalVariableInstruction insn)
protected void	checkMethodSourcePre(ThreadInfo ti, ReturnValueInstruction aret)
void	exceptionThrown(VM vm, ThreadInfo ti, ElementInfo thrownException) exception was thrown
void	executeInstruction(VM vm, ThreadInfo ti, Instruction insn) VM is about to execute the next instruction
void	instructionExecuted(VM vm, ThreadInfo ti, Instruction nextInsn, Instruction insn) VM has executed the next instruction (can be used to analyze branches, monitor PUTFIELD / GETFIELD and INVOKExx / RETURN instructions)
void	publishPropertyViolation(Publisher publisher)

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, gcBegin, gcEnd, loadClass, methodEntered, methodExited, objectCreated, objectExposed, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectShared, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishProbe, publishStart, publishTransition, searchConstraintHit, searchFinished, searchProbed, searchStarted, stateAdvanced, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

nullSource

protected NullTracker.NullSource nullSource

Constructor Detail

NullTracker

public NullTracker(Config config,
                   JPF jpf)

Method Detail

checkCtorSourcePre

protected void checkCtorSourcePre(ThreadInfo ti,
                                  ReturnInstruction insn)

checkFieldSourcePre

protected void checkFieldSourcePre(ThreadInfo ti,
                                   WriteInstruction put)

checkMethodSourcePre

protected void checkMethodSourcePre(ThreadInfo ti,
                                    ReturnValueInstruction aret)

executeInstruction

public void executeInstruction(VM vm,
                               ThreadInfo ti,
                               Instruction insn)

Description copied from interface: VMListener

VM is about to execute the next instruction

Specified by:

executeInstruction in interface VMListener

Overrides:

executeInstruction in class ListenerAdapter

checkLocalSourcePost

protected void checkLocalSourcePost(ThreadInfo ti,
                                    LocalVariableInstruction insn)

instructionExecuted

public void instructionExecuted(VM vm,
                                ThreadInfo ti,
                                Instruction nextInsn,
                                Instruction insn)

Description copied from interface: VMListener

VM has executed the next instruction (can be used to analyze branches, monitor PUTFIELD / GETFIELD and INVOKExx / RETURN instructions)

Specified by:

instructionExecuted in interface VMListener

Overrides:

instructionExecuted in class ListenerAdapter

exceptionThrown

public void exceptionThrown(VM vm,
                            ThreadInfo ti,
                            ElementInfo thrownException)

Description copied from interface: VMListener

exception was thrown

Specified by:

exceptionThrown in interface VMListener

Overrides:

exceptionThrown in class ListenerAdapter

publishPropertyViolation

public void publishPropertyViolation(Publisher publisher)

Specified by:

publishPropertyViolation in interface PublisherExtension

Overrides:

publishPropertyViolation in class ListenerAdapter