FD.io VPP  v17.07.01-10-g3be13f0
Vector Packet Processing
memcheck.h
Go to the documentation of this file.
1 
2 /*
3  ----------------------------------------------------------------
4 
5  Notice that the following BSD-style license applies to this one
6  file (memcheck.h) only. The rest of Valgrind is licensed under the
7  terms of the GNU General Public License, version 2, unless
8  otherwise indicated. See the COPYING file in the source
9  distribution for details.
10 
11  ----------------------------------------------------------------
12 
13  This file is part of MemCheck, a heavyweight Valgrind tool for
14  detecting memory errors.
15 
16  Copyright (C) 2000-2009 Julian Seward. All rights reserved.
17 
18  Redistribution and use in source and binary forms, with or without
19  modification, are permitted provided that the following conditions
20  are met:
21 
22  1. Redistributions of source code must retain the above copyright
23  notice, this list of conditions and the following disclaimer.
24 
25  2. The origin of this software must not be misrepresented; you must
26  not claim that you wrote the original software. If you use this
27  software in a product, an acknowledgment in the product
28  documentation would be appreciated but is not required.
29 
30  3. Altered source versions must be plainly marked as such, and must
31  not be misrepresented as being the original software.
32 
33  4. The name of the author may not be used to endorse or promote
34  products derived from this software without specific prior written
35  permission.
36 
37  THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
38  OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
39  WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
40  ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
41  DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
42  DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
43  GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
44  INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
45  WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
46  NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
47  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
48 
49  ----------------------------------------------------------------
50 
51  Notice that the above BSD-style license applies to this one file
52  (memcheck.h) only. The entire rest of Valgrind is licensed under
53  the terms of the GNU General Public License, version 2. See the
54  COPYING file in the source distribution for details.
55 
56  ----------------------------------------------------------------
57 */
58 
59 
60 #ifndef __MEMCHECK_H
61 #define __MEMCHECK_H
62 
63 
64 /* This file is for inclusion into client (your!) code.
65 
66  You can use these macros to manipulate and query memory permissions
67  inside your own programs.
68 
69  See comment near the top of valgrind.h on how to use them.
70 */
71 
72 #include "valgrind.h"
73 
74 /* !! ABIWARNING !! ABIWARNING !! ABIWARNING !! ABIWARNING !!
75  This enum comprises an ABI exported by Valgrind to programs
76  which use client requests. DO NOT CHANGE THE ORDER OF THESE
77  ENTRIES, NOR DELETE ANY -- add new ones at the end. */
78 typedef enum
79 {
88 
91 
93 
95 
96  /* Not next to VG_USERREQ__COUNT_LEAKS because it was added later. */
98 
99  /* This is just for memcheck's internal use - don't use it */
100  _VG_USERREQ__MEMCHECK_RECORD_OVERLAP_ERROR
101  = VG_USERREQ_TOOL_BASE ('M', 'C') + 256
103 
104 
105 
106 /* Client-code macros to manipulate the state of memory. */
107 
108 /* Mark memory at _qzz_addr as unaddressable for _qzz_len bytes. */
109 #define VALGRIND_MAKE_MEM_NOACCESS(_qzz_addr,_qzz_len) \
110  (__extension__({unsigned long _qzz_res; \
111  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0 /* default return */, \
112  VG_USERREQ__MAKE_MEM_NOACCESS, \
113  _qzz_addr, _qzz_len, 0, 0, 0); \
114  _qzz_res; \
115  }))
116 
117 /* Similarly, mark memory at _qzz_addr as addressable but undefined
118  for _qzz_len bytes. */
119 #define VALGRIND_MAKE_MEM_UNDEFINED(_qzz_addr,_qzz_len) \
120  (__extension__({unsigned long _qzz_res; \
121  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0 /* default return */, \
122  VG_USERREQ__MAKE_MEM_UNDEFINED, \
123  _qzz_addr, _qzz_len, 0, 0, 0); \
124  _qzz_res; \
125  }))
126 
127 /* Similarly, mark memory at _qzz_addr as addressable and defined
128  for _qzz_len bytes. */
129 #define VALGRIND_MAKE_MEM_DEFINED(_qzz_addr,_qzz_len) \
130  (__extension__({unsigned long _qzz_res; \
131  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0 /* default return */, \
132  VG_USERREQ__MAKE_MEM_DEFINED, \
133  _qzz_addr, _qzz_len, 0, 0, 0); \
134  _qzz_res; \
135  }))
136 
137 /* Similar to VALGRIND_MAKE_MEM_DEFINED except that addressability is
138  not altered: bytes which are addressable are marked as defined,
139  but those which are not addressable are left unchanged. */
140 #define VALGRIND_MAKE_MEM_DEFINED_IF_ADDRESSABLE(_qzz_addr,_qzz_len) \
141  (__extension__({unsigned long _qzz_res; \
142  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0 /* default return */, \
143  VG_USERREQ__MAKE_MEM_DEFINED_IF_ADDRESSABLE, \
144  _qzz_addr, _qzz_len, 0, 0, 0); \
145  _qzz_res; \
146  }))
147 
148 /* Create a block-description handle. The description is an ascii
149  string which is included in any messages pertaining to addresses
150  within the specified memory range. Has no other effect on the
151  properties of the memory range. */
152 #define VALGRIND_CREATE_BLOCK(_qzz_addr,_qzz_len, _qzz_desc) \
153  (__extension__({unsigned long _qzz_res; \
154  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0 /* default return */, \
155  VG_USERREQ__CREATE_BLOCK, \
156  _qzz_addr, _qzz_len, _qzz_desc, \
157  0, 0); \
158  _qzz_res; \
159  }))
160 
161 /* Discard a block-description-handle. Returns 1 for an
162  invalid handle, 0 for a valid handle. */
163 #define VALGRIND_DISCARD(_qzz_blkindex) \
164  (__extension__ ({unsigned long _qzz_res; \
165  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0 /* default return */, \
166  VG_USERREQ__DISCARD, \
167  0, _qzz_blkindex, 0, 0, 0); \
168  _qzz_res; \
169  }))
170 
171 
172 /* Client-code macros to check the state of memory. */
173 
174 /* Check that memory at _qzz_addr is addressable for _qzz_len bytes.
175  If suitable addressibility is not established, Valgrind prints an
176  error message and returns the address of the first offending byte.
177  Otherwise it returns zero. */
178 #define VALGRIND_CHECK_MEM_IS_ADDRESSABLE(_qzz_addr,_qzz_len) \
179  (__extension__({unsigned long _qzz_res; \
180  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0, \
181  VG_USERREQ__CHECK_MEM_IS_ADDRESSABLE,\
182  _qzz_addr, _qzz_len, 0, 0, 0); \
183  _qzz_res; \
184  }))
185 
186 /* Check that memory at _qzz_addr is addressable and defined for
187  _qzz_len bytes. If suitable addressibility and definedness are not
188  established, Valgrind prints an error message and returns the
189  address of the first offending byte. Otherwise it returns zero. */
190 #define VALGRIND_CHECK_MEM_IS_DEFINED(_qzz_addr,_qzz_len) \
191  (__extension__({unsigned long _qzz_res; \
192  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0, \
193  VG_USERREQ__CHECK_MEM_IS_DEFINED, \
194  _qzz_addr, _qzz_len, 0, 0, 0); \
195  _qzz_res; \
196  }))
197 
198 /* Use this macro to force the definedness and addressibility of an
199  lvalue to be checked. If suitable addressibility and definedness
200  are not established, Valgrind prints an error message and returns
201  the address of the first offending byte. Otherwise it returns
202  zero. */
203 #define VALGRIND_CHECK_VALUE_IS_DEFINED(__lvalue) \
204  VALGRIND_CHECK_MEM_IS_DEFINED( \
205  (volatile unsigned char *)&(__lvalue), \
206  (unsigned long)(sizeof (__lvalue)))
207 
208 
209 /* Do a full memory leak check (like --leak-check=full) mid-execution. */
210 #define VALGRIND_DO_LEAK_CHECK \
211  {unsigned long _qzz_res; \
212  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0, \
213  VG_USERREQ__DO_LEAK_CHECK, \
214  0, 0, 0, 0, 0); \
215  }
216 
217 /* Do a summary memory leak check (like --leak-check=summary) mid-execution. */
218 #define VALGRIND_DO_QUICK_LEAK_CHECK \
219  {unsigned long _qzz_res; \
220  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0, \
221  VG_USERREQ__DO_LEAK_CHECK, \
222  1, 0, 0, 0, 0); \
223  }
224 
225 /* Return number of leaked, dubious, reachable and suppressed bytes found by
226  all previous leak checks. They must be lvalues. */
227 #define VALGRIND_COUNT_LEAKS(leaked, dubious, reachable, suppressed) \
228  /* For safety on 64-bit platforms we assign the results to private
229  unsigned long variables, then assign these to the lvalues the user
230  specified, which works no matter what type 'leaked', 'dubious', etc
231  are. We also initialise '_qzz_leaked', etc because
232  VG_USERREQ__COUNT_LEAKS doesn't mark the values returned as
233  defined. */ \
234  {unsigned long _qzz_res; \
235  unsigned long _qzz_leaked = 0, _qzz_dubious = 0; \
236  unsigned long _qzz_reachable = 0, _qzz_suppressed = 0; \
237  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0, \
238  VG_USERREQ__COUNT_LEAKS, \
239  &_qzz_leaked, &_qzz_dubious, \
240  &_qzz_reachable, &_qzz_suppressed, 0); \
241  leaked = _qzz_leaked; \
242  dubious = _qzz_dubious; \
243  reachable = _qzz_reachable; \
244  suppressed = _qzz_suppressed; \
245  }
246 
247 /* Return number of leaked, dubious, reachable and suppressed bytes found by
248  all previous leak checks. They must be lvalues. */
249 #define VALGRIND_COUNT_LEAK_BLOCKS(leaked, dubious, reachable, suppressed) \
250  /* For safety on 64-bit platforms we assign the results to private
251  unsigned long variables, then assign these to the lvalues the user
252  specified, which works no matter what type 'leaked', 'dubious', etc
253  are. We also initialise '_qzz_leaked', etc because
254  VG_USERREQ__COUNT_LEAKS doesn't mark the values returned as
255  defined. */ \
256  {unsigned long _qzz_res; \
257  unsigned long _qzz_leaked = 0, _qzz_dubious = 0; \
258  unsigned long _qzz_reachable = 0, _qzz_suppressed = 0; \
259  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0, \
260  VG_USERREQ__COUNT_LEAK_BLOCKS, \
261  &_qzz_leaked, &_qzz_dubious, \
262  &_qzz_reachable, &_qzz_suppressed, 0); \
263  leaked = _qzz_leaked; \
264  dubious = _qzz_dubious; \
265  reachable = _qzz_reachable; \
266  suppressed = _qzz_suppressed; \
267  }
268 
269 
270 /* Get the validity data for addresses [zza..zza+zznbytes-1] and copy it
271  into the provided zzvbits array. Return values:
272  0 if not running on valgrind
273  1 success
274  2 [previously indicated unaligned arrays; these are now allowed]
275  3 if any parts of zzsrc/zzvbits are not addressable.
276  The metadata is not copied in cases 0, 2 or 3 so it should be
277  impossible to segfault your system by using this call.
278 */
279 #define VALGRIND_GET_VBITS(zza,zzvbits,zznbytes) \
280  (__extension__({unsigned long _qzz_res; \
281  char* czza = (char*)zza; \
282  char* czzvbits = (char*)zzvbits; \
283  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0, \
284  VG_USERREQ__GET_VBITS, \
285  czza, czzvbits, zznbytes, 0, 0 ); \
286  _qzz_res; \
287  }))
288 
289 /* Set the validity data for addresses [zza..zza+zznbytes-1], copying it
290  from the provided zzvbits array. Return values:
291  0 if not running on valgrind
292  1 success
293  2 [previously indicated unaligned arrays; these are now allowed]
294  3 if any parts of zza/zzvbits are not addressable.
295  The metadata is not copied in cases 0, 2 or 3 so it should be
296  impossible to segfault your system by using this call.
297 */
298 #define VALGRIND_SET_VBITS(zza,zzvbits,zznbytes) \
299  (__extension__({unsigned int _qzz_res; \
300  char* czza = (char*)zza; \
301  char* czzvbits = (char*)zzvbits; \
302  VALGRIND_DO_CLIENT_REQUEST(_qzz_res, 0, \
303  VG_USERREQ__SET_VBITS, \
304  czza, czzvbits, zznbytes, 0, 0 ); \
305  _qzz_res; \
306  }))
307 
308 #endif
309 
310 
311 /*
312  * fd.io coding-style-patch-verification: ON
313  *
314  * Local Variables:
315  * eval: (c-set-style "gnu")
316  * End:
317  */
Vg_MemCheckClientRequest
Definition: memcheck.h:78
#define VG_USERREQ_TOOL_BASE(a, b)
Definition: valgrind.h:3599