gov.nasa.jpf.listener

Class StopWatchFuzzer

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.StopWatchFuzzer

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class StopWatchFuzzer
extends ListenerAdapter

a listener that is used to explore all paths from a time-value comparison. This works by creating a CG on LCMP instructions that involve System.currentTimeMillis() obtained values, which are attribute tagged upon return from the native method, propagated on LSUB (duration computation), and finally used for LCMP interception if the tag attributes are present long t1 = System.currentTimeMillis(); doSomeComputation(); long t2 = System.currentTimeMillis(); if (t2 - t1 <= MAX_DURATION){ // all fine branch } else { // catastrophic failure branch } which boils down to a bytecode pattern like invokestatic #2; // System.currentTimeMillis() <<< tag result with TimeVal attr .. lsub <<< propagate if any of the operands has a TimeVal attr .. lcmp <<< register CG and skip if any of the operands has TimeVal attr

Constructor Summary

Constructors

Constructor and Description
StopWatchFuzzer()

Method Summary

Modifier and Type	Method and Description
void	classLoaded(VM vm, ClassInfo ci) 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)

Methods inherited from class gov.nasa.jpf.ListenerAdapter

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

Constructor Detail

StopWatchFuzzer

public StopWatchFuzzer()

Method Detail

classLoaded

public void classLoaded(VM vm,
                        ClassInfo ci)

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

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

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