daikon/doc/daikon.dict at 251de7d890018d3435185b82951b3dcb5b64e372 · codespecs/daikon · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
ABI
accessor
accessors
acyclic
ADDR
AFS
AMD
amd64
API
arity
Athlon
Automata
basename
BCEL
BIBDIR
biconditional
Binutils
bitwise
boolean
breakpoint
bytecode
CentOS
changeset
checkin
checkins
classpath
codebase
comparabilities
comparator
ConcurrentModificationException
consequents
Coregrind
CSE
customizable
customizations
CVS
cygwin
daikon
Daikon
Daikon's
DAIKONDIR
dataflow
deallocated
deallocations
demangle
dereference
dereferenced
dereferences
dereferencing
deserializing
dimensionality
disambiguated
disambiguates
dtrace
DynComp
DynComp's
edu
EM64T
executables
fcntl
filename
FileIOProgress
fjalar
Fjalar
Fjalar's
getters
gdb
GitHub
globals
hashcode
hashcodes
html
Hynger
IDE
inferencing
inline
instantiation
instrumenter
instrumenters
initializer
initializers
invariant
invariants
invariant's
IOA
Itanium
Javadoc
JDK
JRE
JTB
JUnit
JVM
JVMs
JVM's
kmeans
kvasir
Kvasir
Kvasir's
lexicographically
LLVM
MacOSX
Makefile
Makefiles
Makefile's
Memcheck
Memcheck's
merchantability
metadata
mkdir
namespace
namespaces
nullness
optimizations
outliers
overfitting
pathname
pathnames
pdf
PDF
PLSE
polymorphism
popup
postcondition
postconditions
postprocessed
pragma
prepend
prepended
preprocess
preprocessing
preprocessor
programmatically
prover
Randoop
readelf
rethrown
runnable
runtime
runtimechecker
screenshot
screenshots
signalling
splitter
splitters
StackMap
startup
strnlen
struct
structs
subclasses
subdirectories
subdirectory
sublicense
subparts
subsequence
substring
superclass
superclasses
superclasses'
supersequence
supersets
suppressions
SVN
Takuan
texinfo
Texinfo
throwable
TODO
toolset
tuple
tuples
Udon
unannotated
unary
unformattable
uninstrumented
unselected
unsplit
untyped
UW
valgrind
valgrind's
versa
versioning
washington
whitespace
wildcard
workflow
workspace
x86
xmeans