DtraceDiff |
This tool is used to find the differences between two dtrace files based on analysis of the
files' content, rather than a straight textual comparison.
|
DtraceNonceFixer |
This tool fixes a Dtrace file whose invocation nonces became inaccurate as a result of a
cat command combining multiple dtrace files.
|
DtracePartitioner |
This class partitions Daikon trace files so that invocations of the same program point are
grouped together for use with random selection.
|
ExtractConsequent |
Extract the consequents of all Implication invariants that are predicated by membership in a
cluster, from a .inv file.
|
InvariantChecker |
InvariantChecker reads an invariant file and trace file.
|
InvariantChecker.InvariantCheckProcessor |
|
InvMatch |
Functions that look for relationships between the invariants at different program points.
|
InvTranslate |
Provides a variable translation over an invariant at one program point (perhaps in a different
program) to a similar invariant at a second program point.
|
ReadTrace |
A class that gives an example of how to use a FileIO.Processor object to read a trace file.
|
ReadTrace.CollectDataProcessor |
Populates the samples map with all the data read from the file.
|
TraceSelect |
The TraceSelect tool creates several small subsets of the data by randomly selecting parts of the
original trace file.
|