| gov.nasa.jpf.tools |
|
| Java Source File Name | Type | Comment |
| ExecTracker.java | Class | Listener tool to monitor JPF execution. |
| GenPeer.java | Class | tool to automatically generate the framework of a native peer MJI class,
given it's model class. |
| GenPeerDispatcher.java | Class | tool to create NativePeerDispatchers, i.e. |
| HeapTracker.java | Class | HeapTracker - property-listener class to check heap utilization along all
execution paths (e.g. |
| IdleFilter.java | Class | simple combined listener that checks if a thread seems to do idle loops that
might starve other threads. |
| InsnCounter.java | Class | simple tools to gather statistics about instructions executed by JPF. |
| LogConsole.java | Class | simple logging facility that listens on a socket (e.g. |
| RaceDetector.java | Class | Simple field access race detector example
This implemenation so far doesn't deal with synchronization via signals, it
only checks if the lockset intersections of reads and writes from different
threads get empty. |
| SearchMonitor.java | Class | SearchListener class to collect and report statistical
data during JPF execution. |
| StateSpaceDot.java | Class | |
| VarTracker.java | Class | simple listener tool to find out which variables (locals and fields) are
changed how often and from where. |