Package gov.nasa.jpf.listener

Interface Summary

Interface	Description
PathOutputMonitor.PathOutputSpec

Class Summary

Class	Description
AssertionProperty	this is a property listener that turns thrown AssertionErrors into property violations before they are caught (i.e.
BudgetChecker	Listener that implements various budget constraints
CallMonitor	this isn't yet a useful tool, but it shows how to track method calls with their corresponding argument values
CGMonitor	listener to report out what CGs and choices are processed during the search.
CGRemover	listener that removes CGs for specified locations, method calls or method bodies This is an application specific state space optimizer that should be used carefully since it has to be aware of which CGs can be removed, and which ones can't (e.g.
ChoiceSelector	this is a listener that only executes single choices until it detects that it should start to search.
ChoiceTracker	generic choice tracker tool, to produce a list of choice values that can be used to create readable replay scripts etc.
CoverageAnalyzer	a listener to report coverage statistics The idea is to collect per-class/-method/-thread information about executed instructions, and then analyze this deeper when it comes to report time (e.g.
DeadlockAnalyzer	example of a listener that creates property specific traces.
DistributedSimpleDot	This is a Graphviz dot-file generator similar to SimpleDot.
EndlessLoopDetector	little listener that tries to detect endless while() loops by counting backjumps, breaking transitions if the count exceeds a threshold, and then checking if program states match.
ErrorTraceGenerator	A lightweight listener to generate the error trace by printing the program instructions at transition boundaries.
ExceptionInjector	listener to inject exceptions according to user specifications.
ExecTracker	Listener tool to monitor JPF execution.
HeapTracker	HeapTracker - property-listener class to check heap utilization along all execution paths (e.g.
IdleFilter	simple combined listener that checks if a thread seems to do idle loops that might starve other threads or JPF.
InsnCounter	simple tools to gather statistics about instructions executed by JPF.
LockedStackDepth	A listener that tracks information about the stack depth of when a lock is first acquired.
LogConsole	simple logging facility that listens on a socket (e.g.
MethodAnalyzer	analyzes call/execute sequences of methods closely modeled after the DeadlockAnalyzer, i.e.
MethodTracker	simple tool to log method invocations at this point, it doesn't do fancy things yet, but gives a more high level idea of what got executed by JPF than the ExecTracker
NonSharedChecker
NoStateCycles	If there is a cycle in the states of the program, JPF doesn't execute the already visited states.
NullTracker	trace where nulls come from - which is either a GETFIELD/STATIC, an JVMInvokeInstruction, an LocalVariableInstruction or a missing init.
NullTracker.CtorSource
NullTracker.FieldSource
NullTracker.LocalSource
NullTracker.MethodSource
NullTracker.NullSource
NumericValueChecker	little listener that checks value ranges of specified numeric fields and local vars configuration examples: range.fields=speed,..
ObjectTracker	listener that keeps track of all operations on objects that are specified by reference value or types
OOMEInjector	simulator for OutOfMemoryErrors.
OverlappingMethodAnalyzer	this is a specialized MethodAnalyzer that looks for overlapping method calls on the same object from different threads.
PathOutputMonitor	listener that monitors path output, matching it against specifications supplied as text files.
Perturbator	listener that perturbs GETFIELD/GETSTATIC and JVMInvokeInstruction 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.
Perturbator.FieldPerturbation
Perturbator.ParamsPerturbation
Perturbator.Perturbation
Perturbator.ReturnPerturbation
PreciseRaceDetector	This is a Race Detection Algorithm that is precise in its calculation of races, i.e.
ReferenceLocator	tiny utility listener that can be used to find out where a certain object (specified by reference) gets allocated or accessed (call or field), and when it gets gc'ed
SearchStats	An alternative to SearchMonitor that just reports statistics at the end.
SimpleDot	an alternative Graphviz dot-file generator for simple,educational state graphs except of creating funny wallpapers, it doesn't help much in real life if the state count gets > 50, but for the small ones it's actually quite readable.
SimpleIdleFilter	This is the simple version of IdleFilter.
StackDepthChecker	listener that throws a java.lang.StackOverflowError in case a thread exceeds a configured max stack depth <2do> - maybe we should only count visible stackframes, i.e.
StackTracker	simple tool to log stack invocations at this point, it doesn't do fancy things yet, but gives a more high level idea of what got executed by JPF than the ExecTracker
StateCountEstimator	From already visited states, estimates the total number of states by the branching factor.
StateSpaceAnalyzer	a listener that collects information about ChoiceGenerators, choices and where they are used.
StateSpaceDot
StateTracker	simple tool to log state changes
StopWatchFuzzer	a listener that is used to explore all paths from a time-value comparison.
TraceStorer	tool to save traces upon various conditions like - property violation - call of a certain method - reaching a certain search depth - creating a certain thread
VarRecorder	Simple listener tool to record the values of variables as they are accessed.
VarTracker	simple listener tool to find out which variables (locals and fields) are changed how often and from where.