[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Index

Jump to:   -   .   /   6   :   @   [  
A   B   C   D   E   F   H   I   J   K   L   M   N   O   P   R   S   T   U   V   W   X  
Index Entry Section

-
-1 array index (counts from end of array)5.3 Variable names

.
.getClass() variable5.3 Variable names
.inv files, tools for manipulating8.1 Tools for manipulating invariants
.length variable name5.3 Variable names
.spinfo file6.2.1 Splitter info file
.toString variable5.3 Variable names

/
/ variable (C global or file-static)5.3 Variable names

6
64-bit AMD64 architecture, and Kvasir7.3.9 Kvasir implementation and limitations

:
:::CLASS program point5.2 Program points
:::ENTER program point5.2 Program points
:::EXIT program point5.2 Program points
:::OBJECT program point5.2 Program points

@
@ variable (C function-scoped static)5.3 Variable names
@NonNull type inference8.1.5 AnnotateNullable
@Nullable type inference8.1.5 AnnotateNullable

[
[] variable name (array contents)5.3 Variable names

A
abstract types, for C/C++7.3.3 DynComp dynamic comparability (abstract type) analysis for C/C++
abstract types, for Java7.2 DynComp dynamic comparability (abstract type) analysis for Java
AMD64 architecture, and Kvasir7.3.9 Kvasir implementation and limitations
Annotate tool8.1.4 Annotate
Annotate warning: Daikon knows nothing about field8.1.4 Annotate
AnnotateNullable tool8.1.5 AnnotateNullable

B
bugs, reporting9.5 Reporting problems

C
C/C++ front end7.3 C/C++ front end Kvasir
C/C++ front end (deprecated)7.4 Source-based C/C++ front end Mangel-Wurzel
call-site-dependent invariant6.2 Conditional invariants and implications
category, for debugging4.5 Daikon debugging options
category, for debugging4.5 Daikon debugging options
Chicory (front end for Java)7.1 Java front end Chicory
class invariants5.2 Program points
CLASS program point5.2 Program points
cluster analysis for splitters6.3.2 Cluster analysis for splitters
comma-delimited files7.6 Comma-separated-value front end convertcsv.pl
comma-separated-value files7.6 Comma-separated-value front end convertcsv.pl
command line options for Daikon4. Running Daikon
comparability, for C/C++7.3.3 DynComp dynamic comparability (abstract type) analysis for C/C++
comparability, for Java7.2 DynComp dynamic comparability (abstract type) analysis for Java
comparing invariants8.1.3 Invariant Diff
comparison tool, logical8.1.8 LogicalCompare
conditional invariant6.2 Conditional invariants and implications
confidence limit4.2 Options to control invariant detection
configuration options6.1 Configuration options
constant pool index error, when running Chicory9.4.1 VerifyError constant pool index error
context-sensitive invariant6.2 Conditional invariants and implications
contradictory invariants9.1.8 Contradictory invariants
contributors to Daikon10.4 Credits
CPATH environment variable7.4.2.1 Standard compiler options for Mangel
CreateSpinfo6.3.1 Static analysis for splitters
CreateSpinfoC6.3.1 Static analysis for splitters
csv files7.6 Comma-separated-value front end convertcsv.pl
Cygwin toolset2.2.4.2 Cygwin shell

D
Daikon knows nothing about field: warning from Annotate8.1.4 Annotate
Daikon output format5.1 Invariant syntax
Daikon version 4.6.410.1 History
daikon-announce mailing list1.1 Mailing lists
daikon-developers mailing list1.1 Mailing lists
daikon-discuss mailing list1.1 Mailing lists
data trace files, too large9.2 Large data trace (.dtrace) files
DBC output format5.1 Invariant syntax
dcomp_rt.jar file for DynComp7.2.1 Instrumenting the JDK with DynComp
debugging flags4.5 Daikon debugging options
debugging flags4.5 Daikon debugging options
derived variables, enabling/disabling6.1.1.4 Options to enable/disable derived variables
derived variables, explanation of5.3 Variable names
DerivedParameterFilter5.6 Invariant filters
dfepl (front end for Perl)7.5 Perl front end dfepl
diff, over invariants8.1.3 Invariant Diff
disambiguation of pointer types7.3.5 Pointer type disambiguation
dkconfig_ variables6.1 Configuration options
dtrace file name7.1.1.3 Chicory miscellaneous options
DTRACEAPPEND environment variable7.1.1.3 Chicory miscellaneous options
DTRACEFILE environment variable7.1.1.3 Chicory miscellaneous options
dummy invariant6.2 Conditional invariants and implications
dynamic comparability, for C/C++7.3.3 DynComp dynamic comparability (abstract type) analysis for C/C++
dynamic comparability, for Java7.2 DynComp dynamic comparability (abstract type) analysis for Java
DynComp, for C/C++7.3.3 DynComp dynamic comparability (abstract type) analysis for C/C++
DynComp, for Java7.2 DynComp dynamic comparability (abstract type) analysis for Java

E
Eiffel front end7.7 Other front ends
EM64T architecture, and Kvasir7.3.9 Kvasir implementation and limitations
ENTER program point5.2 Program points
environment variable DTRACEAPPEND7.1.1.3 Chicory miscellaneous options
environment variable DTRACEFILE7.1.1.3 Chicory miscellaneous options
error messages9. Troubleshooting
ESC/Java output format5.1 Invariant syntax
Excel files7.6 Comma-separated-value front end convertcsv.pl
EXIT program point5.2 Program points
Exiting’, in Daikon output5.4 Interpreting Daikon output

F
FIFO, as data trace file7.3.7 Online execution
file name, for dtrace file7.1.1.3 Chicory miscellaneous options
filters5.6 Invariant filters
filters, enabling/disabling6.1.1.1 Options to enable/disable filters
flags for Daikon4. Running Daikon
front end7. Front ends (instrumentation)
front end for C/C++7.3 C/C++ front end Kvasir
front end for C/C++ (deprecated)7.4 Source-based C/C++ front end Mangel-Wurzel
front end for Eiffel7.7 Other front ends
front end for IOA7.7 Other front ends
front end for Java7.1 Java front end Chicory
front end for Lisp7.7 Other front ends
front end for Lisp10.1 History
front end for Perl7.5 Perl front end dfepl

Jump to:   -   .   /   6   :   @   [  
A   B   C   D   E   F   H   I   J   K   L   M   N   O   P   R   S   T   U   V   W   X  

[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by Daikon User on June, 23 2010 using texi2html 1.78.