| Index Entry | | Section |
|---|
|
| . | | |
|---|
| .decls file: | | Declarations |
| .decls file (version 1): | | Version 1 Declarations |
| .dtrace file: | | Data trace records |
| .jpp files: | | Requirements for compiling Daikon |
|
| A | | |
|---|
| adding new derived variables: | | New derived variables |
| adding new invariants: | | New invariants |
| adding new output formats: | | New formatting for invariants |
| adding new regression tests: | | Adding regression tests |
| adding new suppressors: | | New suppressors |
| adding new unit tests: | | Unit testing |
| adding track logging: | | Adding track logging |
|
| B | | |
|---|
| branches, in CVS repository: | | Branches |
|
| C | | |
|---|
| C programs, instrumenting: | | Instrumenting C programs |
| changing Daikon: | | Extending Daikon |
| comparability, for variables: | | Variable comparability |
| comparability, for variables (.decls format version 1): | | V1 Program point declarations |
| compiling Daikon: | | Compiling Daikon |
| customizing Daikon: | | Extending Daikon |
|
| D | | |
|---|
| Daikon internals: | | Daikon internals |
| data trace format: | | Data trace records |
| dataflow hierarchy: | | Dataflow hierarchy |
| deallocated pointers: | | Instrumenting C programs |
| debugging Daikon: | | Debugging Daikon |
| declaration file format: | | Variable declarations |
| declaration format: | | Declarations |
| derived variable: | | New derived variables |
|
| E | | |
|---|
| Eclipse: | | Using Eclipse |
| efficiency issues: | | Daikon internals |
| equality optimization: | | Equality optimization |
| extending Daikon: | | Extending Daikon |
|
| F | | |
|---|
| file formats: | | File formats |
| front end, writing: | | New front ends |
|
| G | | |
|---|
| Git repository: | | Source code (version control repository) |
| Git repository: | | Historical |
|
| H | | |
|---|
| hashcode type, for variables: | | Variable declarations |
| hierarchy: | | Dataflow hierarchy |
|
| I | | |
|---|
| instrumenting C programs: | | Instrumenting C programs |
| instrumenting Java programs: | | Example instrumented Java program |
| invalid values: | | Instrumenting C programs |
|
| J | | |
|---|
| Java programs, instrumenting: | | Example instrumented Java program |
| jpp files: | | Requirements for compiling Daikon |
|
| L | | |
|---|
| logging: | | Track logging |
|
| M | | |
|---|
| missing values for variables, see nonsensical values: | | Data trace records |
| modified bit: | | Data trace records |
| modifying Daikon: | | Extending Daikon |
|
| N | | |
|---|
| new derived variables: | | New derived variables |
| new invariants: | | New invariants |
| new output formats: | | New formatting for invariants |
| new regression tests: | | Adding regression tests |
| new suppressors: | | New suppressors |
| new unit tests: | | Unit testing |
| non-checking of invariants: | | Avoiding work for redundant invariants |
| non-instantiation of invariants: | | Avoiding work for redundant invariants |
| non-printing of invariants: | | Avoiding work for redundant invariants |
| nonce, invocation: | | Data trace records |
| nonsensical values: | | Instrumenting C programs |
| nonsensical values for variables: | | Data trace records |
|
| O | | |
|---|
| optimizations: | | Daikon internals |
| output format, defining new: | | New formatting for invariants |
|
| P | | |
|---|
| pointer variables, see hashcode type: | | Variable declarations |
|
| R | | |
|---|
| regression tests: | | Regression tests |
| repository: | | Source code (version control repository) |
| repository: | | Historical |
|
| S | | |
|---|
| source code: | | Source code (version control repository) |
| suppressors, adding new: | | New suppressors |
|
| T | | |
|---|
| testing Daikon: | | Testing |
| this_invocation_nonce: | | Data trace records |
| track log output: | | Track log output |
| track logging: | | Track logging |
|
| U | | |
|---|
| uninitialized variables: | | Instrumenting C programs |
| unit testing: | | Unit testing |
| units of measurement, see variable comparability: | | Variable comparability |
|
| V | | |
|---|
| valid values: | | Instrumenting C programs |
| variable comparability: | | Variable comparability |
| variable comparability (.decls format version 1): | | V1 Program point declarations |
| variable, derived: | | New derived variables |
| version control repository: | | Source code (version control repository) |
| Version control repository: | | Historical |
|