Interface | Description |
---|---|
PathOutputMonitor.PathOutputSpec |
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 | |
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.
|
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
|
NoStateCycles |
If there is a cycle in the states of the program, JPF doesn't execute the
already visited states.
|
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 allocations, method calls, field updates
and deallocations of instances of a set of types
we don't need a StateExtensionClient/Listener here because we only
keep live, typed object data.
|
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 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.
|
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
|
SearchMonitor |
SearchListener class to collect and report statistical
data during JPF execution.
|
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.
|