gov.nasa.jpf.listener

Class Perturbator

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.Perturbator

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class Perturbator
extends ListenerAdapter

listener that perturbs GETFIELD/GETSTATIC and InvokeInstruction results NOTE - this listener initializes in two steps: (1) during listener construction it builds a list of classes it has to monitor, and (2) during class load time it further analyzes classes from this list to get the actual target objects (FieldInfos and MethodInfos) so that instruction monitoring is efficient enough. This means the listener always has to be instantiated BEFORE the respective target classes get loaded. configuration example: # field getter example perturb.fields = altitude,... perturb.altitude.field = x.y.MyClass.alt perturb.altitude.class = .perturb.IntOverUnder perturb.altitude.location = MyClass.java:42 perturb.altitude.delta = 1 # method return value example perturb.returns = velocity,... perturb.velocity.method = x.y.MyClass.computeVelocity() perturb.velocity.class = .perturb.IntOverUnder perturb.velocity.delta = 50 # method parameter perturbation example perturb.params = foo, ... perturb.foo.method = x.y.MyClass.send(int, float, boolean) perturb.foo.location = MyClass.java:42 perturb.class = .perturb.dataAbstractor

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Perturbator.FieldPerturbation
static class	Perturbator.ParamsPerturbation
static class	Perturbator.Perturbation
static class	Perturbator.ReturnPerturbation

Field Summary

Fields

Modifier and Type	Field and Description
protected static Class<?>[]	argTypes
protected List<Perturbator.FieldPerturbation>	fieldWatchList
protected List<Perturbator.ParamsPerturbation>	paramsWatchList
protected HashMap<FieldInfo,Perturbator.FieldPerturbation>	perturbedFields
protected HashMap<MethodInfo,Perturbator.ParamsPerturbation>	perturbedParams
protected HashMap<MethodInfo,Perturbator.ReturnPerturbation>	perturbedReturns
protected List<Perturbator.ReturnPerturbation>	returnWatchList
protected StackFrame	savedFrame

Constructor Summary

Constructors

Constructor and Description
Perturbator(Config conf)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addFieldPerturbations(Perturbator.FieldPerturbation p, ClassInfo ci, FieldInfo[] fieldInfos)
protected void	addToFieldWatchList(Config conf, String id)
protected void	addToParamsWatchList(Config conf, String id)
protected void	addToReturnWatchList(Config conf, String id)
void	classLoaded(VM vm, ClassInfo loadedClass) new class was loaded.
void	executeInstruction(VM vm, ThreadInfo ti, Instruction insnToExecute) VM is about to execute the next instruction
void	instructionExecuted(VM vm, ThreadInfo ti, Instruction nextInsn, Instruction executedInsn) VM has executed the next instruction (can be used to analyze branches, monitor PUTFIELD / GETFIELD and INVOKExx / RETURN instructions)
protected boolean	isMatchingInstructionLocation(Perturbator.Perturbation p, Instruction insn)
boolean	isMethodWatched(Instruction insn, MethodInfo mi)
protected boolean	isRelevantCallLocation(Instruction invokeInsn, Perturbator.Perturbation p)
protected boolean	isRelevantCallLocation(ThreadInfo ti, Perturbator.Perturbation p)

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, exceptionBailout, exceptionHandled, exceptionThrown, gcBegin, gcEnd, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchFinished, 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

argTypes

protected static Class<?>[] argTypes

fieldWatchList

protected List<Perturbator.FieldPerturbation> fieldWatchList

perturbedFields

protected HashMap<FieldInfo,Perturbator.FieldPerturbation> perturbedFields

returnWatchList

protected List<Perturbator.ReturnPerturbation> returnWatchList

perturbedReturns

protected HashMap<MethodInfo,Perturbator.ReturnPerturbation> perturbedReturns

paramsWatchList

protected List<Perturbator.ParamsPerturbation> paramsWatchList

perturbedParams

protected HashMap<MethodInfo,Perturbator.ParamsPerturbation> perturbedParams

savedFrame

protected StackFrame savedFrame

Constructor Detail

Perturbator

public Perturbator(Config conf)

Method Detail

isMethodWatched

public boolean isMethodWatched(Instruction insn,
                      MethodInfo mi)

addToFieldWatchList

protected void addToFieldWatchList(Config conf,
                       String id)

addToReturnWatchList

protected void addToReturnWatchList(Config conf,
                        String id)

addToParamsWatchList

protected void addToParamsWatchList(Config conf,
                        String id)

classLoaded

public void classLoaded(VM vm,
               ClassInfo loadedClass)

Description copied from interface: VMListener

new class was loaded. This is notified after the ClassInfo has been instantiated, but before the class object is initialized, i.e. clinit is called. The main use for this notification is to identify and store ClassInfos, MethodInfos, FieldInfos or Instructions that are used by listeners etc. in order to enable efficient identify based filters in the performance critical instruction notifications

Specified by:

classLoaded in interface VMListener

Overrides:

classLoaded in class ListenerAdapter

addFieldPerturbations

protected void addFieldPerturbations(Perturbator.FieldPerturbation p,
                         ClassInfo ci,
                         FieldInfo[] fieldInfos)

isRelevantCallLocation

protected boolean isRelevantCallLocation(ThreadInfo ti,
                             Perturbator.Perturbation p)

isRelevantCallLocation

protected boolean isRelevantCallLocation(Instruction invokeInsn,
                             Perturbator.Perturbation p)

executeInstruction

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

Description copied from interface: VMListener

VM is about to execute the next instruction

Specified by:

executeInstruction in interface VMListener

Overrides:

executeInstruction in class ListenerAdapter

instructionExecuted

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

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

isMatchingInstructionLocation

protected boolean isMatchingInstructionLocation(Perturbator.Perturbation p,
                                    Instruction insn)