| Index Entry | Section |
|
P | | |
| ParentFilter | 5.6 Invariant filters |
| Perl front end | 7.5 Perl front end dfepl |
| permanent generation (in HotSpot JVM) | 9.1.8 Out of memory |
| pipe, as data trace file | 7.3.7 Online execution |
| pointer type disambiguation | 7.3.5 Pointer type disambiguation |
| post() variable (post-state value) | 5.3 Variable names |
| post-state variables | 5.3 Variable names |
| postcondition | 5.2 Program points |
| pre-state variables | 5.3 Variable names |
| precondition | 5.2 Program points |
| printing invariants | 8.1.1 Printing invariants |
| PrintInvariants program | 8.1.1 Printing invariants |
| private methods | 5.2 Program points |
| private variables | 7.1.1.2 Variables in Chicory output |
| problems, reporting | 9.5 Reporting problems |
| program point | 5.2 Program points |
| program point hierarchy | 5.2 Program points |
| pure methods | 7.1.1.2 Variables in Chicory output |
| Python implementation of Daikon | 10.1 History |
|
R | | |
| random selection for splitters | 6.3.3 Random selection for splitters |
| redundant invariant | 5.6 Invariant filters |
| reporting bugs | 9.5 Reporting problems |
| reporting problems | 9.5 Reporting problems |
| representation invariants | 5.2 Program points |
| return from procedure, warning | 9.1.6 No return from procedure |
| runcluster.pl program | 6.3.2 Cluster analysis for splitters |
| runtime, of Daikon | 9.1.12 Daikon runs slowly |
| runtime-check instrumenter | 8.1.6 Runtime-check instrumenter (runtimechecker) |
| runtimechecker instrumenter | 8.1.6 Runtime-check instrumenter (runtimechecker) |
|
S | | |
| samples breakdown output | 4.1 Options to control Daikon output |
| sampling of program point executions | 7.1.1.1 Program points in Chicory output |
| Simplify output format | 5.1 Invariant syntax |
| Simplify theorem prover, configuring | 6.1.1.5 Simplify interface configuration options |
| Simplify, could not utilize | 9.1.9 Simplify errors |
| SimplifyFilter | 5.6 Invariant filters |
| slow operation, of Daikon | 9.1.12 Daikon runs slowly |
| spinfo file | 6.2.1 Splitter info file format |
| splitter info file | 6.2.1 Splitter info file format |
| Splitters, configuring | 6.1.1.6 Splitter options |
| Splitters, configuring | 6.1.1.7 Debugging options |
| splitting | 6.2 Conditional invariants and implications |
| splitting condition | 6.2 Conditional invariants and implications |
| splitting conditions, cluster analysis | 6.3.2 Cluster analysis for splitters |
| splitting conditions, random selection | 6.3.3 Random selection for splitters |
| splitting conditions, static analysis | 6.3.1 Static analysis for splitters |
| spreadsheet files | 7.6 Comma-separated-value front end convertcsv.pl |
| static analysis for splitters | 6.3.1 Static analysis for splitters |
| Static fields (global variables) in Java programs | 7.1.2 Static fields (global variables) |
|
T | | |
| tab-separated files | 7.6 Comma-separated-value front end convertcsv.pl |
| temporary (local) variables | 5.3 Variable names |
| this_invocation_nonce | 9.1.6 No return from procedure |
| too much output from Daikon | 9.1.2 Too much output |
| trace file name | 7.1.1.3 Chicory miscellaneous options |
| trace-purge-fns.pl script | 9.2.5.1 Reducing program points (functions) |
| trace-untruncate program | 9.2.5.3 Reducing executions |
| TraceSelect tool | 6.3.3 Random selection for splitters |
| troubleshooting | 9. Troubleshooting |
| type inference, Nullable | 8.1.5 AnnotateNullable |
|
U | | |
| UnjustifiedFilter | 5.6 Invariant filters |
| unmatched entries, not ignoring | 4.2 Options to control invariant detection |
| UnmodifiedVariableEqualityFilter | 5.6 Invariant filters |
| UnsupportedClassVersionError | 9.1.7 Unsupported class version |
| useless output from Daikon | 9.1.2 Too much output |
|
V | | |
| variables, local | 5.3 Variable names |
| variables, omit | 7.1.1.2 Variables in Chicory output |
| variables, private | 7.1.1.2 Variables in Chicory output |
| variables, temporary (local) | 5.3 Variable names |
| VerifyError, when running Chicory | 9.4.1 VerifyError constant pool index error |
| Visual Basic front end | 7.4 .NET (C#) front end Celeriac |
|
W | | |
| warning messages | 9. Troubleshooting |
| Windows | 2.2.4 Running Daikon under Windows |
| WriteViolationFile tool | 8.1.6.1 Accessing violations |
|
X | | |
| xm cluster analysis | 6.3.2 Cluster analysis for splitters |
|