| Index Entry | Section |
|
- | | |
| -1 array index (counts from end of array) | 5.3 Variable names |
|
. | | |
| .getClass() variable | 5.3 Variable names |
| .inv files, tools for manipulating | 8.1 Tools for manipulating invariants |
| .length variable name | 5.3 Variable names |
| .spinfo file | 6.2.1 Splitter info file |
| .toString variable | 5.3 Variable names |
|
/ | | |
| / variable (C global or file-static) | 5.3 Variable names |
|
6 | | |
| 64-bit AMD64 architecture, and Kvasir | 7.3.9 Kvasir implementation and limitations |
|
: | | |
| :::CLASS program point | 5.2 Program points |
| :::ENTER program point | 5.2 Program points |
| :::EXIT program point | 5.2 Program points |
| :::OBJECT program point | 5.2 Program points |
|
@ | | |
| @ variable (C function-scoped static) | 5.3 Variable names |
| @NonNull type inference | 8.1.5 AnnotateNullable |
| @Nullable type inference | 8.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 Java | 7.2 DynComp dynamic comparability (abstract type) analysis for Java |
| AMD64 architecture, and Kvasir | 7.3.9 Kvasir implementation and limitations |
| Annotate tool | 8.1.4 Annotate |
| Annotate warning: Daikon knows nothing about field | 8.1.4 Annotate |
| AnnotateNullable tool | 8.1.5 AnnotateNullable |
|
B | | |
| bugs, reporting | 9.5 Reporting problems |
|
C | | |
| C/C++ front end | 7.3 C/C++ front end Kvasir |
| C/C++ front end (deprecated) | 7.4 Source-based C/C++ front end Mangel-Wurzel |
| call-site-dependent invariant | 6.2 Conditional invariants and implications |
| category, for debugging | 4.5 Daikon debugging options |
| category, for debugging | 4.5 Daikon debugging options |
| Chicory (front end for Java) | 7.1 Java front end Chicory |
| class invariants | 5.2 Program points |
| CLASS program point | 5.2 Program points |
| cluster analysis for splitters | 6.3.2 Cluster analysis for splitters |
| comma-delimited files | 7.6 Comma-separated-value front end convertcsv.pl |
| comma-separated-value files | 7.6 Comma-separated-value front end convertcsv.pl |
| command line options for Daikon | 4. Running Daikon |
| comparability, for C/C++ | 7.3.3 DynComp dynamic comparability (abstract type) analysis for C/C++ |
| comparability, for Java | 7.2 DynComp dynamic comparability (abstract type) analysis for Java |
| comparing invariants | 8.1.3 Invariant Diff |
| comparison tool, logical | 8.1.8 LogicalCompare |
| conditional invariant | 6.2 Conditional invariants and implications |
| confidence limit | 4.2 Options to control invariant detection |
| configuration options | 6.1 Configuration options |
| constant pool index error, when running Chicory | 9.4.1 VerifyError constant pool index error |
| context-sensitive invariant | 6.2 Conditional invariants and implications |
| contradictory invariants | 9.1.8 Contradictory invariants |
| contributors to Daikon | 10.4 Credits |
| CPATH environment variable | 7.4.2.1 Standard compiler options for Mangel |
| CreateSpinfo | 6.3.1 Static analysis for splitters |
| CreateSpinfoC | 6.3.1 Static analysis for splitters |
| csv files | 7.6 Comma-separated-value front end convertcsv.pl |
| Cygwin toolset | 2.2.4.2 Cygwin shell |
|
D | | |
| Daikon knows nothing about field: warning from Annotate | 8.1.4 Annotate |
| Daikon output format | 5.1 Invariant syntax |
| Daikon version 4.6.4 | 10.1 History |
| daikon-announce mailing list | 1.1 Mailing lists |
| daikon-developers mailing list | 1.1 Mailing lists |
| daikon-discuss mailing list | 1.1 Mailing lists |
| data trace files, too large | 9.2 Large data trace (.dtrace) files |
| DBC output format | 5.1 Invariant syntax |
| dcomp_rt.jar file for DynComp | 7.2.1 Instrumenting the JDK with DynComp |
| debugging flags | 4.5 Daikon debugging options |
| debugging flags | 4.5 Daikon debugging options |
| derived variables, enabling/disabling | 6.1.1.4 Options to enable/disable derived variables |
| derived variables, explanation of | 5.3 Variable names |
| DerivedParameterFilter | 5.6 Invariant filters |
| dfepl (front end for Perl) | 7.5 Perl front end dfepl |
| diff, over invariants | 8.1.3 Invariant Diff |
| disambiguation of pointer types | 7.3.5 Pointer type disambiguation |
| dkconfig_ variables | 6.1 Configuration options |
| dtrace file name | 7.1.1.3 Chicory miscellaneous options |
| DTRACEAPPEND environment variable | 7.1.1.3 Chicory miscellaneous options |
| DTRACEFILE environment variable | 7.1.1.3 Chicory miscellaneous options |
| dummy invariant | 6.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 Java | 7.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 Java | 7.2 DynComp dynamic comparability (abstract type) analysis for Java |
|
E | | |
| Eiffel front end | 7.7 Other front ends |
| EM64T architecture, and Kvasir | 7.3.9 Kvasir implementation and limitations |
| ENTER program point | 5.2 Program points |
| environment variable DTRACEAPPEND | 7.1.1.3 Chicory miscellaneous options |
| environment variable DTRACEFILE | 7.1.1.3 Chicory miscellaneous options |
| error messages | 9. Troubleshooting |
| ESC/Java output format | 5.1 Invariant syntax |
| Excel files | 7.6 Comma-separated-value front end convertcsv.pl |
| EXIT program point | 5.2 Program points |
| ‘Exiting’, in Daikon output | 5.4 Interpreting Daikon output |
|
F | | |
| FIFO, as data trace file | 7.3.7 Online execution |
| file name, for dtrace file | 7.1.1.3 Chicory miscellaneous options |
| filters | 5.6 Invariant filters |
| filters, enabling/disabling | 6.1.1.1 Options to enable/disable filters |
| flags for Daikon | 4. Running Daikon |
| front end | 7. 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 Eiffel | 7.7 Other front ends |
| front end for IOA | 7.7 Other front ends |
| front end for Java | 7.1 Java front end Chicory |
| front end for Lisp | 7.7 Other front ends |
| front end for Lisp | 10.1 History |
| front end for Perl | 7.5 Perl front end dfepl |
|