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

Index: P – X

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

P
ParentFilter5.6 Invariant filters
Perl front end7.5 Perl front end dfepl
permanent generation (in HotSpot JVM)9.1.8 Out of memory
pipe, as data trace file7.3.7 Online execution
pointer type disambiguation7.3.5 Pointer type disambiguation
post() variable (post-state value)5.3 Variable names
post-state variables5.3 Variable names
postcondition5.2 Program points
pre-state variables5.3 Variable names
precondition5.2 Program points
printing invariants8.1.1 Printing invariants
PrintInvariants program8.1.1 Printing invariants
private methods5.2 Program points
private variables7.1.1.2 Variables in Chicory output
problems, reporting9.5 Reporting problems
program point5.2 Program points
program point hierarchy5.2 Program points
pure methods7.1.1.2 Variables in Chicory output
Python implementation of Daikon10.1 History

R
random selection for splitters6.3.3 Random selection for splitters
redundant invariant5.6 Invariant filters
reporting bugs9.5 Reporting problems
reporting problems9.5 Reporting problems
representation invariants5.2 Program points
return from procedure, warning9.1.6 No return from procedure
runcluster.pl program6.3.2 Cluster analysis for splitters
runtime, of Daikon9.1.12 Daikon runs slowly
runtime-check instrumenter8.1.6 Runtime-check instrumenter (runtimechecker)
runtimechecker instrumenter8.1.6 Runtime-check instrumenter (runtimechecker)

S
samples breakdown output4.1 Options to control Daikon output
sampling of program point executions7.1.1.1 Program points in Chicory output
Simplify output format5.1 Invariant syntax
Simplify theorem prover, configuring6.1.1.5 Simplify interface configuration options
Simplify, could not utilize9.1.9 Simplify errors
SimplifyFilter5.6 Invariant filters
slow operation, of Daikon9.1.12 Daikon runs slowly
spinfo file6.2.1 Splitter info file format
splitter info file6.2.1 Splitter info file format
Splitters, configuring6.1.1.6 Splitter options
Splitters, configuring6.1.1.7 Debugging options
splitting6.2 Conditional invariants and implications
splitting condition6.2 Conditional invariants and implications
splitting conditions, cluster analysis6.3.2 Cluster analysis for splitters
splitting conditions, random selection6.3.3 Random selection for splitters
splitting conditions, static analysis6.3.1 Static analysis for splitters
spreadsheet files7.6 Comma-separated-value front end convertcsv.pl
static analysis for splitters6.3.1 Static analysis for splitters
Static fields (global variables) in Java programs7.1.2 Static fields (global variables)

T
tab-separated files7.6 Comma-separated-value front end convertcsv.pl
temporary (local) variables5.3 Variable names
this_invocation_nonce9.1.6 No return from procedure
too much output from Daikon9.1.2 Too much output
trace file name7.1.1.3 Chicory miscellaneous options
trace-purge-fns.pl script9.2.5.1 Reducing program points (functions)
trace-untruncate program9.2.5.3 Reducing executions
TraceSelect tool6.3.3 Random selection for splitters
troubleshooting9. Troubleshooting
type inference, Nullable8.1.5 AnnotateNullable

U
UnjustifiedFilter5.6 Invariant filters
unmatched entries, not ignoring4.2 Options to control invariant detection
UnmodifiedVariableEqualityFilter5.6 Invariant filters
UnsupportedClassVersionError9.1.7 Unsupported class version
useless output from Daikon9.1.2 Too much output

V
variables, local5.3 Variable names
variables, omit7.1.1.2 Variables in Chicory output
variables, private7.1.1.2 Variables in Chicory output
variables, temporary (local)5.3 Variable names
VerifyError, when running Chicory9.4.1 VerifyError constant pool index error
Visual Basic front end7.4 .NET (C#) front end Celeriac

W
warning messages9. Troubleshooting
Windows2.2.4 Running Daikon under Windows
WriteViolationFile tool8.1.6.1 Accessing violations

X
xm cluster analysis6.3.2 Cluster analysis for splitters

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