~mir-team/mir/chain-simplification

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
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
# ld

{
    ld_value4
    Memcheck:Value4
    obj:/lib/arm-linux-gnueabihf/ld-2.*.so
}

{
    ld_cond
    Memcheck:Cond
    obj:/lib/arm-linux-gnueabihf/ld-2.*.so
}


{
    ld_open
    Memcheck:Param
    open(filename)
    obj:/lib/arm-linux-gnueabihf/ld-2.*.so
}

{
    ld_getcwd
    Memcheck:Param
    getcwd(buf)
    obj:/lib/arm-linux-gnueabihf/ld-2.*.so
}

{
    ld_stat64
    Memcheck:Param
    stat64(file_name)
    obj:/lib/arm-linux-gnueabihf/ld-2.*.so
}

# Android libs

{
    android_cond
    Memcheck:Cond
    obj:/android/system/*.so
}

# libc

{
    libc_freeres_value4
    Memcheck:Value4
    ...
    fun:__libc_freeres
    ...
}

{
    libc_freeres_cond
    Memcheck:Cond
    ...
    fun:__libc_freeres
    ...
}

{
   libc_udivmoddi4_cond
   Memcheck:Cond
   fun:__udivmoddi4
}

{
   libc_udivmoddi4_value4
   Memcheck:Value4
   fun:__udivmoddi4
}

# It's unfortunate that we need these, since they will
# suppress errors Addr4 and Value4 from libc regardless
# of call depth
{
   libc_addr4
   Memcheck:Addr4
   obj:/lib/arm-linux-gnueabihf/libc-2.*.so
}

{
   libc_value4
   Memcheck:Value4
   obj:/lib/arm-linux-gnueabihf/libc-2.*.so
}

# libgcc_s

{
    libgcc_s_value4
    Memcheck:Value4
    ...
    obj:/lib/arm-linux-gnueabihf/libgcc_s.so.1
}

{
    libgcc_s_addr4
    Memcheck:Addr4
    ...
    obj:/lib/arm-linux-gnueabihf/libgcc_s.so.1
}

{
    libgcc_s_cond
    Memcheck:Cond
    ...
    obj:/lib/arm-linux-gnueabihf/libgcc_s.so.1
}

# libdl
# Valgrind thinks that dlopen returns an uninitialized
# value, so all dlsym calls cause spurious memory errors
# since they use that value.

{
    dlopen_cond
    Memcheck:Cond
    ...
    fun:dlopen@@GLIBC_2.4
    ...
}

{
    dlsym_value4
    Memcheck:Value4
    ...
    fun:dlsym
    ...
}

{
    dlvsym_value4
    Memcheck:Addr4
    ...
    fun:dlvsym
    ...
}

{
    dlsym_cond
    Memcheck:Cond
    ...
    fun:dlsym
    ...
}

{
   dlopen_cond
   Memcheck:Cond
   fun:calloc
   fun:_dl_new_object
   ...
}

# mir::SharedLibrary
# Valgrind thinks that dlopen returns an uninitialized
# value, so all checks using that value cause spurious
# memory errors.

{
   spurious_strlen_addr4
   Memcheck:Addr4
   ...
   fun:dlsym
   ...
   fun:_ZN50SharedLibrary_load_nonexistent_function_fails_Test8TestBodyEv
}

{
    mir_sharedlibrary_cond
    Memcheck:Cond
    fun:_ZN3mir13SharedLibraryC1EPKc
    ...
}

# glib is not valgrind-friendly

{
   glib_create_type_instance
   Memcheck:Addr4
   fun:g_type_create_instance
}

{
   glib_slice_alloc0
   Memcheck:Addr4
   fun:memset
   fun:g_slice_alloc0
}

# futex

{
   futex_utime
   Memcheck:Param
   futex(utime)
   fun:syscall
   fun:_ZNSt28__atomic_futex_unsigned_base19_M_futex_wait_untilEPjjbNSt6chrono8durationIxSt5ratioILx1ELx1EEEENS2*
}

{
   futex_timeout
   Memcheck:Param
   futex(timeout)
   fun:syscall
   fun:_ZNSt28__atomic_futex_unsigned_base19_M_futex_wait_untilEPjjbNSt6chrono8durationIxSt5ratioILx1ELx1EEEENS2*
}

# remove_if_stale, false positive due to '-O2' optimization level

{
   remove_if_stale
   Memcheck:Cond
   fun:remove_if_stale
}