|
Class Summary |
| DtraceConvert |
This tool converts between the textual and binary Daikon file formats. |
| 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. |
| TraceSelect |
|
| WSMatch |
Reads multiple dtrace files from web services and looks for fields
that match |
| WSMatch.MatchInfo |
Information about a match between two operations. |
| WSMatch.RowMatch |
Tracks the sample numbers in two matching samples |
| WSMatch.Substitution |
Information about a operations that are possible substitutions
for each other |
| WSMatch.VarPair |
Pair of DeclVarInfos suitable for a key in a hashmap. |