||This tool converts between the textual and binary Daikon file formats.
||This tool is used to find the differences between two dtrace files
based on analysis of the files' content, rather than a straight textual
||This tool fixes a Dtrace file whose invocation nonces became inaccurate
as a result of a "cat" command combining multiple dtrace files.
||This class partitions Daikon trace files so that invocations of
the same program point are grouped together for use with random
||Extract the consequents of all Implication invariants that are predicated
by membership in a cluster, from a .inv file.
||InvariantChecker reads an invariant file and trace file.
||Functions that look for relationships between the invariants at
different program points.
||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.
||Reads multiple dtrace files from web services and looks for fields
||Information about a match between two operations.
||Tracks the sample numbers in two matching samples
||Information about a operations that are possible substitutions
for each other
||Pair of DeclVarInfos suitable for a key in a hashmap.