blob: 2d1e10f4845d8c8dd78e5f8d439ff11d384a97ed [file] [log] [blame]
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001//===-- msan_interceptors.cc ----------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file is a part of MemorySanitizer.
11//
12// Interceptors for standard library functions.
Kostya Serebryany9a58d392012-12-12 09:54:35 +000013//
14// FIXME: move as many interceptors as possible into
15// sanitizer_common/sanitizer_common_interceptors.h
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000016//===----------------------------------------------------------------------===//
17
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000018#include "msan.h"
Evgeniy Stepanovea61d082013-02-19 09:19:16 +000019#include "sanitizer_common/sanitizer_platform_limits_posix.h"
Kostya Serebryanyfa79cd62013-01-25 11:46:22 +000020#include "sanitizer_common/sanitizer_allocator.h"
Evgeniy Stepanov022235c2013-09-27 11:32:21 +000021#include "sanitizer_common/sanitizer_allocator_internal.h"
Evgeniy Stepanovbb25af52013-08-27 11:34:05 +000022#include "sanitizer_common/sanitizer_atomic.h"
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000023#include "sanitizer_common/sanitizer_common.h"
Evgeniy Stepanov66297ca2013-12-20 12:20:15 +000024#include "sanitizer_common/sanitizer_interception.h"
Evgeniy Stepanov9f7e8c12013-01-28 13:52:49 +000025#include "sanitizer_common/sanitizer_stackdepot.h"
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000026#include "sanitizer_common/sanitizer_libc.h"
Evgeniy Stepanovb4a218d2013-03-19 09:30:52 +000027#include "sanitizer_common/sanitizer_linux.h"
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000028
29#include <stdarg.h>
30// ACHTUNG! No other system header includes in this file.
31// Ideally, we should get rid of stdarg.h as well.
32
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000033using namespace __msan;
34
Evgeniy Stepanovbb25af52013-08-27 11:34:05 +000035using __sanitizer::memory_order;
36using __sanitizer::atomic_load;
37using __sanitizer::atomic_store;
38using __sanitizer::atomic_uintptr_t;
39
Evgeniy Stepanov2794c472013-10-22 14:31:30 +000040static unsigned g_thread_finalize_key;
41
Evgeniy Stepanovbfd21222013-05-22 12:50:26 +000042// True if this is a nested interceptor.
43static THREADLOCAL int in_interceptor_scope;
44
Evgeniy Stepanov791a7e12014-02-10 09:37:03 +000045extern "C" int *__errno_location(void);
46
Evgeniy Stepanovbfd21222013-05-22 12:50:26 +000047struct InterceptorScope {
48 InterceptorScope() { ++in_interceptor_scope; }
49 ~InterceptorScope() { --in_interceptor_scope; }
50};
51
52bool IsInInterceptorScope() {
53 return in_interceptor_scope;
54}
55
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000056#define ENSURE_MSAN_INITED() do { \
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +000057 CHECK(!msan_init_is_running); \
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000058 if (!msan_inited) { \
59 __msan_init(); \
60 } \
61} while (0)
62
Evgeniy Stepanovbfd21222013-05-22 12:50:26 +000063// Check that [x, x+n) range is unpoisoned.
Evgeniy Stepanovae4e1ec2013-06-21 12:37:58 +000064#define CHECK_UNPOISONED_0(x, n) \
65 do { \
66 sptr offset = __msan_test_shadow(x, n); \
67 if (__msan::IsInSymbolizer()) break; \
68 if (offset >= 0 && __msan::flags()->report_umrs) { \
69 GET_CALLER_PC_BP_SP; \
70 (void) sp; \
71 Printf("UMR in %s at offset %d inside [%p, +%d) \n", __FUNCTION__, \
72 offset, x, n); \
73 __msan::PrintWarningWithOrigin(pc, bp, \
74 __msan_get_origin((char *)x + offset)); \
Dmitry Vyukov97f0eae2013-08-13 15:33:00 +000075 if (__msan::flags()->halt_on_error) { \
Evgeniy Stepanovae4e1ec2013-06-21 12:37:58 +000076 Printf("Exiting\n"); \
77 Die(); \
78 } \
79 } \
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000080 } while (0)
81
Evgeniy Stepanovbfd21222013-05-22 12:50:26 +000082// Check that [x, x+n) range is unpoisoned unless we are in a nested
83// interceptor.
Evgeniy Stepanovdec0f762013-06-28 11:02:43 +000084#define CHECK_UNPOISONED(x, n) \
85 do { \
86 if (!IsInInterceptorScope()) CHECK_UNPOISONED_0(x, n); \
87 } while (0);
Evgeniy Stepanovbfd21222013-05-22 12:50:26 +000088
Kostya Serebryany07bb3922012-12-13 06:31:40 +000089static void *fast_memset(void *ptr, int c, SIZE_T n);
90static void *fast_memcpy(void *dst, const void *src, SIZE_T n);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000091
Kostya Serebryany07bb3922012-12-13 06:31:40 +000092INTERCEPTOR(SIZE_T, fread, void *ptr, SIZE_T size, SIZE_T nmemb, void *file) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000093 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +000094 SIZE_T res = REAL(fread)(ptr, size, nmemb, file);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +000095 if (res > 0)
96 __msan_unpoison(ptr, res *size);
97 return res;
98}
99
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000100INTERCEPTOR(SIZE_T, fread_unlocked, void *ptr, SIZE_T size, SIZE_T nmemb,
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000101 void *file) {
102 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000103 SIZE_T res = REAL(fread_unlocked)(ptr, size, nmemb, file);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000104 if (res > 0)
105 __msan_unpoison(ptr, res *size);
106 return res;
107}
108
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000109INTERCEPTOR(SSIZE_T, readlink, const char *path, char *buf, SIZE_T bufsiz) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000110 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000111 SSIZE_T res = REAL(readlink)(path, buf, bufsiz);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000112 if (res > 0)
113 __msan_unpoison(buf, res);
114 return res;
115}
116
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000117INTERCEPTOR(void *, memcpy, void *dest, const void *src, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000118 return __msan_memcpy(dest, src, n);
119}
120
Evgeniy Stepanovaa23bd82013-07-02 14:49:24 +0000121INTERCEPTOR(void *, mempcpy, void *dest, const void *src, SIZE_T n) {
122 return (char *)__msan_memcpy(dest, src, n) + n;
123}
124
Evgeniy Stepanov365bd0c2013-11-01 23:49:48 +0000125INTERCEPTOR(void *, memccpy, void *dest, const void *src, int c, SIZE_T n) {
126 ENSURE_MSAN_INITED();
127 void *res = REAL(memccpy)(dest, src, c, n);
128 CHECK(!res || (res >= dest && res <= (char *)dest + n));
129 SIZE_T sz = res ? (char *)res - (char *)dest : n;
130 CHECK_UNPOISONED(src, sz);
131 __msan_unpoison(dest, sz);
132 return res;
133}
134
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000135INTERCEPTOR(void *, memmove, void *dest, const void *src, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000136 return __msan_memmove(dest, src, n);
137}
138
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000139INTERCEPTOR(void *, memset, void *s, int c, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000140 return __msan_memset(s, c, n);
141}
142
Evgeniy Stepanovdb615c12013-07-04 13:19:41 +0000143INTERCEPTOR(void *, bcopy, const void *src, void *dest, SIZE_T n) {
144 return __msan_memmove(dest, src, n);
145}
146
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000147INTERCEPTOR(int, posix_memalign, void **memptr, SIZE_T alignment, SIZE_T size) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000148 GET_MALLOC_STACK_TRACE;
149 CHECK_EQ(alignment & (alignment - 1), 0);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000150 CHECK_NE(memptr, 0);
Evgeniy Stepanov455abf42013-04-23 13:27:36 +0000151 *memptr = MsanReallocate(&stack, 0, size, alignment, false);
152 CHECK_NE(*memptr, 0);
153 __msan_unpoison(memptr, sizeof(*memptr));
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000154 return 0;
155}
156
Evgeniy Stepanove3eaa7b2013-09-02 09:24:53 +0000157INTERCEPTOR(void *, memalign, SIZE_T boundary, SIZE_T size) {
158 GET_MALLOC_STACK_TRACE;
159 CHECK_EQ(boundary & (boundary - 1), 0);
160 void *ptr = MsanReallocate(&stack, 0, size, boundary, false);
161 return ptr;
162}
163
Kostya Serebryanye402b432014-01-24 09:14:11 +0000164INTERCEPTOR(void*, __libc_memalign, uptr align, uptr s)
165 ALIAS("memalign");
166
Evgeniy Stepanove3eaa7b2013-09-02 09:24:53 +0000167INTERCEPTOR(void *, valloc, SIZE_T size) {
168 GET_MALLOC_STACK_TRACE;
169 void *ptr = MsanReallocate(&stack, 0, size, GetPageSizeCached(), false);
170 return ptr;
171}
172
173INTERCEPTOR(void *, pvalloc, SIZE_T size) {
174 GET_MALLOC_STACK_TRACE;
175 uptr PageSize = GetPageSizeCached();
176 size = RoundUpTo(size, PageSize);
177 if (size == 0) {
178 // pvalloc(0) should allocate one page.
179 size = PageSize;
180 }
181 void *ptr = MsanReallocate(&stack, 0, size, PageSize, false);
182 return ptr;
183}
184
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000185INTERCEPTOR(void, free, void *ptr) {
Evgeniy Stepanov65562f52013-09-16 11:03:31 +0000186 GET_MALLOC_STACK_TRACE;
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000187 if (ptr == 0) return;
Evgeniy Stepanov65562f52013-09-16 11:03:31 +0000188 MsanDeallocate(&stack, ptr);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000189}
190
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000191INTERCEPTOR(SIZE_T, strlen, const char *s) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000192 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000193 SIZE_T res = REAL(strlen)(s);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000194 CHECK_UNPOISONED(s, res + 1);
195 return res;
196}
197
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000198INTERCEPTOR(SIZE_T, strnlen, const char *s, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000199 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000200 SIZE_T res = REAL(strnlen)(s, n);
201 SIZE_T scan_size = (res == n) ? res : res + 1;
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000202 CHECK_UNPOISONED(s, scan_size);
203 return res;
204}
205
206// FIXME: Add stricter shadow checks in str* interceptors (ex.: strcpy should
207// check the shadow of the terminating \0 byte).
208
209INTERCEPTOR(char *, strcpy, char *dest, const char *src) { // NOLINT
210 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000211 SIZE_T n = REAL(strlen)(src);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000212 char *res = REAL(strcpy)(dest, src); // NOLINT
213 __msan_copy_poison(dest, src, n + 1);
214 return res;
215}
216
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000217INTERCEPTOR(char *, strncpy, char *dest, const char *src, SIZE_T n) { // NOLINT
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000218 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000219 SIZE_T copy_size = REAL(strnlen)(src, n);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000220 if (copy_size < n)
221 copy_size++; // trailing \0
222 char *res = REAL(strncpy)(dest, src, n); // NOLINT
223 __msan_copy_poison(dest, src, copy_size);
224 return res;
225}
226
Evgeniy Stepanov654688b2013-07-01 15:19:37 +0000227INTERCEPTOR(char *, stpcpy, char *dest, const char *src) { // NOLINT
228 ENSURE_MSAN_INITED();
229 SIZE_T n = REAL(strlen)(src);
230 char *res = REAL(stpcpy)(dest, src); // NOLINT
231 __msan_copy_poison(dest, src, n + 1);
232 return res;
233}
234
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000235INTERCEPTOR(char *, strdup, char *src) {
236 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000237 SIZE_T n = REAL(strlen)(src);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000238 char *res = REAL(strdup)(src);
239 __msan_copy_poison(res, src, n + 1);
240 return res;
241}
242
Evgeniy Stepanovead6cf72013-03-14 11:10:36 +0000243INTERCEPTOR(char *, __strdup, char *src) {
244 ENSURE_MSAN_INITED();
245 SIZE_T n = REAL(strlen)(src);
246 char *res = REAL(__strdup)(src);
247 __msan_copy_poison(res, src, n + 1);
248 return res;
249}
250
251INTERCEPTOR(char *, strndup, char *src, SIZE_T n) {
252 ENSURE_MSAN_INITED();
253 SIZE_T copy_size = REAL(strnlen)(src, n);
254 char *res = REAL(strndup)(src, n);
255 __msan_copy_poison(res, src, copy_size);
256 __msan_unpoison(res + copy_size, 1); // \0
257 return res;
258}
259
260INTERCEPTOR(char *, __strndup, char *src, SIZE_T n) {
261 ENSURE_MSAN_INITED();
262 SIZE_T copy_size = REAL(strnlen)(src, n);
263 char *res = REAL(__strndup)(src, n);
264 __msan_copy_poison(res, src, copy_size);
265 __msan_unpoison(res + copy_size, 1); // \0
266 return res;
267}
268
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000269INTERCEPTOR(char *, gcvt, double number, SIZE_T ndigit, char *buf) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000270 ENSURE_MSAN_INITED();
271 char *res = REAL(gcvt)(number, ndigit, buf);
272 // DynamoRio tool will take care of unpoisoning gcvt result for us.
273 if (!__msan_has_dynamic_component()) {
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000274 SIZE_T n = REAL(strlen)(buf);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000275 __msan_unpoison(buf, n + 1);
276 }
277 return res;
278}
279
280INTERCEPTOR(char *, strcat, char *dest, const char *src) { // NOLINT
281 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000282 SIZE_T src_size = REAL(strlen)(src);
283 SIZE_T dest_size = REAL(strlen)(dest);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000284 char *res = REAL(strcat)(dest, src); // NOLINT
285 __msan_copy_poison(dest + dest_size, src, src_size + 1);
286 return res;
287}
288
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000289INTERCEPTOR(char *, strncat, char *dest, const char *src, SIZE_T n) { // NOLINT
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000290 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000291 SIZE_T dest_size = REAL(strlen)(dest);
Evgeniy Stepanov3158ec42013-12-13 16:31:59 +0000292 SIZE_T copy_size = REAL(strnlen)(src, n);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000293 char *res = REAL(strncat)(dest, src, n); // NOLINT
294 __msan_copy_poison(dest + dest_size, src, copy_size);
Evgeniy Stepanov3158ec42013-12-13 16:31:59 +0000295 __msan_unpoison(dest + dest_size + copy_size, 1); // \0
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000296 return res;
297}
298
Sergey Matveev1394f2d2014-01-28 13:45:58 +0000299// Hack: always pass nptr and endptr as part of __VA_ARGS_ to avoid having to
300// deal with empty __VA_ARGS__ in the case of INTERCEPTOR_STRTO.
301#define INTERCEPTOR_STRTO_BODY(ret_type, func, ...) \
302 ENSURE_MSAN_INITED(); \
303 ret_type res = REAL(func)(__VA_ARGS__); \
304 if (!__msan_has_dynamic_component()) { \
305 __msan_unpoison(endptr, sizeof(*endptr)); \
306 } \
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000307 return res;
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000308
Sergey Matveev1394f2d2014-01-28 13:45:58 +0000309#define INTERCEPTOR_STRTO(ret_type, func) \
310 INTERCEPTOR(ret_type, func, const char *nptr, char **endptr) { \
311 INTERCEPTOR_STRTO_BODY(ret_type, func, nptr, endptr); \
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000312 }
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000313
Sergey Matveev1394f2d2014-01-28 13:45:58 +0000314#define INTERCEPTOR_STRTO_BASE(ret_type, func) \
315 INTERCEPTOR(ret_type, func, const char *nptr, char **endptr, int base) { \
316 INTERCEPTOR_STRTO_BODY(ret_type, func, nptr, endptr, base); \
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000317 }
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000318
Sergey Matveev1394f2d2014-01-28 13:45:58 +0000319#define INTERCEPTOR_STRTO_LOC(ret_type, func) \
320 INTERCEPTOR(ret_type, func, const char *nptr, char **endptr, void *loc) { \
321 INTERCEPTOR_STRTO_BODY(ret_type, func, nptr, endptr, loc); \
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000322 }
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000323
Sergey Matveev1394f2d2014-01-28 13:45:58 +0000324#define INTERCEPTOR_STRTO_BASE_LOC(ret_type, func) \
325 INTERCEPTOR(ret_type, func, const char *nptr, char **endptr, int base, \
326 void *loc) { \
327 INTERCEPTOR_STRTO_BODY(ret_type, func, nptr, endptr, base, loc); \
Evgeniy Stepanove3a32512013-01-17 13:42:17 +0000328 }
Evgeniy Stepanove3a32512013-01-17 13:42:17 +0000329
Sergey Matveev1394f2d2014-01-28 13:45:58 +0000330INTERCEPTOR_STRTO(double, strtod) // NOLINT
331INTERCEPTOR_STRTO(float, strtof) // NOLINT
332INTERCEPTOR_STRTO(long double, strtold) // NOLINT
333INTERCEPTOR_STRTO_BASE(long, strtol) // NOLINT
334INTERCEPTOR_STRTO_BASE(long long, strtoll) // NOLINT
335INTERCEPTOR_STRTO_BASE(unsigned long, strtoul) // NOLINT
336INTERCEPTOR_STRTO_BASE(unsigned long long, strtoull) // NOLINT
337INTERCEPTOR_STRTO_LOC(double, strtod_l) // NOLINT
338INTERCEPTOR_STRTO_LOC(double, __strtod_l) // NOLINT
339INTERCEPTOR_STRTO_LOC(float, strtof_l) // NOLINT
340INTERCEPTOR_STRTO_LOC(float, __strtof_l) // NOLINT
341INTERCEPTOR_STRTO_LOC(long double, strtold_l) // NOLINT
342INTERCEPTOR_STRTO_LOC(long double, __strtold_l) // NOLINT
343INTERCEPTOR_STRTO_BASE_LOC(long, strtol_l) // NOLINT
344INTERCEPTOR_STRTO_BASE_LOC(long long, strtoll_l) // NOLINT
345INTERCEPTOR_STRTO_BASE_LOC(unsigned long, strtoul_l) // NOLINT
346INTERCEPTOR_STRTO_BASE_LOC(unsigned long long, strtoull_l) // NOLINT
Evgeniy Stepanov7aacd9c2013-10-14 11:52:40 +0000347
Evgeniy Stepanovb58b72e2013-06-21 13:32:26 +0000348INTERCEPTOR(int, vasprintf, char **strp, const char *format, va_list ap) {
349 ENSURE_MSAN_INITED();
350 int res = REAL(vasprintf)(strp, format, ap);
351 if (res >= 0 && !__msan_has_dynamic_component()) {
352 __msan_unpoison(strp, sizeof(*strp));
353 __msan_unpoison(*strp, res + 1);
354 }
355 return res;
356}
357
358INTERCEPTOR(int, asprintf, char **strp, const char *format, ...) { // NOLINT
359 ENSURE_MSAN_INITED();
360 va_list ap;
361 va_start(ap, format);
362 int res = vasprintf(strp, format, ap); // NOLINT
363 va_end(ap);
364 return res;
365}
366
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000367INTERCEPTOR(int, vsnprintf, char *str, uptr size,
368 const char *format, va_list ap) {
369 ENSURE_MSAN_INITED();
370 int res = REAL(vsnprintf)(str, size, format, ap);
Evgeniy Stepanovb58b72e2013-06-21 13:32:26 +0000371 if (res >= 0 && !__msan_has_dynamic_component()) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000372 __msan_unpoison(str, res + 1);
373 }
374 return res;
375}
376
377INTERCEPTOR(int, vsprintf, char *str, const char *format, va_list ap) {
378 ENSURE_MSAN_INITED();
379 int res = REAL(vsprintf)(str, format, ap);
Evgeniy Stepanovb58b72e2013-06-21 13:32:26 +0000380 if (res >= 0 && !__msan_has_dynamic_component()) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000381 __msan_unpoison(str, res + 1);
382 }
383 return res;
384}
385
386INTERCEPTOR(int, vswprintf, void *str, uptr size, void *format, va_list ap) {
387 ENSURE_MSAN_INITED();
388 int res = REAL(vswprintf)(str, size, format, ap);
Evgeniy Stepanovb58b72e2013-06-21 13:32:26 +0000389 if (res >= 0 && !__msan_has_dynamic_component()) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000390 __msan_unpoison(str, 4 * (res + 1));
391 }
392 return res;
393}
394
395INTERCEPTOR(int, sprintf, char *str, const char *format, ...) { // NOLINT
396 ENSURE_MSAN_INITED();
397 va_list ap;
398 va_start(ap, format);
399 int res = vsprintf(str, format, ap); // NOLINT
400 va_end(ap);
401 return res;
402}
403
404INTERCEPTOR(int, snprintf, char *str, uptr size, const char *format, ...) {
405 ENSURE_MSAN_INITED();
406 va_list ap;
407 va_start(ap, format);
408 int res = vsnprintf(str, size, format, ap);
409 va_end(ap);
410 return res;
411}
412
413INTERCEPTOR(int, swprintf, void *str, uptr size, void *format, ...) {
414 ENSURE_MSAN_INITED();
415 va_list ap;
416 va_start(ap, format);
417 int res = vswprintf(str, size, format, ap);
418 va_end(ap);
419 return res;
420}
421
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000422// SIZE_T strftime(char *s, SIZE_T max, const char *format,const struct tm *tm);
423INTERCEPTOR(SIZE_T, strftime, char *s, SIZE_T max, const char *format,
Evgeniy Stepanova6b5eec2013-11-02 01:01:35 +0000424 __sanitizer_tm *tm) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000425 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000426 SIZE_T res = REAL(strftime)(s, max, format, tm);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000427 if (res) __msan_unpoison(s, res + 1);
428 return res;
429}
430
Evgeniy Stepanov165d7592013-07-02 13:34:44 +0000431INTERCEPTOR(int, mbtowc, wchar_t *dest, const char *src, SIZE_T n) {
432 ENSURE_MSAN_INITED();
433 int res = REAL(mbtowc)(dest, src, n);
434 if (res != -1 && dest) __msan_unpoison(dest, sizeof(wchar_t));
435 return res;
436}
437
438INTERCEPTOR(int, mbrtowc, wchar_t *dest, const char *src, SIZE_T n, void *ps) {
439 ENSURE_MSAN_INITED();
440 SIZE_T res = REAL(mbrtowc)(dest, src, n, ps);
441 if (res != (SIZE_T)-1 && dest) __msan_unpoison(dest, sizeof(wchar_t));
442 return res;
443}
444
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000445INTERCEPTOR(SIZE_T, wcslen, const wchar_t *s) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000446 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000447 SIZE_T res = REAL(wcslen)(s);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000448 CHECK_UNPOISONED(s, sizeof(wchar_t) * (res + 1));
449 return res;
450}
451
452// wchar_t *wcschr(const wchar_t *wcs, wchar_t wc);
453INTERCEPTOR(wchar_t *, wcschr, void *s, wchar_t wc, void *ps) {
454 ENSURE_MSAN_INITED();
455 wchar_t *res = REAL(wcschr)(s, wc, ps);
456 return res;
457}
458
459// wchar_t *wcscpy(wchar_t *dest, const wchar_t *src);
460INTERCEPTOR(wchar_t *, wcscpy, wchar_t *dest, const wchar_t *src) {
461 ENSURE_MSAN_INITED();
462 wchar_t *res = REAL(wcscpy)(dest, src);
463 __msan_copy_poison(dest, src, sizeof(wchar_t) * (REAL(wcslen)(src) + 1));
464 return res;
465}
466
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000467// wchar_t *wmemcpy(wchar_t *dest, const wchar_t *src, SIZE_T n);
468INTERCEPTOR(wchar_t *, wmemcpy, wchar_t *dest, const wchar_t *src, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000469 ENSURE_MSAN_INITED();
470 wchar_t *res = REAL(wmemcpy)(dest, src, n);
471 __msan_copy_poison(dest, src, n * sizeof(wchar_t));
472 return res;
473}
474
Evgeniy Stepanovaa23bd82013-07-02 14:49:24 +0000475INTERCEPTOR(wchar_t *, wmempcpy, wchar_t *dest, const wchar_t *src, SIZE_T n) {
476 ENSURE_MSAN_INITED();
477 wchar_t *res = REAL(wmempcpy)(dest, src, n);
478 __msan_copy_poison(dest, src, n * sizeof(wchar_t));
479 return res;
480}
481
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000482INTERCEPTOR(wchar_t *, wmemset, wchar_t *s, wchar_t c, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000483 CHECK(MEM_IS_APP(s));
484 ENSURE_MSAN_INITED();
485 wchar_t *res = (wchar_t *)fast_memset(s, c, n * sizeof(wchar_t));
486 __msan_unpoison(s, n * sizeof(wchar_t));
487 return res;
488}
489
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000490INTERCEPTOR(wchar_t *, wmemmove, wchar_t *dest, const wchar_t *src, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000491 ENSURE_MSAN_INITED();
492 wchar_t *res = REAL(wmemmove)(dest, src, n);
493 __msan_move_poison(dest, src, n * sizeof(wchar_t));
494 return res;
495}
496
497INTERCEPTOR(int, wcscmp, const wchar_t *s1, const wchar_t *s2) {
498 ENSURE_MSAN_INITED();
499 int res = REAL(wcscmp)(s1, s2);
500 return res;
501}
502
503INTERCEPTOR(double, wcstod, const wchar_t *nptr, wchar_t **endptr) {
504 ENSURE_MSAN_INITED();
505 double res = REAL(wcstod)(nptr, endptr);
506 __msan_unpoison(endptr, sizeof(*endptr));
507 return res;
508}
509
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000510INTERCEPTOR(int, gettimeofday, void *tv, void *tz) {
511 ENSURE_MSAN_INITED();
512 int res = REAL(gettimeofday)(tv, tz);
513 if (tv)
514 __msan_unpoison(tv, 16);
515 if (tz)
516 __msan_unpoison(tz, 8);
517 return res;
518}
519
520INTERCEPTOR(char *, fcvt, double x, int a, int *b, int *c) {
521 ENSURE_MSAN_INITED();
522 char *res = REAL(fcvt)(x, a, b, c);
523 if (!__msan_has_dynamic_component()) {
524 __msan_unpoison(b, sizeof(*b));
525 __msan_unpoison(c, sizeof(*c));
526 }
527 return res;
528}
529
530INTERCEPTOR(char *, getenv, char *name) {
531 ENSURE_MSAN_INITED();
532 char *res = REAL(getenv)(name);
533 if (!__msan_has_dynamic_component()) {
534 if (res)
535 __msan_unpoison(res, REAL(strlen)(res) + 1);
536 }
537 return res;
538}
539
Evgeniy Stepanov5dbedf62013-08-01 11:14:14 +0000540extern char **environ;
541
542static void UnpoisonEnviron() {
543 char **envp = environ;
544 for (; *envp; ++envp) {
545 __msan_unpoison(envp, sizeof(*envp));
546 __msan_unpoison(*envp, REAL(strlen)(*envp) + 1);
547 }
548 // Trailing NULL pointer.
549 __msan_unpoison(envp, sizeof(*envp));
550}
551
552INTERCEPTOR(int, setenv, const char *name, const char *value, int overwrite) {
553 ENSURE_MSAN_INITED();
554 int res = REAL(setenv)(name, value, overwrite);
555 if (!res) UnpoisonEnviron();
556 return res;
557}
558
559INTERCEPTOR(int, putenv, char *string) {
560 ENSURE_MSAN_INITED();
561 int res = REAL(putenv)(string);
562 if (!res) UnpoisonEnviron();
563 return res;
564}
565
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000566INTERCEPTOR(int, __fxstat, int magic, int fd, void *buf) {
567 ENSURE_MSAN_INITED();
568 int res = REAL(__fxstat)(magic, fd, buf);
569 if (!res)
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000570 __msan_unpoison(buf, __sanitizer::struct_stat_sz);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000571 return res;
572}
573
574INTERCEPTOR(int, __fxstat64, int magic, int fd, void *buf) {
575 ENSURE_MSAN_INITED();
576 int res = REAL(__fxstat64)(magic, fd, buf);
577 if (!res)
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000578 __msan_unpoison(buf, __sanitizer::struct_stat64_sz);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000579 return res;
580}
581
Evgeniy Stepanov842fa3f2013-09-09 13:40:41 +0000582INTERCEPTOR(int, __fxstatat, int magic, int fd, char *pathname, void *buf,
583 int flags) {
584 ENSURE_MSAN_INITED();
585 int res = REAL(__fxstatat)(magic, fd, pathname, buf, flags);
586 if (!res) __msan_unpoison(buf, __sanitizer::struct_stat_sz);
587 return res;
588}
589
590INTERCEPTOR(int, __fxstatat64, int magic, int fd, char *pathname, void *buf,
591 int flags) {
592 ENSURE_MSAN_INITED();
593 int res = REAL(__fxstatat64)(magic, fd, pathname, buf, flags);
594 if (!res) __msan_unpoison(buf, __sanitizer::struct_stat64_sz);
595 return res;
596}
597
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000598INTERCEPTOR(int, __xstat, int magic, char *path, void *buf) {
599 ENSURE_MSAN_INITED();
600 int res = REAL(__xstat)(magic, path, buf);
601 if (!res)
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000602 __msan_unpoison(buf, __sanitizer::struct_stat_sz);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000603 return res;
604}
605
606INTERCEPTOR(int, __xstat64, int magic, char *path, void *buf) {
607 ENSURE_MSAN_INITED();
608 int res = REAL(__xstat64)(magic, path, buf);
609 if (!res)
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000610 __msan_unpoison(buf, __sanitizer::struct_stat64_sz);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000611 return res;
612}
613
614INTERCEPTOR(int, __lxstat, int magic, char *path, void *buf) {
615 ENSURE_MSAN_INITED();
616 int res = REAL(__lxstat)(magic, path, buf);
617 if (!res)
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000618 __msan_unpoison(buf, __sanitizer::struct_stat_sz);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000619 return res;
620}
621
622INTERCEPTOR(int, __lxstat64, int magic, char *path, void *buf) {
623 ENSURE_MSAN_INITED();
624 int res = REAL(__lxstat64)(magic, path, buf);
625 if (!res)
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000626 __msan_unpoison(buf, __sanitizer::struct_stat64_sz);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000627 return res;
628}
629
630INTERCEPTOR(int, pipe, int pipefd[2]) {
631 if (msan_init_is_running)
632 return REAL(pipe)(pipefd);
633 ENSURE_MSAN_INITED();
634 int res = REAL(pipe)(pipefd);
635 if (!res)
636 __msan_unpoison(pipefd, sizeof(int[2]));
637 return res;
638}
639
Evgeniy Stepanovb4eac2f2013-04-08 13:45:12 +0000640INTERCEPTOR(int, pipe2, int pipefd[2], int flags) {
641 ENSURE_MSAN_INITED();
642 int res = REAL(pipe2)(pipefd, flags);
643 if (!res)
644 __msan_unpoison(pipefd, sizeof(int[2]));
645 return res;
646}
647
648INTERCEPTOR(int, socketpair, int domain, int type, int protocol, int sv[2]) {
649 ENSURE_MSAN_INITED();
650 int res = REAL(socketpair)(domain, type, protocol, sv);
651 if (!res)
652 __msan_unpoison(sv, sizeof(int[2]));
653 return res;
654}
655
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000656INTERCEPTOR(char *, fgets, char *s, int size, void *stream) {
657 ENSURE_MSAN_INITED();
658 char *res = REAL(fgets)(s, size, stream);
659 if (res)
660 __msan_unpoison(s, REAL(strlen)(s) + 1);
661 return res;
662}
663
664INTERCEPTOR(char *, fgets_unlocked, char *s, int size, void *stream) {
665 ENSURE_MSAN_INITED();
666 char *res = REAL(fgets_unlocked)(s, size, stream);
667 if (res)
668 __msan_unpoison(s, REAL(strlen)(s) + 1);
669 return res;
670}
671
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000672INTERCEPTOR(int, getrlimit, int resource, void *rlim) {
673 if (msan_init_is_running)
674 return REAL(getrlimit)(resource, rlim);
675 ENSURE_MSAN_INITED();
676 int res = REAL(getrlimit)(resource, rlim);
677 if (!res)
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000678 __msan_unpoison(rlim, __sanitizer::struct_rlimit_sz);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000679 return res;
680}
681
682INTERCEPTOR(int, getrlimit64, int resource, void *rlim) {
683 if (msan_init_is_running)
684 return REAL(getrlimit64)(resource, rlim);
685 ENSURE_MSAN_INITED();
686 int res = REAL(getrlimit64)(resource, rlim);
687 if (!res)
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000688 __msan_unpoison(rlim, __sanitizer::struct_rlimit64_sz);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000689 return res;
690}
691
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000692INTERCEPTOR(int, uname, void *utsname) {
693 ENSURE_MSAN_INITED();
694 int res = REAL(uname)(utsname);
695 if (!res) {
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000696 __msan_unpoison(utsname, __sanitizer::struct_utsname_sz);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000697 }
698 return res;
699}
700
Evgeniy Stepanovffffbef2013-01-23 10:43:38 +0000701INTERCEPTOR(int, gethostname, char *name, SIZE_T len) {
702 ENSURE_MSAN_INITED();
703 int res = REAL(gethostname)(name, len);
704 if (!res) {
705 SIZE_T real_len = REAL(strnlen)(name, len);
706 if (real_len < len)
707 ++real_len;
708 __msan_unpoison(name, real_len);
709 }
710 return res;
711}
712
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000713INTERCEPTOR(int, epoll_wait, int epfd, void *events, int maxevents,
714 int timeout) {
715 ENSURE_MSAN_INITED();
716 int res = REAL(epoll_wait)(epfd, events, maxevents, timeout);
717 if (res > 0) {
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000718 __msan_unpoison(events, __sanitizer::struct_epoll_event_sz * res);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000719 }
720 return res;
721}
722
723INTERCEPTOR(int, epoll_pwait, int epfd, void *events, int maxevents,
724 int timeout, void *sigmask) {
725 ENSURE_MSAN_INITED();
726 int res = REAL(epoll_pwait)(epfd, events, maxevents, timeout, sigmask);
727 if (res > 0) {
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000728 __msan_unpoison(events, __sanitizer::struct_epoll_event_sz * res);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000729 }
730 return res;
731}
732
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000733INTERCEPTOR(SSIZE_T, recv, int fd, void *buf, SIZE_T len, int flags) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000734 ENSURE_MSAN_INITED();
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000735 SSIZE_T res = REAL(recv)(fd, buf, len, flags);
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000736 if (res > 0)
737 __msan_unpoison(buf, res);
738 return res;
739}
740
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000741INTERCEPTOR(SSIZE_T, recvfrom, int fd, void *buf, SIZE_T len, int flags,
Evgeniy Stepanova4d08c42013-05-29 11:30:00 +0000742 void *srcaddr, int *addrlen) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000743 ENSURE_MSAN_INITED();
Evgeniy Stepanov84f46d92012-12-25 16:51:57 +0000744 SIZE_T srcaddr_sz;
Evgeniy Stepanova4d08c42013-05-29 11:30:00 +0000745 if (srcaddr) srcaddr_sz = *addrlen;
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000746 SSIZE_T res = REAL(recvfrom)(fd, buf, len, flags, srcaddr, addrlen);
Evgeniy Stepanov84f46d92012-12-25 16:51:57 +0000747 if (res > 0) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000748 __msan_unpoison(buf, res);
Evgeniy Stepanov84f46d92012-12-25 16:51:57 +0000749 if (srcaddr) {
Evgeniy Stepanova4d08c42013-05-29 11:30:00 +0000750 SIZE_T sz = *addrlen;
Evgeniy Stepanov84f46d92012-12-25 16:51:57 +0000751 __msan_unpoison(srcaddr, (sz < srcaddr_sz) ? sz : srcaddr_sz);
752 }
753 }
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000754 return res;
755}
756
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000757INTERCEPTOR(void *, calloc, SIZE_T nmemb, SIZE_T size) {
Kostya Serebryany6c5b0342013-09-06 10:58:55 +0000758 if (CallocShouldReturnNullDueToOverflow(size, nmemb))
759 return AllocatorReturnNull();
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000760 GET_MALLOC_STACK_TRACE;
761 if (!msan_inited) {
762 // Hack: dlsym calls calloc before REAL(calloc) is retrieved from dlsym.
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000763 const SIZE_T kCallocPoolSize = 1024;
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000764 static uptr calloc_memory_for_dlsym[kCallocPoolSize];
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000765 static SIZE_T allocated;
766 SIZE_T size_in_words = ((nmemb * size) + kWordSize - 1) / kWordSize;
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000767 void *mem = (void*)&calloc_memory_for_dlsym[allocated];
768 allocated += size_in_words;
769 CHECK(allocated < kCallocPoolSize);
770 return mem;
771 }
772 return MsanReallocate(&stack, 0, nmemb * size, sizeof(u64), true);
773}
774
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000775INTERCEPTOR(void *, realloc, void *ptr, SIZE_T size) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000776 GET_MALLOC_STACK_TRACE;
777 return MsanReallocate(&stack, ptr, size, sizeof(u64), false);
778}
779
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000780INTERCEPTOR(void *, malloc, SIZE_T size) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000781 GET_MALLOC_STACK_TRACE;
782 return MsanReallocate(&stack, 0, size, sizeof(u64), false);
783}
784
Alexey Samsonov34093f02013-04-23 13:34:19 +0000785void __msan_allocated_memory(const void* data, uptr size) {
Evgeniy Stepanov9f7e8c12013-01-28 13:52:49 +0000786 GET_MALLOC_STACK_TRACE;
787 if (flags()->poison_in_malloc)
788 __msan_poison(data, size);
789 if (__msan_get_track_origins()) {
790 u32 stack_id = StackDepotPut(stack.trace, stack.size);
791 CHECK(stack_id);
792 CHECK_EQ((stack_id >> 31), 0); // Higher bit is occupied by stack origins.
793 __msan_set_origin(data, size, stack_id);
794 }
795}
796
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000797INTERCEPTOR(void *, mmap, void *addr, SIZE_T length, int prot, int flags,
798 int fd, OFF_T offset) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000799 ENSURE_MSAN_INITED();
Evgeniy Stepanov067f5472014-01-27 09:12:22 +0000800 if (addr && !MEM_IS_APP(addr)) {
Evgeniy Stepanov791a7e12014-02-10 09:37:03 +0000801 if (flags & map_fixed) {
802 *__errno_location() = errno_EINVAL;
803 return (void *)-1;
804 } else {
805 addr = 0;
806 }
Evgeniy Stepanov067f5472014-01-27 09:12:22 +0000807 }
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000808 void *res = REAL(mmap)(addr, length, prot, flags, fd, offset);
809 if (res != (void*)-1)
810 __msan_unpoison(res, RoundUpTo(length, GetPageSize()));
811 return res;
812}
813
Kostya Serebryany07bb3922012-12-13 06:31:40 +0000814INTERCEPTOR(void *, mmap64, void *addr, SIZE_T length, int prot, int flags,
815 int fd, OFF64_T offset) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000816 ENSURE_MSAN_INITED();
Evgeniy Stepanovfb74ea82014-02-14 09:49:29 +0000817 if (addr && !MEM_IS_APP(addr)) {
818 if (flags & map_fixed) {
819 *__errno_location() = errno_EINVAL;
820 return (void *)-1;
821 } else {
822 addr = 0;
823 }
824 }
Evgeniy Stepanovc5033782012-12-11 12:27:27 +0000825 void *res = REAL(mmap64)(addr, length, prot, flags, fd, offset);
826 if (res != (void*)-1)
827 __msan_unpoison(res, RoundUpTo(length, GetPageSize()));
828 return res;
829}
830
Evgeniy Stepanove3a32512013-01-17 13:42:17 +0000831struct dlinfo {
832 char *dli_fname;
833 void *dli_fbase;
834 char *dli_sname;
835 void *dli_saddr;
836};
837
838INTERCEPTOR(int, dladdr, void *addr, dlinfo *info) {
839 ENSURE_MSAN_INITED();
840 int res = REAL(dladdr)(addr, info);
841 if (res != 0) {
842 __msan_unpoison(info, sizeof(*info));
843 if (info->dli_fname)
844 __msan_unpoison(info->dli_fname, REAL(strlen)(info->dli_fname) + 1);
845 if (info->dli_sname)
846 __msan_unpoison(info->dli_sname, REAL(strlen)(info->dli_sname) + 1);
847 }
848 return res;
849}
850
Evgeniy Stepanovb1fa8102014-01-23 08:43:12 +0000851INTERCEPTOR(char *, dlerror, int fake) {
Evgeniy Stepanov13322c62013-10-31 16:58:44 +0000852 ENSURE_MSAN_INITED();
Evgeniy Stepanovb1fa8102014-01-23 08:43:12 +0000853 char *res = REAL(dlerror)(fake);
Evgeniy Stepanov13322c62013-10-31 16:58:44 +0000854 if (res != 0) __msan_unpoison(res, REAL(strlen)(res) + 1);
855 return res;
856}
857
Reid Klecknerc9d382b2013-03-11 18:07:42 +0000858// dlopen() ultimately calls mmap() down inside the loader, which generally
859// doesn't participate in dynamic symbol resolution. Therefore we won't
860// intercept its calls to mmap, and we have to hook it here. The loader
861// initializes the module before returning, so without the dynamic component, we
862// won't be able to clear the shadow before the initializers. Fixing this would
863// require putting our own initializer first to clear the shadow.
864INTERCEPTOR(void *, dlopen, const char *filename, int flag) {
865 ENSURE_MSAN_INITED();
866 EnterLoader();
867 link_map *map = (link_map *)REAL(dlopen)(filename, flag);
868 ExitLoader();
Evgeniy Stepanovecbf6462013-03-22 11:59:49 +0000869 if (!__msan_has_dynamic_component() && map) {
Reid Klecknerc9d382b2013-03-11 18:07:42 +0000870 // If msandr didn't clear the shadow before the initializers ran, we do it
871 // ourselves afterwards.
Peter Collingbourne9058c072013-07-29 19:09:49 +0000872 ForEachMappedRegion(map, __msan_unpoison);
Reid Klecknerc9d382b2013-03-11 18:07:42 +0000873 }
874 return (void *)map;
875}
876
Evgeniy Stepanovff6728f2013-05-17 12:51:13 +0000877typedef int (*dl_iterate_phdr_cb)(__sanitizer_dl_phdr_info *info, SIZE_T size,
878 void *data);
Evgeniy Stepanov87c6ec72013-05-16 13:00:25 +0000879struct dl_iterate_phdr_data {
880 dl_iterate_phdr_cb callback;
881 void *data;
882};
883
Evgeniy Stepanovff6728f2013-05-17 12:51:13 +0000884static int msan_dl_iterate_phdr_cb(__sanitizer_dl_phdr_info *info, SIZE_T size,
885 void *data) {
886 if (info) {
Evgeniy Stepanov87c6ec72013-05-16 13:00:25 +0000887 __msan_unpoison(info, size);
Evgeniy Stepanovff6728f2013-05-17 12:51:13 +0000888 if (info->dlpi_name)
889 __msan_unpoison(info->dlpi_name, REAL(strlen)(info->dlpi_name) + 1);
890 }
Evgeniy Stepanov87c6ec72013-05-16 13:00:25 +0000891 dl_iterate_phdr_data *cbdata = (dl_iterate_phdr_data *)data;
Alexey Samsonoved4594b2013-06-27 07:50:56 +0000892 UnpoisonParam(3);
Evgeniy Stepanov879c5522013-12-13 13:13:46 +0000893 return IndirectExternCall(cbdata->callback)(info, size, cbdata->data);
Evgeniy Stepanov87c6ec72013-05-16 13:00:25 +0000894}
895
896INTERCEPTOR(int, dl_iterate_phdr, dl_iterate_phdr_cb callback, void *data) {
897 ENSURE_MSAN_INITED();
898 EnterLoader();
899 dl_iterate_phdr_data cbdata;
900 cbdata.callback = callback;
901 cbdata.data = data;
902 int res = REAL(dl_iterate_phdr)(msan_dl_iterate_phdr_cb, (void *)&cbdata);
903 ExitLoader();
904 return res;
905}
906
Evgeniy Stepanove3a32512013-01-17 13:42:17 +0000907INTERCEPTOR(int, getrusage, int who, void *usage) {
908 ENSURE_MSAN_INITED();
909 int res = REAL(getrusage)(who, usage);
910 if (res == 0) {
Evgeniy Stepanovea61d082013-02-19 09:19:16 +0000911 __msan_unpoison(usage, __sanitizer::struct_rusage_sz);
Evgeniy Stepanove3a32512013-01-17 13:42:17 +0000912 }
913 return res;
914}
915
Evgeniy Stepanovbb25af52013-08-27 11:34:05 +0000916// sigactions_mu guarantees atomicity of sigaction() and signal() calls.
917// Access to sigactions[] is gone with relaxed atomics to avoid data race with
918// the signal handler.
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000919const int kMaxSignals = 1024;
Evgeniy Stepanovbb25af52013-08-27 11:34:05 +0000920static atomic_uintptr_t sigactions[kMaxSignals];
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000921static StaticSpinMutex sigactions_mu;
922
923static void SignalHandler(int signo) {
Evgeniy Stepanovcb22c672013-08-27 14:08:15 +0000924 ScopedThreadLocalStateBackup stlsb;
Evgeniy Stepanovc4179812013-08-27 12:59:39 +0000925 UnpoisonParam(1);
926
Kostya Serebryany5b4267f2013-04-05 14:40:25 +0000927 typedef void (*signal_cb)(int x);
Evgeniy Stepanovbb25af52013-08-27 11:34:05 +0000928 signal_cb cb =
929 (signal_cb)atomic_load(&sigactions[signo], memory_order_relaxed);
Evgeniy Stepanov879c5522013-12-13 13:13:46 +0000930 IndirectExternCall(cb)(signo);
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000931}
932
933static void SignalAction(int signo, void *si, void *uc) {
Evgeniy Stepanovcb22c672013-08-27 14:08:15 +0000934 ScopedThreadLocalStateBackup stlsb;
Alexey Samsonoved4594b2013-06-27 07:50:56 +0000935 UnpoisonParam(3);
Evgeniy Stepanova40a0582013-08-27 11:10:04 +0000936 __msan_unpoison(si, sizeof(__sanitizer_sigaction));
Evgeniy Stepanov7b0e1322013-04-04 09:03:56 +0000937 __msan_unpoison(uc, __sanitizer::ucontext_t_sz);
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000938
939 typedef void (*sigaction_cb)(int, void *, void *);
Evgeniy Stepanovbb25af52013-08-27 11:34:05 +0000940 sigaction_cb cb =
941 (sigaction_cb)atomic_load(&sigactions[signo], memory_order_relaxed);
Evgeniy Stepanov879c5522013-12-13 13:13:46 +0000942 IndirectExternCall(cb)(signo, si, uc);
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000943}
944
945INTERCEPTOR(int, sigaction, int signo, const __sanitizer_sigaction *act,
946 __sanitizer_sigaction *oldact) {
Evgeniy Stepanovf8213b42013-04-01 14:47:21 +0000947 ENSURE_MSAN_INITED();
Kostya Serebryanyc3525ce2013-04-04 06:52:40 +0000948 // FIXME: check that *act is unpoisoned.
Evgeniy Stepanovf8213b42013-04-01 14:47:21 +0000949 // That requires intercepting all of sigemptyset, sigfillset, etc.
Evgeniy Stepanov7948c642013-04-05 11:59:16 +0000950 int res;
951 if (flags()->wrap_signals) {
952 SpinMutexLock lock(&sigactions_mu);
953 CHECK_LT(signo, kMaxSignals);
Evgeniy Stepanovbb25af52013-08-27 11:34:05 +0000954 uptr old_cb = atomic_load(&sigactions[signo], memory_order_relaxed);
Evgeniy Stepanov7948c642013-04-05 11:59:16 +0000955 __sanitizer_sigaction new_act;
956 __sanitizer_sigaction *pnew_act = act ? &new_act : 0;
957 if (act) {
Evgeniy Stepanova40a0582013-08-27 11:10:04 +0000958 internal_memcpy(pnew_act, act, sizeof(__sanitizer_sigaction));
Alexander Potapenkod5802fe2014-01-31 11:29:51 +0000959 uptr cb = (uptr)pnew_act->sigaction;
Evgeniy Stepanova40a0582013-08-27 11:10:04 +0000960 uptr new_cb = (pnew_act->sa_flags & __sanitizer::sa_siginfo)
961 ? (uptr)SignalAction
962 : (uptr)SignalHandler;
Evgeniy Stepanov7948c642013-04-05 11:59:16 +0000963 if (cb != __sanitizer::sig_ign && cb != __sanitizer::sig_dfl) {
Evgeniy Stepanovbb25af52013-08-27 11:34:05 +0000964 atomic_store(&sigactions[signo], cb, memory_order_relaxed);
Alexander Potapenkod5802fe2014-01-31 11:29:51 +0000965 pnew_act->sigaction = (void (*)(int, void *, void *))new_cb;
Evgeniy Stepanov7948c642013-04-05 11:59:16 +0000966 }
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000967 }
Evgeniy Stepanov7948c642013-04-05 11:59:16 +0000968 res = REAL(sigaction)(signo, pnew_act, oldact);
969 if (res == 0 && oldact) {
Alexander Potapenkod5802fe2014-01-31 11:29:51 +0000970 uptr cb = (uptr)oldact->sigaction;
Evgeniy Stepanove7a7a9b2013-04-05 12:58:07 +0000971 if (cb != __sanitizer::sig_ign && cb != __sanitizer::sig_dfl) {
Alexander Potapenkod5802fe2014-01-31 11:29:51 +0000972 oldact->sigaction = (void (*)(int, void *, void *))old_cb;
Evgeniy Stepanove7a7a9b2013-04-05 12:58:07 +0000973 }
Evgeniy Stepanov7948c642013-04-05 11:59:16 +0000974 }
975 } else {
976 res = REAL(sigaction)(signo, act, oldact);
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000977 }
Evgeniy Stepanov7948c642013-04-05 11:59:16 +0000978
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000979 if (res == 0 && oldact) {
Evgeniy Stepanova40a0582013-08-27 11:10:04 +0000980 __msan_unpoison(oldact, sizeof(__sanitizer_sigaction));
Evgeniy Stepanovf8213b42013-04-01 14:47:21 +0000981 }
982 return res;
983}
984
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000985INTERCEPTOR(int, signal, int signo, uptr cb) {
986 ENSURE_MSAN_INITED();
Evgeniy Stepanov7948c642013-04-05 11:59:16 +0000987 if (flags()->wrap_signals) {
988 CHECK_LT(signo, kMaxSignals);
989 SpinMutexLock lock(&sigactions_mu);
990 if (cb != __sanitizer::sig_ign && cb != __sanitizer::sig_dfl) {
Evgeniy Stepanovbb25af52013-08-27 11:34:05 +0000991 atomic_store(&sigactions[signo], cb, memory_order_relaxed);
Evgeniy Stepanov7948c642013-04-05 11:59:16 +0000992 cb = (uptr) SignalHandler;
993 }
994 return REAL(signal)(signo, cb);
995 } else {
996 return REAL(signal)(signo, cb);
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000997 }
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +0000998}
999
Evgeniy Stepanov98f5ea02013-03-13 09:01:40 +00001000extern "C" int pthread_attr_init(void *attr);
1001extern "C" int pthread_attr_destroy(void *attr);
Evgeniy Stepanov2794c472013-10-22 14:31:30 +00001002extern "C" int pthread_setspecific(unsigned key, const void *v);
1003extern "C" int pthread_yield();
1004
1005static void thread_finalize(void *v) {
1006 uptr iter = (uptr)v;
1007 if (iter > 1) {
1008 if (pthread_setspecific(g_thread_finalize_key, (void*)(iter - 1))) {
1009 Printf("MemorySanitizer: failed to set thread key\n");
1010 Die();
1011 }
1012 return;
1013 }
1014 MsanAllocatorThreadFinish();
Evgeniy Stepanov86d8fb52013-12-12 13:48:47 +00001015 __msan_unpoison((void *)msan_stack_bounds.stack_addr,
1016 msan_stack_bounds.stack_size);
1017 if (msan_stack_bounds.tls_size)
1018 __msan_unpoison((void *)msan_stack_bounds.tls_addr,
1019 msan_stack_bounds.tls_size);
Evgeniy Stepanov2794c472013-10-22 14:31:30 +00001020}
1021
1022struct ThreadParam {
1023 void* (*callback)(void *arg);
1024 void *param;
1025 atomic_uintptr_t done;
1026};
1027
1028static void *MsanThreadStartFunc(void *arg) {
1029 ThreadParam *p = (ThreadParam *)arg;
1030 void* (*callback)(void *arg) = p->callback;
1031 void *param = p->param;
1032 if (pthread_setspecific(g_thread_finalize_key,
1033 (void *)kPthreadDestructorIterations)) {
1034 Printf("MemorySanitizer: failed to set thread key\n");
1035 Die();
1036 }
1037 atomic_store(&p->done, 1, memory_order_release);
Evgeniy Stepanovcd078982013-12-11 10:55:42 +00001038
Evgeniy Stepanov86d8fb52013-12-12 13:48:47 +00001039 GetThreadStackAndTls(/* main */ false, &msan_stack_bounds.stack_addr,
1040 &msan_stack_bounds.stack_size,
1041 &msan_stack_bounds.tls_addr,
1042 &msan_stack_bounds.tls_size);
Evgeniy Stepanov879c5522013-12-13 13:13:46 +00001043 return IndirectExternCall(callback)(param);
Evgeniy Stepanov2794c472013-10-22 14:31:30 +00001044}
Evgeniy Stepanov98f5ea02013-03-13 09:01:40 +00001045
1046INTERCEPTOR(int, pthread_create, void *th, void *attr, void *(*callback)(void*),
1047 void * param) {
1048 ENSURE_MSAN_INITED(); // for GetTlsSize()
1049 __sanitizer_pthread_attr_t myattr;
1050 if (attr == 0) {
1051 pthread_attr_init(&myattr);
1052 attr = &myattr;
1053 }
Evgeniy Stepanovb4a218d2013-03-19 09:30:52 +00001054
Dmitry Vyukov7502a3a2013-10-15 14:12:26 +00001055 AdjustStackSizeLinux(attr);
Evgeniy Stepanov98f5ea02013-03-13 09:01:40 +00001056
Evgeniy Stepanov2794c472013-10-22 14:31:30 +00001057 ThreadParam p;
1058 p.callback = callback;
1059 p.param = param;
1060 atomic_store(&p.done, 0, memory_order_relaxed);
1061
1062 int res = REAL(pthread_create)(th, attr, MsanThreadStartFunc, (void *)&p);
1063 if (res == 0) {
1064 while (atomic_load(&p.done, memory_order_acquire) != 1)
1065 pthread_yield();
1066 }
1067
Evgeniy Stepanov98f5ea02013-03-13 09:01:40 +00001068 if (attr == &myattr)
1069 pthread_attr_destroy(&myattr);
Evgeniy Stepanovf8213b42013-04-01 14:47:21 +00001070 if (!res) {
1071 __msan_unpoison(th, __sanitizer::pthread_t_sz);
1072 }
Evgeniy Stepanov98f5ea02013-03-13 09:01:40 +00001073 return res;
1074}
1075
Timur Iskhodzhanovd7eb6772013-07-15 16:11:39 +00001076INTERCEPTOR(int, pthread_key_create, __sanitizer_pthread_key_t *key,
1077 void (*dtor)(void *value)) {
Evgeniy Stepanov628d7272013-07-05 12:31:07 +00001078 ENSURE_MSAN_INITED();
1079 int res = REAL(pthread_key_create)(key, dtor);
1080 if (!res && key)
1081 __msan_unpoison(key, sizeof(*key));
1082 return res;
1083}
1084
Evgeniy Stepanov807e1312013-07-30 12:54:34 +00001085INTERCEPTOR(int, pthread_join, void *th, void **retval) {
1086 ENSURE_MSAN_INITED();
1087 int res = REAL(pthread_join)(th, retval);
1088 if (!res && retval)
1089 __msan_unpoison(retval, sizeof(*retval));
1090 return res;
1091}
1092
Evgeniy Stepanov9be91e92013-09-13 11:27:38 +00001093extern char *tzname[2];
1094
Evgeniy Stepanovb1fa8102014-01-23 08:43:12 +00001095INTERCEPTOR(void, tzset, int fake) {
Evgeniy Stepanov9be91e92013-09-13 11:27:38 +00001096 ENSURE_MSAN_INITED();
Evgeniy Stepanovb1fa8102014-01-23 08:43:12 +00001097 REAL(tzset)(fake);
Evgeniy Stepanov9be91e92013-09-13 11:27:38 +00001098 if (tzname[0])
1099 __msan_unpoison(tzname[0], REAL(strlen)(tzname[0]) + 1);
1100 if (tzname[1])
1101 __msan_unpoison(tzname[1], REAL(strlen)(tzname[1]) + 1);
1102 return;
1103}
1104
Evgeniy Stepanov022235c2013-09-27 11:32:21 +00001105struct MSanAtExitRecord {
1106 void (*func)(void *arg);
1107 void *arg;
1108};
1109
1110void MSanAtExitWrapper(void *arg) {
1111 UnpoisonParam(1);
1112 MSanAtExitRecord *r = (MSanAtExitRecord *)arg;
Evgeniy Stepanov879c5522013-12-13 13:13:46 +00001113 IndirectExternCall(r->func)(r->arg);
Evgeniy Stepanov022235c2013-09-27 11:32:21 +00001114 InternalFree(r);
1115}
1116
1117// Unpoison argument shadow for C++ module destructors.
1118INTERCEPTOR(int, __cxa_atexit, void (*func)(void *), void *arg,
1119 void *dso_handle) {
1120 if (msan_init_is_running) return REAL(__cxa_atexit)(func, arg, dso_handle);
1121 ENSURE_MSAN_INITED();
1122 MSanAtExitRecord *r =
1123 (MSanAtExitRecord *)InternalAlloc(sizeof(MSanAtExitRecord));
1124 r->func = func;
1125 r->arg = arg;
1126 return REAL(__cxa_atexit)(MSanAtExitWrapper, r, dso_handle);
1127}
1128
Evgeniy Stepanov451c8de2013-10-29 02:48:49 +00001129DECLARE_REAL(int, shmctl, int shmid, int cmd, void *buf)
1130
1131INTERCEPTOR(void *, shmat, int shmid, const void *shmaddr, int shmflg) {
1132 ENSURE_MSAN_INITED();
1133 void *p = REAL(shmat)(shmid, shmaddr, shmflg);
1134 if (p != (void *)-1) {
1135 __sanitizer_shmid_ds ds;
1136 int res = REAL(shmctl)(shmid, shmctl_ipc_stat, &ds);
1137 if (!res) {
1138 __msan_unpoison(p, ds.shm_segsz);
1139 }
1140 }
1141 return p;
1142}
1143
Evgeniy Stepanova7add482013-10-31 15:51:22 +00001144// Linux kernel has a bug that leads to kernel deadlock if a process
1145// maps TBs of memory and then calls mlock().
1146static void MlockIsUnsupported() {
1147 static atomic_uint8_t printed;
1148 if (atomic_exchange(&printed, 1, memory_order_relaxed))
1149 return;
Sergey Matveev9be70fb2013-12-05 12:04:51 +00001150 VPrintf(1,
1151 "INFO: MemorySanitizer ignores mlock/mlockall/munlock/munlockall\n");
Evgeniy Stepanova7add482013-10-31 15:51:22 +00001152}
1153
1154INTERCEPTOR(int, mlock, const void *addr, uptr len) {
1155 MlockIsUnsupported();
1156 return 0;
1157}
1158
1159INTERCEPTOR(int, munlock, const void *addr, uptr len) {
1160 MlockIsUnsupported();
1161 return 0;
1162}
1163
1164INTERCEPTOR(int, mlockall, int flags) {
1165 MlockIsUnsupported();
1166 return 0;
1167}
1168
1169INTERCEPTOR(int, munlockall, void) {
1170 MlockIsUnsupported();
1171 return 0;
1172}
Evgeniy Stepanov451c8de2013-10-29 02:48:49 +00001173
Evgeniy Stepanovbfd21222013-05-22 12:50:26 +00001174struct MSanInterceptorContext {
1175 bool in_interceptor_scope;
1176};
1177
Dmitry Vyukov19a13022013-10-03 15:43:59 +00001178namespace __msan {
1179
1180int OnExit() {
Dmitry Vyukovfdfb2ade2013-10-03 15:22:29 +00001181 // FIXME: ask frontend whether we need to return failure.
1182 return 0;
1183}
1184
Dmitry Vyukov19a13022013-10-03 15:43:59 +00001185} // namespace __msan
1186
Evgeniy Stepanovb69699e2013-11-11 11:28:30 +00001187// A version of CHECK_UNPOISONED using a saved scope value. Used in common
Evgeniy Stepanova343d1d2013-05-23 11:51:47 +00001188// interceptors.
Evgeniy Stepanovdec0f762013-06-28 11:02:43 +00001189#define CHECK_UNPOISONED_CTX(ctx, x, n) \
1190 do { \
1191 if (!((MSanInterceptorContext *)ctx)->in_interceptor_scope) \
1192 CHECK_UNPOISONED_0(x, n); \
1193 } while (0)
Evgeniy Stepanovbfd21222013-05-22 12:50:26 +00001194
Sergey Matveev9be70fb2013-12-05 12:04:51 +00001195#define MSAN_INTERCEPT_FUNC(name) \
1196 do { \
1197 if ((!INTERCEPT_FUNCTION(name) || !REAL(name))) \
1198 VReport(1, "MemorySanitizer: failed to intercept '" #name "'\n"); \
Evgeniy Stepanovb69699e2013-11-11 11:28:30 +00001199 } while (0)
1200
1201#define COMMON_INTERCEPT_FUNCTION(name) MSAN_INTERCEPT_FUNC(name)
Evgeniy Stepanovfaba61a2013-07-09 12:07:59 +00001202#define COMMON_INTERCEPTOR_UNPOISON_PARAM(ctx, count) \
1203 UnpoisonParam(count)
Evgeniy Stepanov222076e2013-01-18 11:17:23 +00001204#define COMMON_INTERCEPTOR_WRITE_RANGE(ctx, ptr, size) \
Evgeniy Stepanovbfd21222013-05-22 12:50:26 +00001205 __msan_unpoison(ptr, size)
1206#define COMMON_INTERCEPTOR_READ_RANGE(ctx, ptr, size) \
Evgeniy Stepanovdec0f762013-06-28 11:02:43 +00001207 CHECK_UNPOISONED_CTX(ctx, ptr, size)
Dmitry Vyukov83ebd022013-10-03 14:12:09 +00001208#define COMMON_INTERCEPTOR_INITIALIZE_RANGE(ctx, ptr, size) \
1209 __msan_unpoison(ptr, size)
Evgeniy Stepanov7edb87a2013-10-24 13:20:34 +00001210#define COMMON_INTERCEPTOR_ENTER(ctx, func, ...) \
1211 if (msan_init_is_running) return REAL(func)(__VA_ARGS__); \
1212 MSanInterceptorContext msan_ctx = {IsInInterceptorScope()}; \
1213 ctx = (void *)&msan_ctx; \
1214 (void)ctx; \
1215 InterceptorScope interceptor_scope; \
1216 __msan_unpoison(__errno_location(), sizeof(int)); /* NOLINT */ \
Evgeniy Stepanovbfd21222013-05-22 12:50:26 +00001217 ENSURE_MSAN_INITED();
1218#define COMMON_INTERCEPTOR_FD_ACQUIRE(ctx, fd) \
1219 do { \
Evgeniy Stepanov01671c32013-01-18 13:12:56 +00001220 } while (false)
Evgeniy Stepanov08f66282013-05-29 09:09:58 +00001221#define COMMON_INTERCEPTOR_FD_RELEASE(ctx, fd) \
1222 do { \
1223 } while (false)
1224#define COMMON_INTERCEPTOR_FD_SOCKET_ACCEPT(ctx, fd, newfd) \
1225 do { \
1226 } while (false)
Evgeniy Stepanov01671c32013-01-18 13:12:56 +00001227#define COMMON_INTERCEPTOR_SET_THREAD_NAME(ctx, name) \
Evgeniy Stepanov08f66282013-05-29 09:09:58 +00001228 do { \
1229 } while (false) // FIXME
Dmitry Vyukov3e8432e2013-10-29 10:30:39 +00001230#define COMMON_INTERCEPTOR_SET_PTHREAD_NAME(ctx, thread, name) \
1231 do { \
1232 } while (false) // FIXME
Evgeniy Stepanov64cace02013-08-12 13:19:53 +00001233#define COMMON_INTERCEPTOR_BLOCK_REAL(name) REAL(name)
Dmitry Vyukovfdfb2ade2013-10-03 15:22:29 +00001234#define COMMON_INTERCEPTOR_ON_EXIT(ctx) OnExit()
Alexey Samsonov00cd2732014-01-21 11:58:33 +00001235// FIXME: update Msan to use common printf interceptors
1236#define SANITIZER_INTERCEPT_PRINTF 0
Evgeniy Stepanova6c4a382013-01-18 13:01:18 +00001237#include "sanitizer_common/sanitizer_common_interceptors.inc"
Kostya Serebryany69fe0ba2013-01-18 06:43:13 +00001238
Evgeniy Stepanovf5523112013-04-11 14:37:04 +00001239#define COMMON_SYSCALL_PRE_READ_RANGE(p, s) CHECK_UNPOISONED(p, s)
Alexey Samsonov786ee9b2013-09-19 08:35:16 +00001240#define COMMON_SYSCALL_PRE_WRITE_RANGE(p, s) \
1241 do { \
1242 } while (false)
1243#define COMMON_SYSCALL_POST_READ_RANGE(p, s) \
1244 do { \
1245 } while (false)
Evgeniy Stepanovf5523112013-04-11 14:37:04 +00001246#define COMMON_SYSCALL_POST_WRITE_RANGE(p, s) __msan_unpoison(p, s)
1247#include "sanitizer_common/sanitizer_common_syscalls.inc"
1248
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001249// static
Kostya Serebryany07bb3922012-12-13 06:31:40 +00001250void *fast_memset(void *ptr, int c, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001251 // hack until we have a really fast internal_memset
1252 if (sizeof(uptr) == 8 &&
1253 (n % 8) == 0 &&
1254 ((uptr)ptr % 8) == 0 &&
1255 (c == 0 || c == -1)) {
1256 // Printf("memset %p %zd %x\n", ptr, n, c);
1257 uptr to_store = c ? -1L : 0L;
1258 uptr *p = (uptr*)ptr;
Kostya Serebryany07bb3922012-12-13 06:31:40 +00001259 for (SIZE_T i = 0; i < n / 8; i++)
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001260 p[i] = to_store;
1261 return ptr;
1262 }
1263 return internal_memset(ptr, c, n);
1264}
1265
1266// static
Kostya Serebryany07bb3922012-12-13 06:31:40 +00001267void *fast_memcpy(void *dst, const void *src, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001268 // Same hack as in fast_memset above.
1269 if (sizeof(uptr) == 8 &&
1270 (n % 8) == 0 &&
1271 ((uptr)dst % 8) == 0 &&
1272 ((uptr)src % 8) == 0) {
1273 uptr *d = (uptr*)dst;
1274 uptr *s = (uptr*)src;
Kostya Serebryany07bb3922012-12-13 06:31:40 +00001275 for (SIZE_T i = 0; i < n / 8; i++)
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001276 d[i] = s[i];
1277 return dst;
1278 }
1279 return internal_memcpy(dst, src, n);
1280}
1281
1282// These interface functions reside here so that they can use
1283// fast_memset, etc.
Alexey Samsonov34093f02013-04-23 13:34:19 +00001284void __msan_unpoison(const void *a, uptr size) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001285 if (!MEM_IS_APP(a)) return;
1286 fast_memset((void*)MEM_TO_SHADOW((uptr)a), 0, size);
1287}
1288
Alexey Samsonov34093f02013-04-23 13:34:19 +00001289void __msan_poison(const void *a, uptr size) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001290 if (!MEM_IS_APP(a)) return;
1291 fast_memset((void*)MEM_TO_SHADOW((uptr)a),
1292 __msan::flags()->poison_heap_with_zeroes ? 0 : -1, size);
1293}
1294
1295void __msan_poison_stack(void *a, uptr size) {
1296 if (!MEM_IS_APP(a)) return;
1297 fast_memset((void*)MEM_TO_SHADOW((uptr)a),
1298 __msan::flags()->poison_stack_with_zeroes ? 0 : -1, size);
1299}
1300
1301void __msan_clear_and_unpoison(void *a, uptr size) {
1302 fast_memset(a, 0, size);
1303 fast_memset((void*)MEM_TO_SHADOW((uptr)a), 0, size);
1304}
1305
Evgeniy Stepanovd280ee42013-10-24 11:56:03 +00001306u32 get_origin_if_poisoned(uptr a, uptr size) {
1307 unsigned char *s = (unsigned char *)MEM_TO_SHADOW(a);
1308 for (uptr i = 0; i < size; ++i)
1309 if (s[i])
Evgeniy Stepanov1c8c3fe2013-11-05 01:24:38 +00001310 return *(u32 *)SHADOW_TO_ORIGIN((s + i) & ~3UL);
Evgeniy Stepanovd280ee42013-10-24 11:56:03 +00001311 return 0;
1312}
1313
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001314void __msan_copy_origin(void *dst, const void *src, uptr size) {
1315 if (!__msan_get_track_origins()) return;
1316 if (!MEM_IS_APP(dst) || !MEM_IS_APP(src)) return;
Evgeniy Stepanovd280ee42013-10-24 11:56:03 +00001317 uptr d = (uptr)dst;
1318 uptr beg = d & ~3UL;
1319 // Copy left unaligned origin if that memory is poisoned.
1320 if (beg < d) {
1321 u32 o = get_origin_if_poisoned(beg, d - beg);
1322 if (o)
Evgeniy Stepanov1c8c3fe2013-11-05 01:24:38 +00001323 *(u32 *)MEM_TO_ORIGIN(beg) = o;
Evgeniy Stepanovd280ee42013-10-24 11:56:03 +00001324 beg += 4;
1325 }
1326
1327 uptr end = (d + size + 3) & ~3UL;
1328 // Copy right unaligned origin if that memory is poisoned.
1329 if (end > d + size) {
1330 u32 o = get_origin_if_poisoned(d + size, end - d - size);
1331 if (o)
Evgeniy Stepanov1c8c3fe2013-11-05 01:24:38 +00001332 *(u32 *)MEM_TO_ORIGIN(end - 4) = o;
Evgeniy Stepanovd280ee42013-10-24 11:56:03 +00001333 end -= 4;
1334 }
1335
1336 if (beg < end) {
1337 // Align src up.
1338 uptr s = ((uptr)src + 3) & ~3UL;
1339 fast_memcpy((void*)MEM_TO_ORIGIN(beg), (void*)MEM_TO_ORIGIN(s), end - beg);
1340 }
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001341}
1342
1343void __msan_copy_poison(void *dst, const void *src, uptr size) {
1344 if (!MEM_IS_APP(dst)) return;
1345 if (!MEM_IS_APP(src)) return;
1346 fast_memcpy((void*)MEM_TO_SHADOW((uptr)dst),
1347 (void*)MEM_TO_SHADOW((uptr)src), size);
1348 __msan_copy_origin(dst, src, size);
1349}
1350
1351void __msan_move_poison(void *dst, const void *src, uptr size) {
1352 if (!MEM_IS_APP(dst)) return;
1353 if (!MEM_IS_APP(src)) return;
1354 internal_memmove((void*)MEM_TO_SHADOW((uptr)dst),
1355 (void*)MEM_TO_SHADOW((uptr)src), size);
1356 __msan_copy_origin(dst, src, size);
1357}
1358
Kostya Serebryany07bb3922012-12-13 06:31:40 +00001359void *__msan_memcpy(void *dest, const void *src, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001360 ENSURE_MSAN_INITED();
1361 void *res = fast_memcpy(dest, src, n);
1362 __msan_copy_poison(dest, src, n);
1363 return res;
1364}
1365
Kostya Serebryany07bb3922012-12-13 06:31:40 +00001366void *__msan_memset(void *s, int c, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001367 ENSURE_MSAN_INITED();
1368 void *res = fast_memset(s, c, n);
1369 __msan_unpoison(s, n);
1370 return res;
1371}
1372
Kostya Serebryany07bb3922012-12-13 06:31:40 +00001373void *__msan_memmove(void *dest, const void *src, SIZE_T n) {
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001374 ENSURE_MSAN_INITED();
1375 void *res = REAL(memmove)(dest, src, n);
1376 __msan_move_poison(dest, src, n);
1377 return res;
1378}
1379
1380namespace __msan {
1381void InitializeInterceptors() {
1382 static int inited = 0;
1383 CHECK_EQ(inited, 0);
Kostya Serebryany69fe0ba2013-01-18 06:43:13 +00001384 SANITIZER_COMMON_INTERCEPTORS_INIT;
1385
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001386 INTERCEPT_FUNCTION(mmap);
1387 INTERCEPT_FUNCTION(mmap64);
1388 INTERCEPT_FUNCTION(posix_memalign);
Evgeniy Stepanove3eaa7b2013-09-02 09:24:53 +00001389 INTERCEPT_FUNCTION(memalign);
1390 INTERCEPT_FUNCTION(valloc);
1391 INTERCEPT_FUNCTION(pvalloc);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001392 INTERCEPT_FUNCTION(malloc);
1393 INTERCEPT_FUNCTION(calloc);
1394 INTERCEPT_FUNCTION(realloc);
1395 INTERCEPT_FUNCTION(free);
1396 INTERCEPT_FUNCTION(fread);
1397 INTERCEPT_FUNCTION(fread_unlocked);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001398 INTERCEPT_FUNCTION(readlink);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001399 INTERCEPT_FUNCTION(memcpy);
Evgeniy Stepanov365bd0c2013-11-01 23:49:48 +00001400 INTERCEPT_FUNCTION(memccpy);
Evgeniy Stepanovaa23bd82013-07-02 14:49:24 +00001401 INTERCEPT_FUNCTION(mempcpy);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001402 INTERCEPT_FUNCTION(memset);
1403 INTERCEPT_FUNCTION(memmove);
Evgeniy Stepanovdb615c12013-07-04 13:19:41 +00001404 INTERCEPT_FUNCTION(bcopy);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001405 INTERCEPT_FUNCTION(wmemset);
1406 INTERCEPT_FUNCTION(wmemcpy);
Evgeniy Stepanovaa23bd82013-07-02 14:49:24 +00001407 INTERCEPT_FUNCTION(wmempcpy);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001408 INTERCEPT_FUNCTION(wmemmove);
1409 INTERCEPT_FUNCTION(strcpy); // NOLINT
Evgeniy Stepanov654688b2013-07-01 15:19:37 +00001410 INTERCEPT_FUNCTION(stpcpy); // NOLINT
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001411 INTERCEPT_FUNCTION(strdup);
Evgeniy Stepanovead6cf72013-03-14 11:10:36 +00001412 INTERCEPT_FUNCTION(__strdup);
1413 INTERCEPT_FUNCTION(strndup);
1414 INTERCEPT_FUNCTION(__strndup);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001415 INTERCEPT_FUNCTION(strncpy); // NOLINT
1416 INTERCEPT_FUNCTION(strlen);
1417 INTERCEPT_FUNCTION(strnlen);
1418 INTERCEPT_FUNCTION(gcvt);
1419 INTERCEPT_FUNCTION(strcat); // NOLINT
1420 INTERCEPT_FUNCTION(strncat); // NOLINT
1421 INTERCEPT_FUNCTION(strtol);
1422 INTERCEPT_FUNCTION(strtoll);
1423 INTERCEPT_FUNCTION(strtoul);
1424 INTERCEPT_FUNCTION(strtoull);
Evgeniy Stepanove3a32512013-01-17 13:42:17 +00001425 INTERCEPT_FUNCTION(strtod);
Evgeniy Stepanov7aacd9c2013-10-14 11:52:40 +00001426 INTERCEPT_FUNCTION(strtod_l);
1427 INTERCEPT_FUNCTION(__strtod_l);
Evgeniy Stepanove3a32512013-01-17 13:42:17 +00001428 INTERCEPT_FUNCTION(strtof);
Evgeniy Stepanov7aacd9c2013-10-14 11:52:40 +00001429 INTERCEPT_FUNCTION(strtof_l);
1430 INTERCEPT_FUNCTION(__strtof_l);
Evgeniy Stepanove3a32512013-01-17 13:42:17 +00001431 INTERCEPT_FUNCTION(strtold);
Evgeniy Stepanov7aacd9c2013-10-14 11:52:40 +00001432 INTERCEPT_FUNCTION(strtold_l);
1433 INTERCEPT_FUNCTION(__strtold_l);
Sergey Matveev1394f2d2014-01-28 13:45:58 +00001434 INTERCEPT_FUNCTION(strtol_l);
1435 INTERCEPT_FUNCTION(strtoll_l);
1436 INTERCEPT_FUNCTION(strtoul_l);
1437 INTERCEPT_FUNCTION(strtoull_l);
Evgeniy Stepanovb58b72e2013-06-21 13:32:26 +00001438 INTERCEPT_FUNCTION(vasprintf);
1439 INTERCEPT_FUNCTION(asprintf);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001440 INTERCEPT_FUNCTION(vsprintf);
1441 INTERCEPT_FUNCTION(vsnprintf);
1442 INTERCEPT_FUNCTION(vswprintf);
1443 INTERCEPT_FUNCTION(sprintf); // NOLINT
1444 INTERCEPT_FUNCTION(snprintf);
1445 INTERCEPT_FUNCTION(swprintf);
1446 INTERCEPT_FUNCTION(strftime);
Evgeniy Stepanov165d7592013-07-02 13:34:44 +00001447 INTERCEPT_FUNCTION(mbtowc);
1448 INTERCEPT_FUNCTION(mbrtowc);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001449 INTERCEPT_FUNCTION(wcslen);
1450 INTERCEPT_FUNCTION(wcschr);
1451 INTERCEPT_FUNCTION(wcscpy);
1452 INTERCEPT_FUNCTION(wcscmp);
1453 INTERCEPT_FUNCTION(wcstod);
1454 INTERCEPT_FUNCTION(getenv);
Evgeniy Stepanov5dbedf62013-08-01 11:14:14 +00001455 INTERCEPT_FUNCTION(setenv);
1456 INTERCEPT_FUNCTION(putenv);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001457 INTERCEPT_FUNCTION(gettimeofday);
1458 INTERCEPT_FUNCTION(fcvt);
1459 INTERCEPT_FUNCTION(__fxstat);
Evgeniy Stepanov842fa3f2013-09-09 13:40:41 +00001460 INTERCEPT_FUNCTION(__fxstatat);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001461 INTERCEPT_FUNCTION(__xstat);
1462 INTERCEPT_FUNCTION(__lxstat);
1463 INTERCEPT_FUNCTION(__fxstat64);
Evgeniy Stepanov842fa3f2013-09-09 13:40:41 +00001464 INTERCEPT_FUNCTION(__fxstatat64);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001465 INTERCEPT_FUNCTION(__xstat64);
1466 INTERCEPT_FUNCTION(__lxstat64);
1467 INTERCEPT_FUNCTION(pipe);
Evgeniy Stepanovb4eac2f2013-04-08 13:45:12 +00001468 INTERCEPT_FUNCTION(pipe2);
1469 INTERCEPT_FUNCTION(socketpair);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001470 INTERCEPT_FUNCTION(fgets);
1471 INTERCEPT_FUNCTION(fgets_unlocked);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001472 INTERCEPT_FUNCTION(getrlimit);
1473 INTERCEPT_FUNCTION(getrlimit64);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001474 INTERCEPT_FUNCTION(uname);
Evgeniy Stepanovffffbef2013-01-23 10:43:38 +00001475 INTERCEPT_FUNCTION(gethostname);
Alexey Samsonovcd1e68e2012-12-14 11:52:02 +00001476 INTERCEPT_FUNCTION(epoll_wait);
1477 INTERCEPT_FUNCTION(epoll_pwait);
1478 INTERCEPT_FUNCTION(recv);
1479 INTERCEPT_FUNCTION(recvfrom);
Evgeniy Stepanove3a32512013-01-17 13:42:17 +00001480 INTERCEPT_FUNCTION(dladdr);
Evgeniy Stepanov13322c62013-10-31 16:58:44 +00001481 INTERCEPT_FUNCTION(dlerror);
Reid Klecknerc9d382b2013-03-11 18:07:42 +00001482 INTERCEPT_FUNCTION(dlopen);
Evgeniy Stepanov87c6ec72013-05-16 13:00:25 +00001483 INTERCEPT_FUNCTION(dl_iterate_phdr);
Evgeniy Stepanove3a32512013-01-17 13:42:17 +00001484 INTERCEPT_FUNCTION(getrusage);
Evgeniy Stepanovf8213b42013-04-01 14:47:21 +00001485 INTERCEPT_FUNCTION(sigaction);
Evgeniy Stepanov1f8b3532013-04-04 08:22:52 +00001486 INTERCEPT_FUNCTION(signal);
Evgeniy Stepanov98f5ea02013-03-13 09:01:40 +00001487 INTERCEPT_FUNCTION(pthread_create);
Evgeniy Stepanov628d7272013-07-05 12:31:07 +00001488 INTERCEPT_FUNCTION(pthread_key_create);
Evgeniy Stepanov807e1312013-07-30 12:54:34 +00001489 INTERCEPT_FUNCTION(pthread_join);
Evgeniy Stepanov9be91e92013-09-13 11:27:38 +00001490 INTERCEPT_FUNCTION(tzset);
Evgeniy Stepanov022235c2013-09-27 11:32:21 +00001491 INTERCEPT_FUNCTION(__cxa_atexit);
Evgeniy Stepanov451c8de2013-10-29 02:48:49 +00001492 INTERCEPT_FUNCTION(shmat);
Evgeniy Stepanov2794c472013-10-22 14:31:30 +00001493
1494 if (REAL(pthread_key_create)(&g_thread_finalize_key, &thread_finalize)) {
1495 Printf("MemorySanitizer: failed to create thread key\n");
1496 Die();
1497 }
1498
Evgeniy Stepanovc5033782012-12-11 12:27:27 +00001499 inited = 1;
1500}
1501} // namespace __msan