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

Index: H – O

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

H
has only one value, in invariant output5.4.3 Has only one value variables
hashcode type, for variables5.4.3 Has only one value variables
hierarchical cluster analysis6.3.2 Cluster analysis for splitters
hierarchy of program points5.2 Program points
hierarchy, disabling4.2 Options to control invariant detection
history of Daikon10.1 History
HotSpot JVM9.1.6 Out of memory

I
IA-32e architecture, and Kvasir7.3.9 Kvasir implementation and limitations
illegal constant pool index error, when running Chicory9.4.1 VerifyError constant pool index error
implication checking tool8.1.8 LogicalCompare
implication invariant6.2 Conditional invariants and implications
INCLUDE environment variable7.4.2.1 Standard compiler options for Mangel
inconsistent invariants9.1.8 Contradictory invariants
inference, of Nullable type8.1.5 AnnotateNullable
installing Daikon2. Installing Daikon
installing Kvasir7.3.8 Installing Kvasir
instrumentation7. Front ends (instrumentation)
instrumentation, of C/C++ programs7.3 C/C++ front end Kvasir
instrumentation, of C/C++ programs (deprecated)7.4 Source-based C/C++ front end Mangel-Wurzel
instrumentation, of Eiffel programs7.7 Other front ends
instrumentation, of IOA programs7.7 Other front ends
instrumentation, of Java programs7.1 Java front end Chicory
instrumentation, of Lisp programs7.7 Other front ends
instrumentation, of Perl programs7.5 Perl front end dfepl
instrumented JDK, for DynComp7.2.1 Instrumenting the JDK with DynComp
Intel 64 architecture, and Kvasir7.3.9 Kvasir implementation and limitations
inv files, tools for manipulating8.1 Tools for manipulating invariants
invariant diff8.1.3 Invariant Diff
invariant filters5.6 Invariant filters
invariant list5.5 Invariant list
invariant merge8.1.2 MergeInvariants
invariant output format5.1 Invariant syntax
invariant, conditional6.2 Conditional invariants and implications
invariant, dummy6.2 Conditional invariants and implications
invariant, implication6.2 Conditional invariants and implications
InvariantChecker tool8.1.7 InvariantChecker
invariants, configuring6.1.1.3 Other invariant configuration parameters
invariants, contradictory9.1.8 Contradictory invariants
invariants, enabling/disabling6.1.1.2 Options to enable/disable specific invariants
invariants, inconsistent9.1.8 Contradictory invariants
invariants, list of all5.5 Invariant list
invocation nonce9.1.4 No return from procedure
IOA front end7.7 Other front ends
irrelevant output from Daikon9.1.1 Too much output

J
Java front end7.1 Java front end Chicory
Java output format5.1 Invariant syntax
java.lang.OutOfMemoryError9.1.6 Out of memory
java.lang.UnsupportedClassVersionError9.1.5 Unsupported class version
java.lang.VerifyError, when running Chicory9.4.1 VerifyError constant pool index error
JDK, instrumented for DynComp7.2.1 Instrumenting the JDK with DynComp
JML output format5.1 Invariant syntax
Jtest DBC output format5.1 Invariant syntax
JVM memory management9.1.6 Out of memory

K
kmeans cluster analysis6.3.2 Cluster analysis for splitters
Kvasir (binary front end for C)7.3 C/C++ front end Kvasir
Kvasir installation7.3.8 Installing Kvasir

L
large data trace files9.2 Large data trace (.dtrace) files
large trace files, creating9.1.10.1 Slow creation of large trace files
large trace files, creating9.1.10.2 Slow inference of invariants
license10.2 License
linked lists, in Chicory7.1.1.2 Variables in Chicory output
Lisp front end7.7 Other front ends
Lisp front end10.1 History
local variables5.3 Variable names
local variables6.5 Loop invariants
Logger4.5 Daikon debugging options
Logger4.5 Daikon debugging options
logging, for debugging Daikon4.5 Daikon debugging options
logging, for debugging Daikon4.5 Daikon debugging options
LogicalCompare tool8.1.8 LogicalCompare
loop invariants6.5 Loop invariants

M
mailing lists1.1 Mailing lists
major.minor version error9.1.5 Unsupported class version
mangel driver7.4.1 Using Mangel-Wurzel
Mangel-Wurzel (deprecated source-based front end for C)7.4 Source-based C/C++ front end Mangel-Wurzel
MANGEL_DIR environment variable7.4.2.1 Standard compiler options for Mangel
MANGEL_DIR environment variable7.4.6 Installing Mangel-Wurzel
memory exhaustion9.1.6 Out of memory
merge invariants8.1.2 MergeInvariants
MergeESC tool, see Annotate tool8.1.4 Annotate
method needs to be implemented warning9.1.9 Method needs to be implemented
Microsoft Windows2.2.4 Running Daikon under Windows
mux output4.1 Options to control Daikon output

N
named pipe, as data trace file7.3.7 Online execution
needs to be implemented warning9.1.9 Method needs to be implemented
negative array index (counts from end of array)5.3 Variable names
no output from Daikon9.1.3 No samples and no output
no return from procedure, warning9.1.4 No return from procedure
nonce, invocation9.1.4 No return from procedure
NonNull type inference8.1.5 AnnotateNullable
nonsensical values for variables5.3 Variable names
nonsensical values for variables, guarding.6.1.1.6 General configuration options
Nullable type inference8.1.5 AnnotateNullable

O
object invariants5.2 Program points
OBJECT program point5.2 Program points
observer methods, as synonym for pure methods7.1.1.2 Variables in Chicory output
ObviousFilter5.6 Invariant filters
on-the-fly execution, for C programs7.3.7 Online execution
online execution, for C programs7.3.7 Online execution
OnlyConstantVariablesFilter5.6 Invariant filters
orig() variable (pre-state value)5.3 Variable names
orig() variable (pre-state value)5.3.1 orig variable example
out of memory error9.1.6 Out of memory
output format, Daikon5.1 Invariant syntax
output format, DBC5.1 Invariant syntax
output format, ESC/Java5.1 Invariant syntax
output format, for invariants5.1 Invariant syntax
output format, Java5.1 Invariant syntax
output format, JML5.1 Invariant syntax
output format, Jtest DBC5.1 Invariant syntax
output format, Simplify5.1 Invariant syntax

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.