1 //===-- msan_test.cpp -----------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file is a part of MemorySanitizer.
10 //
11 // MemorySanitizer unit tests.
12 //===----------------------------------------------------------------------===//
13
14 #ifndef MSAN_EXTERNAL_TEST_CONFIG
15 #include "msan_test_config.h"
16 #endif // MSAN_EXTERNAL_TEST_CONFIG
17
18 #include "sanitizer_common/tests/sanitizer_test_utils.h"
19
20 #include "sanitizer/allocator_interface.h"
21 #include "sanitizer/msan_interface.h"
22
23 #if defined(__FreeBSD__)
24 # define _KERNEL // To declare 'shminfo' structure.
25 # include <sys/shm.h>
26 # undef _KERNEL
27 extern "C" {
28 // <sys/shm.h> doesn't declare these functions in _KERNEL mode.
29 void *shmat(int, const void *, int);
30 int shmget(key_t, size_t, int);
31 int shmctl(int, int, struct shmid_ds *);
32 int shmdt(const void *);
33 }
34 #endif
35
36 #if defined(__linux__) && !defined(__GLIBC__) && !defined(__ANDROID__)
37 #define MUSL 1
38 #endif
39
40 #include <inttypes.h>
41 #include <stdlib.h>
42 #include <stdarg.h>
43 #include <stdio.h>
44 #include <wchar.h>
45 #include <math.h>
46
47 #include <arpa/inet.h>
48 #include <dlfcn.h>
49 #include <grp.h>
50 #include <unistd.h>
51 #include <link.h>
52 #include <limits.h>
53 #include <sys/time.h>
54 #include <poll.h>
55 #include <sys/types.h>
56 #include <sys/stat.h>
57 #include <fcntl.h>
58 #include <sys/resource.h>
59 #include <sys/ioctl.h>
60 #include <sys/statvfs.h>
61 #include <sys/utsname.h>
62 #include <sys/mman.h>
63 #include <dirent.h>
64 #include <pwd.h>
65 #include <sys/socket.h>
66 #include <netdb.h>
67 #include <wordexp.h>
68 #include <sys/ipc.h>
69 #include <sys/shm.h>
70
71 #if defined(__NetBSD__)
72 # include <signal.h>
73 # include <netinet/in.h>
74 # include <sys/uio.h>
75 # include <sys/mount.h>
76 # include <sys/sysctl.h>
77 # include <net/if.h>
78 # include <net/if_ether.h>
79 #elif defined(__FreeBSD__)
80 # include <signal.h>
81 # include <netinet/in.h>
82 # include <pthread_np.h>
83 # include <sys/uio.h>
84 # include <sys/mount.h>
85 # include <sys/sysctl.h>
86 # include <net/ethernet.h>
87 # define f_namelen f_namemax // FreeBSD names this statfs field so.
88 # define cpu_set_t cpuset_t
89 extern "C" {
90 // FreeBSD's <ssp/string.h> defines mempcpy() to be a macro expanding into
91 // a __builtin___mempcpy_chk() call, but since Msan RTL defines it as an
92 // ordinary function, we can declare it here to complete the tests.
93 void *mempcpy(void *dest, const void *src, size_t n);
94 }
95 #else
96 # include <malloc.h>
97 # include <sys/sysinfo.h>
98 # include <sys/vfs.h>
99 # include <mntent.h>
100 # include <netinet/ether.h>
101 # if defined(__linux__)
102 # include <sys/uio.h>
103 # endif
104 #endif
105
106 #if defined(__i386__) || defined(__x86_64__)
107 # include <emmintrin.h>
108 # define MSAN_HAS_M128 1
109 #else
110 # define MSAN_HAS_M128 0
111 #endif
112
113 #ifdef __AVX2__
114 # include <immintrin.h>
115 #endif
116
117 #if defined(__FreeBSD__) || defined(__NetBSD__)
118 # define FILE_TO_READ "/bin/cat"
119 # define DIR_TO_READ "/bin"
120 # define SUBFILE_TO_READ "cat"
121 # define SYMLINK_TO_READ "/usr/bin/tar"
122 # define SUPERUSER_GROUP "wheel"
123 #else
124 # define FILE_TO_READ "/proc/self/stat"
125 # define DIR_TO_READ "/proc/self"
126 # define SUBFILE_TO_READ "stat"
127 # define SYMLINK_TO_READ "/proc/self/exe"
128 # define SUPERUSER_GROUP "root"
129 #endif
130
GetPageSize()131 static uintptr_t GetPageSize() {
132 return sysconf(_SC_PAGESIZE);
133 }
134
135 const size_t kMaxPathLength = 4096;
136
137 typedef unsigned char U1;
138 typedef unsigned short U2;
139 typedef unsigned int U4;
140 typedef unsigned long long U8;
141 typedef signed char S1;
142 typedef signed short S2;
143 typedef signed int S4;
144 typedef signed long long S8;
145 #define NOINLINE __attribute__((noinline))
146 #define ALWAYS_INLINE __attribute__((always_inline))
147
TrackingOrigins()148 static bool TrackingOrigins() {
149 S8 x;
150 __msan_set_origin(&x, sizeof(x), 0x1234);
151 U4 origin = __msan_get_origin(&x);
152 __msan_set_origin(&x, sizeof(x), 0);
153 return __msan_origin_is_descendant_or_same(origin, 0x1234);
154 }
155
156 #define EXPECT_ORIGIN(expected, origin) \
157 EXPECT_TRUE(__msan_origin_is_descendant_or_same((origin), (expected)))
158
159 #define EXPECT_UMR(action) \
160 do { \
161 __msan_set_expect_umr(1); \
162 action; \
163 __msan_set_expect_umr(0); \
164 } while (0)
165
166 #define EXPECT_UMR_O(action, origin) \
167 do { \
168 __msan_set_expect_umr(1); \
169 action; \
170 __msan_set_expect_umr(0); \
171 if (TrackingOrigins()) EXPECT_ORIGIN(origin, __msan_get_umr_origin()); \
172 } while (0)
173
174 #define EXPECT_POISONED(x) ExpectPoisoned(x)
175
176 template <typename T>
ExpectPoisoned(const T & t)177 void ExpectPoisoned(const T& t) {
178 EXPECT_NE(-1, __msan_test_shadow((void*)&t, sizeof(t)));
179 }
180
181 #define EXPECT_POISONED_O(x, origin) \
182 ExpectPoisonedWithOrigin(x, origin)
183
184 template<typename T>
ExpectPoisonedWithOrigin(const T & t,unsigned origin)185 void ExpectPoisonedWithOrigin(const T& t, unsigned origin) {
186 EXPECT_NE(-1, __msan_test_shadow((void*)&t, sizeof(t)));
187 if (TrackingOrigins()) EXPECT_ORIGIN(origin, __msan_get_origin((void *)&t));
188 }
189
190 #define EXPECT_NOT_POISONED(x) EXPECT_EQ(true, TestForNotPoisoned((x)))
191 #define EXPECT_NOT_POISONED2(data, size) \
192 EXPECT_EQ(true, TestForNotPoisoned((data), (size)))
193
TestForNotPoisoned(const void * data,size_t size)194 bool TestForNotPoisoned(const void *data, size_t size) {
195 return __msan_test_shadow(data, size) == -1;
196 }
197
198 template<typename T>
TestForNotPoisoned(const T & t)199 bool TestForNotPoisoned(const T& t) {
200 return TestForNotPoisoned((void *)&t, sizeof(t));
201 }
202
203 static U8 poisoned_array[100];
204 template<class T>
GetPoisoned(int i=0,T val=0)205 T *GetPoisoned(int i = 0, T val = 0) {
206 T *res = (T*)&poisoned_array[i];
207 *res = val;
208 __msan_poison(&poisoned_array[i], sizeof(T));
209 return res;
210 }
211
212 template<class T>
GetPoisonedO(int i,U4 origin,T val=0)213 T *GetPoisonedO(int i, U4 origin, T val = 0) {
214 T *res = (T*)&poisoned_array[i];
215 *res = val;
216 __msan_poison(&poisoned_array[i], sizeof(T));
217 __msan_set_origin(&poisoned_array[i], sizeof(T), origin);
218 return res;
219 }
220
221 template<typename T>
Poisoned(T v=0,T s=(T)(-1))222 T Poisoned(T v = 0, T s = (T)(-1)) {
223 __msan_partial_poison(&v, &s, sizeof(T));
224 return v;
225 }
226
ReturnPoisoned()227 template<class T> NOINLINE T ReturnPoisoned() { return *GetPoisoned<T>(); }
228
229 static volatile int g_one = 1;
230 static volatile int g_zero = 0;
231 static volatile int g_0 = 0;
232 static volatile int g_1 = 1;
233
234 S4 a_s4[100];
235 S8 a_s8[100];
236
237 // Check that malloc poisons memory.
238 // A lot of tests below depend on this.
TEST(MemorySanitizerSanity,PoisonInMalloc)239 TEST(MemorySanitizerSanity, PoisonInMalloc) {
240 int *x = (int*)malloc(sizeof(int));
241 EXPECT_POISONED(*x);
242 free(x);
243 }
244
TEST(MemorySanitizer,NegativeTest1)245 TEST(MemorySanitizer, NegativeTest1) {
246 S4 *x = GetPoisoned<S4>();
247 if (g_one)
248 *x = 0;
249 EXPECT_NOT_POISONED(*x);
250 }
251
TEST(MemorySanitizer,PositiveTest1)252 TEST(MemorySanitizer, PositiveTest1) {
253 // Load to store.
254 EXPECT_POISONED(*GetPoisoned<S1>());
255 EXPECT_POISONED(*GetPoisoned<S2>());
256 EXPECT_POISONED(*GetPoisoned<S4>());
257 EXPECT_POISONED(*GetPoisoned<S8>());
258
259 // S->S conversions.
260 EXPECT_POISONED(*GetPoisoned<S1>());
261 EXPECT_POISONED(*GetPoisoned<S1>());
262 EXPECT_POISONED(*GetPoisoned<S1>());
263
264 EXPECT_POISONED(*GetPoisoned<S2>());
265 EXPECT_POISONED(*GetPoisoned<S2>());
266 EXPECT_POISONED(*GetPoisoned<S2>());
267
268 EXPECT_POISONED(*GetPoisoned<S4>());
269 EXPECT_POISONED(*GetPoisoned<S4>());
270 EXPECT_POISONED(*GetPoisoned<S4>());
271
272 EXPECT_POISONED(*GetPoisoned<S8>());
273 EXPECT_POISONED(*GetPoisoned<S8>());
274 EXPECT_POISONED(*GetPoisoned<S8>());
275
276 // ZExt
277 EXPECT_POISONED(*GetPoisoned<U1>());
278 EXPECT_POISONED(*GetPoisoned<U1>());
279 EXPECT_POISONED(*GetPoisoned<U1>());
280 EXPECT_POISONED(*GetPoisoned<U2>());
281 EXPECT_POISONED(*GetPoisoned<U2>());
282 EXPECT_POISONED(*GetPoisoned<U4>());
283
284 // Unary ops.
285 EXPECT_POISONED(- *GetPoisoned<S4>());
286
287 EXPECT_UMR(a_s4[g_zero] = 100 / *GetPoisoned<S4>(0, 1));
288
289
290 a_s4[g_zero] = 1 - *GetPoisoned<S4>();
291 a_s4[g_zero] = 1 + *GetPoisoned<S4>();
292 }
293
TEST(MemorySanitizer,Phi1)294 TEST(MemorySanitizer, Phi1) {
295 S4 c;
296 if (g_one) {
297 c = *GetPoisoned<S4>();
298 } else {
299 break_optimization(0);
300 c = 0;
301 }
302 EXPECT_POISONED(c);
303 }
304
TEST(MemorySanitizer,Phi2)305 TEST(MemorySanitizer, Phi2) {
306 S4 i = *GetPoisoned<S4>();
307 S4 n = g_one;
308 EXPECT_UMR(for (; i < g_one; i++););
309 EXPECT_POISONED(i);
310 }
311
Arg1ExpectUMR(S4 a1)312 NOINLINE void Arg1ExpectUMR(S4 a1) { EXPECT_POISONED(a1); }
Arg2ExpectUMR(S4 a1,S4 a2)313 NOINLINE void Arg2ExpectUMR(S4 a1, S4 a2) { EXPECT_POISONED(a2); }
Arg3ExpectUMR(S1 a1,S4 a2,S8 a3)314 NOINLINE void Arg3ExpectUMR(S1 a1, S4 a2, S8 a3) { EXPECT_POISONED(a3); }
315
TEST(MemorySanitizer,ArgTest)316 TEST(MemorySanitizer, ArgTest) {
317 Arg1ExpectUMR(*GetPoisoned<S4>());
318 Arg2ExpectUMR(0, *GetPoisoned<S4>());
319 Arg3ExpectUMR(0, 1, *GetPoisoned<S8>());
320 }
321
322
TEST(MemorySanitizer,CallAndRet)323 TEST(MemorySanitizer, CallAndRet) {
324 ReturnPoisoned<S1>();
325 ReturnPoisoned<S2>();
326 ReturnPoisoned<S4>();
327 ReturnPoisoned<S8>();
328
329 EXPECT_POISONED(ReturnPoisoned<S1>());
330 EXPECT_POISONED(ReturnPoisoned<S2>());
331 EXPECT_POISONED(ReturnPoisoned<S4>());
332 EXPECT_POISONED(ReturnPoisoned<S8>());
333 }
334
335 // malloc() in the following test may be optimized to produce a compile-time
336 // undef value. Check that we trap on the volatile assignment anyway.
TEST(MemorySanitizer,DISABLED_MallocNoIdent)337 TEST(MemorySanitizer, DISABLED_MallocNoIdent) {
338 S4 *x = (int*)malloc(sizeof(S4));
339 EXPECT_POISONED(*x);
340 free(x);
341 }
342
TEST(MemorySanitizer,Malloc)343 TEST(MemorySanitizer, Malloc) {
344 S4 *x = (int*)Ident(malloc(sizeof(S4)));
345 EXPECT_POISONED(*x);
346 free(x);
347 }
348
TEST(MemorySanitizer,Realloc)349 TEST(MemorySanitizer, Realloc) {
350 S4 *x = (int*)Ident(realloc(0, sizeof(S4)));
351 EXPECT_POISONED(x[0]);
352 x[0] = 1;
353 x = (int*)Ident(realloc(x, 2 * sizeof(S4)));
354 EXPECT_NOT_POISONED(x[0]); // Ok, was inited before.
355 EXPECT_POISONED(x[1]);
356 x = (int*)Ident(realloc(x, 3 * sizeof(S4)));
357 EXPECT_NOT_POISONED(x[0]); // Ok, was inited before.
358 EXPECT_POISONED(x[2]);
359 EXPECT_POISONED(x[1]);
360 x[2] = 1; // Init this here. Check that after realloc it is poisoned again.
361 x = (int*)Ident(realloc(x, 2 * sizeof(S4)));
362 EXPECT_NOT_POISONED(x[0]); // Ok, was inited before.
363 EXPECT_POISONED(x[1]);
364 x = (int*)Ident(realloc(x, 3 * sizeof(S4)));
365 EXPECT_POISONED(x[1]);
366 EXPECT_POISONED(x[2]);
367 free(x);
368 }
369
TEST(MemorySanitizer,Calloc)370 TEST(MemorySanitizer, Calloc) {
371 S4 *x = (int*)Ident(calloc(1, sizeof(S4)));
372 EXPECT_NOT_POISONED(*x); // Should not be poisoned.
373 EXPECT_EQ(0, *x);
374 free(x);
375 }
376
TEST(MemorySanitizer,CallocReturnsZeroMem)377 TEST(MemorySanitizer, CallocReturnsZeroMem) {
378 size_t sizes[] = {16, 1000, 10000, 100000, 2100000};
379 for (size_t s = 0; s < sizeof(sizes)/sizeof(sizes[0]); s++) {
380 size_t size = sizes[s];
381 for (size_t iter = 0; iter < 5; iter++) {
382 char *x = Ident((char*)calloc(1, size));
383 EXPECT_EQ(x[0], 0);
384 EXPECT_EQ(x[size - 1], 0);
385 EXPECT_EQ(x[size / 2], 0);
386 EXPECT_EQ(x[size / 3], 0);
387 EXPECT_EQ(x[size / 4], 0);
388 memset(x, 0x42, size);
389 free(Ident(x));
390 }
391 }
392 }
393
TEST(MemorySanitizer,AndOr)394 TEST(MemorySanitizer, AndOr) {
395 U4 *p = GetPoisoned<U4>();
396 // We poison two bytes in the midle of a 4-byte word to make the test
397 // correct regardless of endianness.
398 ((U1*)p)[1] = 0;
399 ((U1*)p)[2] = 0xff;
400 EXPECT_NOT_POISONED(*p & 0x00ffff00);
401 EXPECT_NOT_POISONED(*p & 0x00ff0000);
402 EXPECT_NOT_POISONED(*p & 0x0000ff00);
403 EXPECT_POISONED(*p & 0xff000000);
404 EXPECT_POISONED(*p & 0x000000ff);
405 EXPECT_POISONED(*p & 0x0000ffff);
406 EXPECT_POISONED(*p & 0xffff0000);
407
408 EXPECT_NOT_POISONED(*p | 0xff0000ff);
409 EXPECT_NOT_POISONED(*p | 0xff00ffff);
410 EXPECT_NOT_POISONED(*p | 0xffff00ff);
411 EXPECT_POISONED(*p | 0xff000000);
412 EXPECT_POISONED(*p | 0x000000ff);
413 EXPECT_POISONED(*p | 0x0000ffff);
414 EXPECT_POISONED(*p | 0xffff0000);
415
416 EXPECT_POISONED((int)*GetPoisoned<bool>() & (int)*GetPoisoned<bool>());
417 }
418
419 template<class T>
applyNot(T value,T shadow)420 static bool applyNot(T value, T shadow) {
421 __msan_partial_poison(&value, &shadow, sizeof(T));
422 return !value;
423 }
424
TEST(MemorySanitizer,Not)425 TEST(MemorySanitizer, Not) {
426 EXPECT_NOT_POISONED(applyNot<U4>(0x0, 0x0));
427 EXPECT_NOT_POISONED(applyNot<U4>(0xFFFFFFFF, 0x0));
428 EXPECT_POISONED(applyNot<U4>(0xFFFFFFFF, 0xFFFFFFFF));
429 EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x0FFFFFFF));
430 EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x00FFFFFF));
431 EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x0000FFFF));
432 EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x00000000));
433 EXPECT_POISONED(applyNot<U4>(0xFF000000, 0xFF000000));
434 EXPECT_NOT_POISONED(applyNot<U4>(0xFF800000, 0xFF000000));
435 EXPECT_POISONED(applyNot<U4>(0x00008000, 0x00008000));
436
437 EXPECT_NOT_POISONED(applyNot<U1>(0x0, 0x0));
438 EXPECT_NOT_POISONED(applyNot<U1>(0xFF, 0xFE));
439 EXPECT_NOT_POISONED(applyNot<U1>(0xFF, 0x0));
440 EXPECT_POISONED(applyNot<U1>(0xFF, 0xFF));
441
442 EXPECT_POISONED(applyNot<void*>((void*)0xFFFFFF, (void*)(-1)));
443 EXPECT_NOT_POISONED(applyNot<void*>((void*)0xFFFFFF, (void*)(-2)));
444 }
445
TEST(MemorySanitizer,Shift)446 TEST(MemorySanitizer, Shift) {
447 U4 *up = GetPoisoned<U4>();
448 ((U1*)up)[0] = 0;
449 ((U1*)up)[3] = 0xff;
450 EXPECT_NOT_POISONED(*up >> 30);
451 EXPECT_NOT_POISONED(*up >> 24);
452 EXPECT_POISONED(*up >> 23);
453 EXPECT_POISONED(*up >> 10);
454
455 EXPECT_NOT_POISONED(*up << 30);
456 EXPECT_NOT_POISONED(*up << 24);
457 EXPECT_POISONED(*up << 23);
458 EXPECT_POISONED(*up << 10);
459
460 S4 *sp = (S4*)up;
461 EXPECT_NOT_POISONED(*sp >> 30);
462 EXPECT_NOT_POISONED(*sp >> 24);
463 EXPECT_POISONED(*sp >> 23);
464 EXPECT_POISONED(*sp >> 10);
465
466 sp = GetPoisoned<S4>();
467 ((S1*)sp)[1] = 0;
468 ((S1*)sp)[2] = 0;
469 EXPECT_POISONED(*sp >> 31);
470
471 EXPECT_POISONED(100 >> *GetPoisoned<S4>());
472 EXPECT_POISONED(100U >> *GetPoisoned<S4>());
473 }
474
GetPoisonedZero()475 NOINLINE static int GetPoisonedZero() {
476 int *zero = new int;
477 *zero = 0;
478 __msan_poison(zero, sizeof(*zero));
479 int res = *zero;
480 delete zero;
481 return res;
482 }
483
TEST(MemorySanitizer,LoadFromDirtyAddress)484 TEST(MemorySanitizer, LoadFromDirtyAddress) {
485 int *a = new int;
486 *a = 0;
487 EXPECT_UMR(break_optimization((void*)(U8)a[GetPoisonedZero()]));
488 delete a;
489 }
490
TEST(MemorySanitizer,StoreToDirtyAddress)491 TEST(MemorySanitizer, StoreToDirtyAddress) {
492 int *a = new int;
493 EXPECT_UMR(a[GetPoisonedZero()] = 0);
494 break_optimization(a);
495 delete a;
496 }
497
498
StackTestFunc()499 NOINLINE void StackTestFunc() {
500 S4 p4;
501 S4 ok4 = 1;
502 S2 p2;
503 S2 ok2 = 1;
504 S1 p1;
505 S1 ok1 = 1;
506 break_optimization(&p4);
507 break_optimization(&ok4);
508 break_optimization(&p2);
509 break_optimization(&ok2);
510 break_optimization(&p1);
511 break_optimization(&ok1);
512
513 EXPECT_POISONED(p4);
514 EXPECT_POISONED(p2);
515 EXPECT_POISONED(p1);
516 EXPECT_NOT_POISONED(ok1);
517 EXPECT_NOT_POISONED(ok2);
518 EXPECT_NOT_POISONED(ok4);
519 }
520
TEST(MemorySanitizer,StackTest)521 TEST(MemorySanitizer, StackTest) {
522 StackTestFunc();
523 }
524
StackStressFunc()525 NOINLINE void StackStressFunc() {
526 int foo[10000];
527 break_optimization(foo);
528 }
529
TEST(MemorySanitizer,DISABLED_StackStressTest)530 TEST(MemorySanitizer, DISABLED_StackStressTest) {
531 for (int i = 0; i < 1000000; i++)
532 StackStressFunc();
533 }
534
535 template<class T>
TestFloatingPoint()536 void TestFloatingPoint() {
537 static volatile T v;
538 static T g[100];
539 break_optimization(&g);
540 T *x = GetPoisoned<T>();
541 T *y = GetPoisoned<T>(1);
542 EXPECT_POISONED(*x);
543 EXPECT_POISONED((long long)*x);
544 EXPECT_POISONED((int)*x);
545 g[0] = *x;
546 g[1] = *x + *y;
547 g[2] = *x - *y;
548 g[3] = *x * *y;
549 }
550
TEST(MemorySanitizer,FloatingPointTest)551 TEST(MemorySanitizer, FloatingPointTest) {
552 TestFloatingPoint<float>();
553 TestFloatingPoint<double>();
554 }
555
TEST(MemorySanitizer,DynMem)556 TEST(MemorySanitizer, DynMem) {
557 S4 x = 0;
558 S4 *y = GetPoisoned<S4>();
559 memcpy(y, &x, g_one * sizeof(S4));
560 EXPECT_NOT_POISONED(*y);
561 }
562
563 static char *DynRetTestStr;
564
TEST(MemorySanitizer,DynRet)565 TEST(MemorySanitizer, DynRet) {
566 ReturnPoisoned<S8>();
567 EXPECT_NOT_POISONED(atoi("0"));
568 }
569
TEST(MemorySanitizer,DynRet1)570 TEST(MemorySanitizer, DynRet1) {
571 ReturnPoisoned<S8>();
572 }
573
574 struct LargeStruct {
575 S4 x[10];
576 };
577
578 NOINLINE
LargeRetTest()579 LargeStruct LargeRetTest() {
580 LargeStruct res;
581 res.x[0] = *GetPoisoned<S4>();
582 res.x[1] = *GetPoisoned<S4>();
583 res.x[2] = *GetPoisoned<S4>();
584 res.x[3] = *GetPoisoned<S4>();
585 res.x[4] = *GetPoisoned<S4>();
586 res.x[5] = *GetPoisoned<S4>();
587 res.x[6] = *GetPoisoned<S4>();
588 res.x[7] = *GetPoisoned<S4>();
589 res.x[8] = *GetPoisoned<S4>();
590 res.x[9] = *GetPoisoned<S4>();
591 return res;
592 }
593
TEST(MemorySanitizer,LargeRet)594 TEST(MemorySanitizer, LargeRet) {
595 LargeStruct a = LargeRetTest();
596 EXPECT_POISONED(a.x[0]);
597 EXPECT_POISONED(a.x[9]);
598 }
599
TEST(MemorySanitizer,strerror)600 TEST(MemorySanitizer, strerror) {
601 char *buf = strerror(EINVAL);
602 EXPECT_NOT_POISONED(strlen(buf));
603 buf = strerror(123456);
604 EXPECT_NOT_POISONED(strlen(buf));
605 }
606
TEST(MemorySanitizer,strerror_r)607 TEST(MemorySanitizer, strerror_r) {
608 errno = 0;
609 char buf[1000];
610 char *res = (char*) (size_t) strerror_r(EINVAL, buf, sizeof(buf));
611 ASSERT_EQ(0, errno);
612 if (!res) res = buf; // POSIX version success.
613 EXPECT_NOT_POISONED(strlen(res));
614 }
615
TEST(MemorySanitizer,fread)616 TEST(MemorySanitizer, fread) {
617 char *x = new char[32];
618 FILE *f = fopen(FILE_TO_READ, "r");
619 ASSERT_TRUE(f != NULL);
620 fread(x, 1, 32, f);
621 EXPECT_NOT_POISONED(x[0]);
622 EXPECT_NOT_POISONED(x[16]);
623 EXPECT_NOT_POISONED(x[31]);
624 fclose(f);
625 delete[] x;
626 }
627
TEST(MemorySanitizer,read)628 TEST(MemorySanitizer, read) {
629 char *x = new char[32];
630 int fd = open(FILE_TO_READ, O_RDONLY);
631 ASSERT_GT(fd, 0);
632 int sz = read(fd, x, 32);
633 ASSERT_EQ(sz, 32);
634 EXPECT_NOT_POISONED(x[0]);
635 EXPECT_NOT_POISONED(x[16]);
636 EXPECT_NOT_POISONED(x[31]);
637 close(fd);
638 delete[] x;
639 }
640
TEST(MemorySanitizer,pread)641 TEST(MemorySanitizer, pread) {
642 char *x = new char[32];
643 int fd = open(FILE_TO_READ, O_RDONLY);
644 ASSERT_GT(fd, 0);
645 int sz = pread(fd, x, 32, 0);
646 ASSERT_EQ(sz, 32);
647 EXPECT_NOT_POISONED(x[0]);
648 EXPECT_NOT_POISONED(x[16]);
649 EXPECT_NOT_POISONED(x[31]);
650 close(fd);
651 delete[] x;
652 }
653
TEST(MemorySanitizer,readv)654 TEST(MemorySanitizer, readv) {
655 char buf[2011];
656 struct iovec iov[2];
657 iov[0].iov_base = buf + 1;
658 iov[0].iov_len = 5;
659 iov[1].iov_base = buf + 10;
660 iov[1].iov_len = 2000;
661 int fd = open(FILE_TO_READ, O_RDONLY);
662 ASSERT_GT(fd, 0);
663 int sz = readv(fd, iov, 2);
664 ASSERT_GE(sz, 0);
665 ASSERT_LE(sz, 5 + 2000);
666 ASSERT_GT((size_t)sz, iov[0].iov_len);
667 EXPECT_POISONED(buf[0]);
668 EXPECT_NOT_POISONED(buf[1]);
669 EXPECT_NOT_POISONED(buf[5]);
670 EXPECT_POISONED(buf[6]);
671 EXPECT_POISONED(buf[9]);
672 EXPECT_NOT_POISONED(buf[10]);
673 EXPECT_NOT_POISONED(buf[10 + (sz - 1) - 5]);
674 EXPECT_POISONED(buf[11 + (sz - 1) - 5]);
675 close(fd);
676 }
677
TEST(MemorySanitizer,preadv)678 TEST(MemorySanitizer, preadv) {
679 char buf[2011];
680 struct iovec iov[2];
681 iov[0].iov_base = buf + 1;
682 iov[0].iov_len = 5;
683 iov[1].iov_base = buf + 10;
684 iov[1].iov_len = 2000;
685 int fd = open(FILE_TO_READ, O_RDONLY);
686 ASSERT_GT(fd, 0);
687 int sz = preadv(fd, iov, 2, 3);
688 ASSERT_GE(sz, 0);
689 ASSERT_LE(sz, 5 + 2000);
690 ASSERT_GT((size_t)sz, iov[0].iov_len);
691 EXPECT_POISONED(buf[0]);
692 EXPECT_NOT_POISONED(buf[1]);
693 EXPECT_NOT_POISONED(buf[5]);
694 EXPECT_POISONED(buf[6]);
695 EXPECT_POISONED(buf[9]);
696 EXPECT_NOT_POISONED(buf[10]);
697 EXPECT_NOT_POISONED(buf[10 + (sz - 1) - 5]);
698 EXPECT_POISONED(buf[11 + (sz - 1) - 5]);
699 close(fd);
700 }
701
702 // FIXME: fails now.
TEST(MemorySanitizer,DISABLED_ioctl)703 TEST(MemorySanitizer, DISABLED_ioctl) {
704 struct winsize ws;
705 EXPECT_EQ(ioctl(2, TIOCGWINSZ, &ws), 0);
706 EXPECT_NOT_POISONED(ws.ws_col);
707 }
708
TEST(MemorySanitizer,readlink)709 TEST(MemorySanitizer, readlink) {
710 char *x = new char[1000];
711 readlink(SYMLINK_TO_READ, x, 1000);
712 EXPECT_NOT_POISONED(x[0]);
713 delete [] x;
714 }
715
TEST(MemorySanitizer,readlinkat)716 TEST(MemorySanitizer, readlinkat) {
717 char *x = new char[1000];
718 readlinkat(AT_FDCWD, SYMLINK_TO_READ, x, 1000);
719 EXPECT_NOT_POISONED(x[0]);
720 delete[] x;
721 }
722
TEST(MemorySanitizer,stat)723 TEST(MemorySanitizer, stat) {
724 struct stat* st = new struct stat;
725 int res = stat(FILE_TO_READ, st);
726 ASSERT_EQ(0, res);
727 EXPECT_NOT_POISONED(st->st_dev);
728 EXPECT_NOT_POISONED(st->st_mode);
729 EXPECT_NOT_POISONED(st->st_size);
730 }
731
TEST(MemorySanitizer,fstatat)732 TEST(MemorySanitizer, fstatat) {
733 struct stat* st = new struct stat;
734 int dirfd = open(DIR_TO_READ, O_RDONLY);
735 ASSERT_GT(dirfd, 0);
736 int res = fstatat(dirfd, SUBFILE_TO_READ, st, 0);
737 ASSERT_EQ(0, res);
738 EXPECT_NOT_POISONED(st->st_dev);
739 EXPECT_NOT_POISONED(st->st_mode);
740 EXPECT_NOT_POISONED(st->st_size);
741 close(dirfd);
742 }
743
744 #if !defined(__NetBSD__)
TEST(MemorySanitizer,statfs)745 TEST(MemorySanitizer, statfs) {
746 struct statfs st;
747 int res = statfs("/", &st);
748 ASSERT_EQ(0, res);
749 EXPECT_NOT_POISONED(st.f_type);
750 EXPECT_NOT_POISONED(st.f_bfree);
751 EXPECT_NOT_POISONED(st.f_namelen);
752 }
753 #endif
754
TEST(MemorySanitizer,statvfs)755 TEST(MemorySanitizer, statvfs) {
756 struct statvfs st;
757 int res = statvfs("/", &st);
758 ASSERT_EQ(0, res);
759 EXPECT_NOT_POISONED(st.f_bsize);
760 EXPECT_NOT_POISONED(st.f_blocks);
761 EXPECT_NOT_POISONED(st.f_bfree);
762 EXPECT_NOT_POISONED(st.f_namemax);
763 }
764
TEST(MemorySanitizer,fstatvfs)765 TEST(MemorySanitizer, fstatvfs) {
766 struct statvfs st;
767 int fd = open("/", O_RDONLY | O_DIRECTORY);
768 int res = fstatvfs(fd, &st);
769 ASSERT_EQ(0, res);
770 EXPECT_NOT_POISONED(st.f_bsize);
771 EXPECT_NOT_POISONED(st.f_blocks);
772 EXPECT_NOT_POISONED(st.f_bfree);
773 EXPECT_NOT_POISONED(st.f_namemax);
774 close(fd);
775 }
776
TEST(MemorySanitizer,pipe)777 TEST(MemorySanitizer, pipe) {
778 int* pipefd = new int[2];
779 int res = pipe(pipefd);
780 ASSERT_EQ(0, res);
781 EXPECT_NOT_POISONED(pipefd[0]);
782 EXPECT_NOT_POISONED(pipefd[1]);
783 close(pipefd[0]);
784 close(pipefd[1]);
785 }
786
TEST(MemorySanitizer,pipe2)787 TEST(MemorySanitizer, pipe2) {
788 int* pipefd = new int[2];
789 int res = pipe2(pipefd, O_NONBLOCK);
790 ASSERT_EQ(0, res);
791 EXPECT_NOT_POISONED(pipefd[0]);
792 EXPECT_NOT_POISONED(pipefd[1]);
793 close(pipefd[0]);
794 close(pipefd[1]);
795 }
796
TEST(MemorySanitizer,socketpair)797 TEST(MemorySanitizer, socketpair) {
798 int sv[2];
799 int res = socketpair(AF_UNIX, SOCK_STREAM, 0, sv);
800 ASSERT_EQ(0, res);
801 EXPECT_NOT_POISONED(sv[0]);
802 EXPECT_NOT_POISONED(sv[1]);
803 close(sv[0]);
804 close(sv[1]);
805 }
806
TEST(MemorySanitizer,poll)807 TEST(MemorySanitizer, poll) {
808 int* pipefd = new int[2];
809 int res = pipe(pipefd);
810 ASSERT_EQ(0, res);
811
812 char data = 42;
813 res = write(pipefd[1], &data, 1);
814 ASSERT_EQ(1, res);
815
816 pollfd fds[2];
817 fds[0].fd = pipefd[0];
818 fds[0].events = POLLIN;
819 fds[1].fd = pipefd[1];
820 fds[1].events = POLLIN;
821 res = poll(fds, 2, 500);
822 ASSERT_EQ(1, res);
823 EXPECT_NOT_POISONED(fds[0].revents);
824 EXPECT_NOT_POISONED(fds[1].revents);
825
826 close(pipefd[0]);
827 close(pipefd[1]);
828 }
829
830 #if !defined (__FreeBSD__) && !defined (__NetBSD__)
TEST(MemorySanitizer,ppoll)831 TEST(MemorySanitizer, ppoll) {
832 int* pipefd = new int[2];
833 int res = pipe(pipefd);
834 ASSERT_EQ(0, res);
835
836 char data = 42;
837 res = write(pipefd[1], &data, 1);
838 ASSERT_EQ(1, res);
839
840 pollfd fds[2];
841 fds[0].fd = pipefd[0];
842 fds[0].events = POLLIN;
843 fds[1].fd = pipefd[1];
844 fds[1].events = POLLIN;
845 sigset_t ss;
846 sigemptyset(&ss);
847 res = ppoll(fds, 2, NULL, &ss);
848 ASSERT_EQ(1, res);
849 EXPECT_NOT_POISONED(fds[0].revents);
850 EXPECT_NOT_POISONED(fds[1].revents);
851
852 close(pipefd[0]);
853 close(pipefd[1]);
854 }
855 #endif
856
TEST(MemorySanitizer,poll_positive)857 TEST(MemorySanitizer, poll_positive) {
858 int* pipefd = new int[2];
859 int res = pipe(pipefd);
860 ASSERT_EQ(0, res);
861
862 pollfd fds[2];
863 fds[0].fd = pipefd[0];
864 fds[0].events = POLLIN;
865 // fds[1].fd uninitialized
866 fds[1].events = POLLIN;
867 EXPECT_UMR(poll(fds, 2, 0));
868
869 close(pipefd[0]);
870 close(pipefd[1]);
871 }
872
TEST(MemorySanitizer,bind_getsockname)873 TEST(MemorySanitizer, bind_getsockname) {
874 int sock = socket(AF_UNIX, SOCK_STREAM, 0);
875
876 struct sockaddr_in sai;
877 memset(&sai, 0, sizeof(sai));
878 sai.sin_family = AF_UNIX;
879 int res = bind(sock, (struct sockaddr *)&sai, sizeof(sai));
880
881 ASSERT_EQ(0, res);
882 char buf[200];
883 socklen_t addrlen;
884 EXPECT_UMR(getsockname(sock, (struct sockaddr *)&buf, &addrlen));
885
886 addrlen = sizeof(buf);
887 res = getsockname(sock, (struct sockaddr *)&buf, &addrlen);
888 EXPECT_NOT_POISONED(addrlen);
889 EXPECT_NOT_POISONED(buf[0]);
890 EXPECT_NOT_POISONED(buf[addrlen - 1]);
891 EXPECT_POISONED(buf[addrlen]);
892 close(sock);
893 }
894
895 class SocketAddr {
896 public:
897 virtual ~SocketAddr() = default;
898 virtual struct sockaddr *ptr() = 0;
899 virtual size_t size() const = 0;
900
901 template <class... Args>
902 static std::unique_ptr<SocketAddr> Create(int family, Args... args);
903 };
904
905 class SocketAddr4 : public SocketAddr {
906 public:
SocketAddr4()907 SocketAddr4() { EXPECT_POISONED(sai_); }
SocketAddr4(uint16_t port)908 explicit SocketAddr4(uint16_t port) {
909 memset(&sai_, 0, sizeof(sai_));
910 sai_.sin_family = AF_INET;
911 sai_.sin_port = port;
912 sai_.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
913 }
914
ptr()915 sockaddr *ptr() override { return reinterpret_cast<sockaddr *>(&sai_); }
916
size() const917 size_t size() const override { return sizeof(sai_); }
918
919 private:
920 sockaddr_in sai_;
921 };
922
923 class SocketAddr6 : public SocketAddr {
924 public:
SocketAddr6()925 SocketAddr6() { EXPECT_POISONED(sai_); }
SocketAddr6(uint16_t port)926 explicit SocketAddr6(uint16_t port) {
927 memset(&sai_, 0, sizeof(sai_));
928 sai_.sin6_family = AF_INET6;
929 sai_.sin6_port = port;
930 sai_.sin6_addr = in6addr_loopback;
931 }
932
ptr()933 sockaddr *ptr() override { return reinterpret_cast<sockaddr *>(&sai_); }
934
size() const935 size_t size() const override { return sizeof(sai_); }
936
937 private:
938 sockaddr_in6 sai_;
939 };
940
941 template <class... Args>
Create(int family,Args...args)942 std::unique_ptr<SocketAddr> SocketAddr::Create(int family, Args... args) {
943 if (family == AF_INET)
944 return std::unique_ptr<SocketAddr>(new SocketAddr4(args...));
945 return std::unique_ptr<SocketAddr>(new SocketAddr6(args...));
946 }
947
948 class MemorySanitizerIpTest : public ::testing::TestWithParam<int> {
949 public:
SetUp()950 void SetUp() override {
951 ASSERT_TRUE(GetParam() == AF_INET || GetParam() == AF_INET6);
952 }
953
954 template <class... Args>
CreateSockAddr(Args...args) const955 std::unique_ptr<SocketAddr> CreateSockAddr(Args... args) const {
956 return SocketAddr::Create(GetParam(), args...);
957 }
958
CreateSocket(int socket_type) const959 int CreateSocket(int socket_type) const {
960 return socket(GetParam(), socket_type, 0);
961 }
962 };
963
GetAvailableIpSocketFamilies()964 std::vector<int> GetAvailableIpSocketFamilies() {
965 std::vector<int> result;
966
967 for (int i : {AF_INET, AF_INET6}) {
968 int s = socket(i, SOCK_STREAM, 0);
969 if (s > 0) {
970 auto sai = SocketAddr::Create(i, 0);
971 if (bind(s, sai->ptr(), sai->size()) == 0) result.push_back(i);
972 close(s);
973 }
974 }
975
976 return result;
977 }
978
979 INSTANTIATE_TEST_SUITE_P(IpTests, MemorySanitizerIpTest,
980 ::testing::ValuesIn(GetAvailableIpSocketFamilies()));
981
TEST_P(MemorySanitizerIpTest,accept)982 TEST_P(MemorySanitizerIpTest, accept) {
983 int listen_socket = CreateSocket(SOCK_STREAM);
984 ASSERT_LT(0, listen_socket);
985
986 auto sai = CreateSockAddr(0);
987 int res = bind(listen_socket, sai->ptr(), sai->size());
988 ASSERT_EQ(0, res);
989
990 res = listen(listen_socket, 1);
991 ASSERT_EQ(0, res);
992
993 socklen_t sz = sai->size();
994 res = getsockname(listen_socket, sai->ptr(), &sz);
995 ASSERT_EQ(0, res);
996 ASSERT_EQ(sai->size(), sz);
997
998 int connect_socket = CreateSocket(SOCK_STREAM);
999 ASSERT_LT(0, connect_socket);
1000 res = fcntl(connect_socket, F_SETFL, O_NONBLOCK);
1001 ASSERT_EQ(0, res);
1002 res = connect(connect_socket, sai->ptr(), sai->size());
1003 // On FreeBSD this connection completes immediately.
1004 if (res != 0) {
1005 ASSERT_EQ(-1, res);
1006 ASSERT_EQ(EINPROGRESS, errno);
1007 }
1008
1009 __msan_poison(sai->ptr(), sai->size());
1010 int new_sock = accept(listen_socket, sai->ptr(), &sz);
1011 ASSERT_LT(0, new_sock);
1012 ASSERT_EQ(sai->size(), sz);
1013 EXPECT_NOT_POISONED2(sai->ptr(), sai->size());
1014
1015 __msan_poison(sai->ptr(), sai->size());
1016 res = getpeername(new_sock, sai->ptr(), &sz);
1017 ASSERT_EQ(0, res);
1018 ASSERT_EQ(sai->size(), sz);
1019 EXPECT_NOT_POISONED2(sai->ptr(), sai->size());
1020
1021 close(new_sock);
1022 close(connect_socket);
1023 close(listen_socket);
1024 }
1025
TEST_P(MemorySanitizerIpTest,recvmsg)1026 TEST_P(MemorySanitizerIpTest, recvmsg) {
1027 int server_socket = CreateSocket(SOCK_DGRAM);
1028 ASSERT_LT(0, server_socket);
1029
1030 auto sai = CreateSockAddr(0);
1031 int res = bind(server_socket, sai->ptr(), sai->size());
1032 ASSERT_EQ(0, res);
1033
1034 socklen_t sz = sai->size();
1035 res = getsockname(server_socket, sai->ptr(), &sz);
1036 ASSERT_EQ(0, res);
1037 ASSERT_EQ(sai->size(), sz);
1038
1039 int client_socket = CreateSocket(SOCK_DGRAM);
1040 ASSERT_LT(0, client_socket);
1041
1042 auto client_sai = CreateSockAddr(0);
1043 res = bind(client_socket, client_sai->ptr(), client_sai->size());
1044 ASSERT_EQ(0, res);
1045
1046 sz = client_sai->size();
1047 res = getsockname(client_socket, client_sai->ptr(), &sz);
1048 ASSERT_EQ(0, res);
1049 ASSERT_EQ(client_sai->size(), sz);
1050
1051 const char *s = "message text";
1052 struct iovec iov;
1053 iov.iov_base = (void *)s;
1054 iov.iov_len = strlen(s) + 1;
1055 struct msghdr msg;
1056 memset(&msg, 0, sizeof(msg));
1057 msg.msg_name = sai->ptr();
1058 msg.msg_namelen = sai->size();
1059 msg.msg_iov = &iov;
1060 msg.msg_iovlen = 1;
1061 res = sendmsg(client_socket, &msg, 0);
1062 ASSERT_LT(0, res);
1063
1064 char buf[1000];
1065 struct iovec recv_iov;
1066 recv_iov.iov_base = (void *)&buf;
1067 recv_iov.iov_len = sizeof(buf);
1068 auto recv_sai = CreateSockAddr();
1069 struct msghdr recv_msg;
1070 memset(&recv_msg, 0, sizeof(recv_msg));
1071 recv_msg.msg_name = recv_sai->ptr();
1072 recv_msg.msg_namelen = recv_sai->size();
1073 recv_msg.msg_iov = &recv_iov;
1074 recv_msg.msg_iovlen = 1;
1075 res = recvmsg(server_socket, &recv_msg, 0);
1076 ASSERT_LT(0, res);
1077
1078 ASSERT_EQ(recv_sai->size(), recv_msg.msg_namelen);
1079 EXPECT_NOT_POISONED2(recv_sai->ptr(), recv_sai->size());
1080 EXPECT_STREQ(s, buf);
1081
1082 close(server_socket);
1083 close(client_socket);
1084 }
1085
1086 #define EXPECT_HOSTENT_NOT_POISONED(he) \
1087 do { \
1088 EXPECT_NOT_POISONED(*(he)); \
1089 ASSERT_NE((void *)0, (he)->h_name); \
1090 ASSERT_NE((void *)0, (he)->h_aliases); \
1091 ASSERT_NE((void *)0, (he)->h_addr_list); \
1092 EXPECT_NOT_POISONED(strlen((he)->h_name)); \
1093 char **p = (he)->h_aliases; \
1094 while (*p) { \
1095 EXPECT_NOT_POISONED(strlen(*p)); \
1096 ++p; \
1097 } \
1098 char **q = (he)->h_addr_list; \
1099 while (*q) { \
1100 EXPECT_NOT_POISONED(*q[0]); \
1101 ++q; \
1102 } \
1103 EXPECT_NOT_POISONED(*q); \
1104 } while (0)
1105
TEST(MemorySanitizer,gethostent)1106 TEST(MemorySanitizer, gethostent) {
1107 sethostent(0);
1108 struct hostent *he = gethostent();
1109 ASSERT_NE((void *)NULL, he);
1110 EXPECT_HOSTENT_NOT_POISONED(he);
1111 }
1112
1113 #ifndef MSAN_TEST_DISABLE_GETHOSTBYNAME
1114
TEST(MemorySanitizer,gethostbyname)1115 TEST(MemorySanitizer, gethostbyname) {
1116 struct hostent *he = gethostbyname("localhost");
1117 ASSERT_NE((void *)NULL, he);
1118 EXPECT_HOSTENT_NOT_POISONED(he);
1119 }
1120
1121 #endif // MSAN_TEST_DISABLE_GETHOSTBYNAME
1122
TEST(MemorySanitizer,getaddrinfo)1123 TEST(MemorySanitizer, getaddrinfo) {
1124 struct addrinfo *ai;
1125 struct addrinfo hints;
1126 memset(&hints, 0, sizeof(hints));
1127 hints.ai_family = AF_INET;
1128 int res = getaddrinfo("localhost", NULL, &hints, &ai);
1129 ASSERT_EQ(0, res);
1130 EXPECT_NOT_POISONED(*ai);
1131 ASSERT_EQ(sizeof(sockaddr_in), ai->ai_addrlen);
1132 EXPECT_NOT_POISONED(*(sockaddr_in *)ai->ai_addr);
1133 }
1134
TEST(MemorySanitizer,getnameinfo)1135 TEST(MemorySanitizer, getnameinfo) {
1136 struct sockaddr_in sai;
1137 memset(&sai, 0, sizeof(sai));
1138 sai.sin_family = AF_INET;
1139 sai.sin_port = 80;
1140 sai.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
1141 char host[500];
1142 char serv[500];
1143 int res = getnameinfo((struct sockaddr *)&sai, sizeof(sai), host,
1144 sizeof(host), serv, sizeof(serv), 0);
1145 ASSERT_EQ(0, res);
1146 EXPECT_NOT_POISONED(host[0]);
1147 EXPECT_POISONED(host[sizeof(host) - 1]);
1148
1149 ASSERT_NE(0U, strlen(host));
1150 EXPECT_NOT_POISONED(serv[0]);
1151 EXPECT_POISONED(serv[sizeof(serv) - 1]);
1152 ASSERT_NE(0U, strlen(serv));
1153 }
1154
TEST(MemorySanitizer,gethostbyname2)1155 TEST(MemorySanitizer, gethostbyname2) {
1156 struct hostent *he = gethostbyname2("localhost", AF_INET);
1157 ASSERT_NE((void *)NULL, he);
1158 EXPECT_HOSTENT_NOT_POISONED(he);
1159 }
1160
TEST(MemorySanitizer,gethostbyaddr)1161 TEST(MemorySanitizer, gethostbyaddr) {
1162 in_addr_t addr = inet_addr("127.0.0.1");
1163 EXPECT_NOT_POISONED(addr);
1164 struct hostent *he = gethostbyaddr(&addr, sizeof(addr), AF_INET);
1165 ASSERT_NE((void *)NULL, he);
1166 EXPECT_HOSTENT_NOT_POISONED(he);
1167 }
1168
1169 #if defined(__GLIBC__) || defined(__FreeBSD__)
TEST(MemorySanitizer,gethostent_r)1170 TEST(MemorySanitizer, gethostent_r) {
1171 sethostent(0);
1172 char buf[2000];
1173 struct hostent he;
1174 struct hostent *result;
1175 int err;
1176 int res = gethostent_r(&he, buf, sizeof(buf), &result, &err);
1177 ASSERT_EQ(0, res);
1178 EXPECT_NOT_POISONED(result);
1179 ASSERT_NE((void *)NULL, result);
1180 EXPECT_HOSTENT_NOT_POISONED(result);
1181 EXPECT_NOT_POISONED(err);
1182 }
1183 #endif
1184
1185 #if !defined(__NetBSD__)
TEST(MemorySanitizer,gethostbyname_r)1186 TEST(MemorySanitizer, gethostbyname_r) {
1187 char buf[2000];
1188 struct hostent he;
1189 struct hostent *result;
1190 int err;
1191 int res = gethostbyname_r("localhost", &he, buf, sizeof(buf), &result, &err);
1192 ASSERT_EQ(0, res);
1193 EXPECT_NOT_POISONED(result);
1194 ASSERT_NE((void *)NULL, result);
1195 EXPECT_HOSTENT_NOT_POISONED(result);
1196 EXPECT_NOT_POISONED(err);
1197 }
1198 #endif
1199
1200 #if !defined(__NetBSD__)
TEST(MemorySanitizer,gethostbyname_r_bad_host_name)1201 TEST(MemorySanitizer, gethostbyname_r_bad_host_name) {
1202 char buf[2000];
1203 struct hostent he;
1204 struct hostent *result;
1205 int err;
1206 int res = gethostbyname_r("bad-host-name", &he, buf, sizeof(buf), &result, &err);
1207 ASSERT_EQ((struct hostent *)0, result);
1208 EXPECT_NOT_POISONED(err);
1209 }
1210 #endif
1211
1212 #if !defined(__NetBSD__)
TEST(MemorySanitizer,gethostbyname_r_erange)1213 TEST(MemorySanitizer, gethostbyname_r_erange) {
1214 char buf[5];
1215 struct hostent he;
1216 struct hostent *result;
1217 int err;
1218 gethostbyname_r("localhost", &he, buf, sizeof(buf), &result, &err);
1219 ASSERT_EQ(ERANGE, errno);
1220 EXPECT_NOT_POISONED(err);
1221 }
1222 #endif
1223
1224 #if !defined(__NetBSD__)
TEST(MemorySanitizer,gethostbyname2_r)1225 TEST(MemorySanitizer, gethostbyname2_r) {
1226 char buf[2000];
1227 struct hostent he;
1228 struct hostent *result;
1229 int err;
1230 int res = gethostbyname2_r("localhost", AF_INET, &he, buf, sizeof(buf),
1231 &result, &err);
1232 ASSERT_EQ(0, res);
1233 EXPECT_NOT_POISONED(result);
1234 ASSERT_NE((void *)NULL, result);
1235 EXPECT_HOSTENT_NOT_POISONED(result);
1236 EXPECT_NOT_POISONED(err);
1237 }
1238 #endif
1239
1240 #if !defined(__NetBSD__)
TEST(MemorySanitizer,gethostbyaddr_r)1241 TEST(MemorySanitizer, gethostbyaddr_r) {
1242 char buf[2000];
1243 struct hostent he;
1244 struct hostent *result;
1245 int err;
1246 in_addr_t addr = inet_addr("127.0.0.1");
1247 EXPECT_NOT_POISONED(addr);
1248 int res = gethostbyaddr_r(&addr, sizeof(addr), AF_INET, &he, buf, sizeof(buf),
1249 &result, &err);
1250 ASSERT_EQ(0, res);
1251 EXPECT_NOT_POISONED(result);
1252 ASSERT_NE((void *)NULL, result);
1253 EXPECT_HOSTENT_NOT_POISONED(result);
1254 EXPECT_NOT_POISONED(err);
1255 }
1256 #endif
1257
TEST(MemorySanitizer,getsockopt)1258 TEST(MemorySanitizer, getsockopt) {
1259 int sock = socket(AF_UNIX, SOCK_STREAM, 0);
1260 struct linger l[2];
1261 socklen_t sz = sizeof(l[0]);
1262 int res = getsockopt(sock, SOL_SOCKET, SO_LINGER, &l[0], &sz);
1263 ASSERT_EQ(0, res);
1264 ASSERT_EQ(sizeof(l[0]), sz);
1265 EXPECT_NOT_POISONED(l[0]);
1266 EXPECT_POISONED(*(char *)(l + 1));
1267 }
1268
TEST(MemorySanitizer,getcwd)1269 TEST(MemorySanitizer, getcwd) {
1270 char path[PATH_MAX + 1];
1271 char* res = getcwd(path, sizeof(path));
1272 ASSERT_TRUE(res != NULL);
1273 EXPECT_NOT_POISONED(path[0]);
1274 }
1275
TEST(MemorySanitizer,getcwd_gnu)1276 TEST(MemorySanitizer, getcwd_gnu) {
1277 char* res = getcwd(NULL, 0);
1278 ASSERT_TRUE(res != NULL);
1279 EXPECT_NOT_POISONED(res[0]);
1280 free(res);
1281 }
1282
1283 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
TEST(MemorySanitizer,get_current_dir_name)1284 TEST(MemorySanitizer, get_current_dir_name) {
1285 char* res = get_current_dir_name();
1286 ASSERT_TRUE(res != NULL);
1287 EXPECT_NOT_POISONED(res[0]);
1288 free(res);
1289 }
1290 #endif
1291
TEST(MemorySanitizer,shmctl)1292 TEST(MemorySanitizer, shmctl) {
1293 int id = shmget(IPC_PRIVATE, 4096, 0644 | IPC_CREAT);
1294 ASSERT_GT(id, -1);
1295
1296 struct shmid_ds ds;
1297 int res = shmctl(id, IPC_STAT, &ds);
1298 ASSERT_GT(res, -1);
1299 EXPECT_NOT_POISONED(ds);
1300
1301 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
1302 struct shminfo si;
1303 res = shmctl(id, IPC_INFO, (struct shmid_ds *)&si);
1304 ASSERT_GT(res, -1);
1305 EXPECT_NOT_POISONED(si);
1306
1307 struct shm_info s_i;
1308 res = shmctl(id, SHM_INFO, (struct shmid_ds *)&s_i);
1309 ASSERT_GT(res, -1);
1310 EXPECT_NOT_POISONED(s_i);
1311 #endif
1312
1313 res = shmctl(id, IPC_RMID, 0);
1314 ASSERT_GT(res, -1);
1315 }
1316
TEST(MemorySanitizer,shmat)1317 TEST(MemorySanitizer, shmat) {
1318 const int kShmSize = 4096;
1319 void *mapping_start = mmap(NULL, kShmSize + SHMLBA, PROT_READ | PROT_WRITE,
1320 MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
1321 ASSERT_NE(MAP_FAILED, mapping_start);
1322
1323 void *p = (void *)(((unsigned long)mapping_start + SHMLBA - 1) / SHMLBA * SHMLBA);
1324 // p is now SHMLBA-aligned;
1325
1326 ((char *)p)[10] = *GetPoisoned<U1>();
1327 ((char *)p)[kShmSize - 1] = *GetPoisoned<U1>();
1328
1329 int res = munmap(mapping_start, kShmSize + SHMLBA);
1330 ASSERT_EQ(0, res);
1331
1332 int id = shmget(IPC_PRIVATE, kShmSize, 0644 | IPC_CREAT);
1333 ASSERT_GT(id, -1);
1334
1335 void *q = shmat(id, p, 0);
1336 ASSERT_EQ(p, q);
1337
1338 EXPECT_NOT_POISONED(((char *)q)[0]);
1339 EXPECT_NOT_POISONED(((char *)q)[10]);
1340 EXPECT_NOT_POISONED(((char *)q)[kShmSize - 1]);
1341
1342 res = shmdt(q);
1343 ASSERT_EQ(0, res);
1344
1345 res = shmctl(id, IPC_RMID, 0);
1346 ASSERT_GT(res, -1);
1347 }
1348
1349 #ifdef __GLIBC__
TEST(MemorySanitizer,random_r)1350 TEST(MemorySanitizer, random_r) {
1351 int32_t x;
1352 char z[64];
1353 memset(z, 0, sizeof(z));
1354
1355 struct random_data buf;
1356 memset(&buf, 0, sizeof(buf));
1357
1358 int res = initstate_r(0, z, sizeof(z), &buf);
1359 ASSERT_EQ(0, res);
1360
1361 res = random_r(&buf, &x);
1362 ASSERT_EQ(0, res);
1363 EXPECT_NOT_POISONED(x);
1364 }
1365 #endif
1366
TEST(MemorySanitizer,confstr)1367 TEST(MemorySanitizer, confstr) {
1368 char buf[3];
1369 size_t res = confstr(_CS_PATH, buf, sizeof(buf));
1370 ASSERT_GT(res, sizeof(buf));
1371 EXPECT_NOT_POISONED(buf[0]);
1372 EXPECT_NOT_POISONED(buf[sizeof(buf) - 1]);
1373
1374 char buf2[1000];
1375 res = confstr(_CS_PATH, buf2, sizeof(buf2));
1376 ASSERT_LT(res, sizeof(buf2));
1377 EXPECT_NOT_POISONED(buf2[0]);
1378 EXPECT_NOT_POISONED(buf2[res - 1]);
1379 EXPECT_POISONED(buf2[res]);
1380 ASSERT_EQ(res, strlen(buf2) + 1);
1381 }
1382
TEST(MemorySanitizer,opendir)1383 TEST(MemorySanitizer, opendir) {
1384 DIR *dir = opendir(".");
1385 closedir(dir);
1386
1387 char name[10] = ".";
1388 __msan_poison(name, sizeof(name));
1389 EXPECT_UMR(dir = opendir(name));
1390 closedir(dir);
1391 }
1392
TEST(MemorySanitizer,readdir)1393 TEST(MemorySanitizer, readdir) {
1394 DIR *dir = opendir(".");
1395 struct dirent *d = readdir(dir);
1396 ASSERT_TRUE(d != NULL);
1397 EXPECT_NOT_POISONED(d->d_name[0]);
1398 closedir(dir);
1399 }
1400
TEST(MemorySanitizer,readdir_r)1401 TEST(MemorySanitizer, readdir_r) {
1402 DIR *dir = opendir(".");
1403 struct dirent d;
1404 struct dirent *pd;
1405 int res = readdir_r(dir, &d, &pd);
1406 ASSERT_EQ(0, res);
1407 EXPECT_NOT_POISONED(pd);
1408 EXPECT_NOT_POISONED(d.d_name[0]);
1409 closedir(dir);
1410 }
1411
TEST(MemorySanitizer,realpath)1412 TEST(MemorySanitizer, realpath) {
1413 const char* relpath = ".";
1414 char path[PATH_MAX + 1];
1415 char* res = realpath(relpath, path);
1416 ASSERT_TRUE(res != NULL);
1417 EXPECT_NOT_POISONED(path[0]);
1418 }
1419
TEST(MemorySanitizer,realpath_null)1420 TEST(MemorySanitizer, realpath_null) {
1421 const char* relpath = ".";
1422 char* res = realpath(relpath, NULL);
1423 printf("%d, %s\n", errno, strerror(errno));
1424 ASSERT_TRUE(res != NULL);
1425 EXPECT_NOT_POISONED(res[0]);
1426 free(res);
1427 }
1428
1429 #ifdef __GLIBC__
TEST(MemorySanitizer,canonicalize_file_name)1430 TEST(MemorySanitizer, canonicalize_file_name) {
1431 const char* relpath = ".";
1432 char* res = canonicalize_file_name(relpath);
1433 ASSERT_TRUE(res != NULL);
1434 EXPECT_NOT_POISONED(res[0]);
1435 free(res);
1436 }
1437 #endif
1438
1439 extern char **environ;
1440
TEST(MemorySanitizer,setenv)1441 TEST(MemorySanitizer, setenv) {
1442 setenv("AAA", "BBB", 1);
1443 for (char **envp = environ; *envp; ++envp) {
1444 EXPECT_NOT_POISONED(*envp);
1445 EXPECT_NOT_POISONED(*envp[0]);
1446 }
1447 }
1448
TEST(MemorySanitizer,putenv)1449 TEST(MemorySanitizer, putenv) {
1450 char s[] = "AAA=BBB";
1451 putenv(s);
1452 for (char **envp = environ; *envp; ++envp) {
1453 EXPECT_NOT_POISONED(*envp);
1454 EXPECT_NOT_POISONED(*envp[0]);
1455 }
1456 }
1457
TEST(MemorySanitizer,memcpy)1458 TEST(MemorySanitizer, memcpy) {
1459 char* x = new char[2];
1460 char* y = new char[2];
1461 x[0] = 1;
1462 x[1] = *GetPoisoned<char>();
1463 memcpy(y, x, 2);
1464 EXPECT_NOT_POISONED(y[0]);
1465 EXPECT_POISONED(y[1]);
1466 }
1467
TestUnalignedMemcpy(unsigned left,unsigned right,bool src_is_aligned,bool src_is_poisoned,bool dst_is_poisoned)1468 void TestUnalignedMemcpy(unsigned left, unsigned right, bool src_is_aligned,
1469 bool src_is_poisoned, bool dst_is_poisoned) {
1470 fprintf(stderr, "%s(%d, %d, %d, %d, %d)\n", __func__, left, right,
1471 src_is_aligned, src_is_poisoned, dst_is_poisoned);
1472
1473 const unsigned sz = 20;
1474 U4 dst_origin, src_origin;
1475 char *dst = (char *)malloc(sz);
1476 if (dst_is_poisoned)
1477 dst_origin = __msan_get_origin(dst);
1478 else
1479 memset(dst, 0, sz);
1480
1481 char *src = (char *)malloc(sz);
1482 if (src_is_poisoned)
1483 src_origin = __msan_get_origin(src);
1484 else
1485 memset(src, 0, sz);
1486
1487 memcpy(dst + left, src_is_aligned ? src + left : src, sz - left - right);
1488
1489 for (unsigned i = 0; i < (left & (~3U)); ++i)
1490 if (dst_is_poisoned)
1491 EXPECT_POISONED_O(dst[i], dst_origin);
1492 else
1493 EXPECT_NOT_POISONED(dst[i]);
1494
1495 for (unsigned i = 0; i < (right & (~3U)); ++i)
1496 if (dst_is_poisoned)
1497 EXPECT_POISONED_O(dst[sz - i - 1], dst_origin);
1498 else
1499 EXPECT_NOT_POISONED(dst[sz - i - 1]);
1500
1501 for (unsigned i = left; i < sz - right; ++i)
1502 if (src_is_poisoned)
1503 EXPECT_POISONED_O(dst[i], src_origin);
1504 else
1505 EXPECT_NOT_POISONED(dst[i]);
1506
1507 free(dst);
1508 free(src);
1509 }
1510
TEST(MemorySanitizer,memcpy_unaligned)1511 TEST(MemorySanitizer, memcpy_unaligned) {
1512 for (int i = 0; i < 10; ++i)
1513 for (int j = 0; j < 10; ++j)
1514 for (int aligned = 0; aligned < 2; ++aligned)
1515 for (int srcp = 0; srcp < 2; ++srcp)
1516 for (int dstp = 0; dstp < 2; ++dstp)
1517 TestUnalignedMemcpy(i, j, aligned, srcp, dstp);
1518 }
1519
TEST(MemorySanitizer,memmove)1520 TEST(MemorySanitizer, memmove) {
1521 char* x = new char[2];
1522 char* y = new char[2];
1523 x[0] = 1;
1524 x[1] = *GetPoisoned<char>();
1525 memmove(y, x, 2);
1526 EXPECT_NOT_POISONED(y[0]);
1527 EXPECT_POISONED(y[1]);
1528 }
1529
TEST(MemorySanitizer,memccpy_nomatch)1530 TEST(MemorySanitizer, memccpy_nomatch) {
1531 char* x = new char[5];
1532 char* y = new char[5];
1533 strcpy(x, "abc");
1534 memccpy(y, x, 'd', 4);
1535 EXPECT_NOT_POISONED(y[0]);
1536 EXPECT_NOT_POISONED(y[1]);
1537 EXPECT_NOT_POISONED(y[2]);
1538 EXPECT_NOT_POISONED(y[3]);
1539 EXPECT_POISONED(y[4]);
1540 delete[] x;
1541 delete[] y;
1542 }
1543
TEST(MemorySanitizer,memccpy_match)1544 TEST(MemorySanitizer, memccpy_match) {
1545 char* x = new char[5];
1546 char* y = new char[5];
1547 strcpy(x, "abc");
1548 memccpy(y, x, 'b', 4);
1549 EXPECT_NOT_POISONED(y[0]);
1550 EXPECT_NOT_POISONED(y[1]);
1551 EXPECT_POISONED(y[2]);
1552 EXPECT_POISONED(y[3]);
1553 EXPECT_POISONED(y[4]);
1554 delete[] x;
1555 delete[] y;
1556 }
1557
TEST(MemorySanitizer,memccpy_nomatch_positive)1558 TEST(MemorySanitizer, memccpy_nomatch_positive) {
1559 char* x = new char[5];
1560 char* y = new char[5];
1561 strcpy(x, "abc");
1562 EXPECT_UMR(memccpy(y, x, 'd', 5));
1563 break_optimization(y);
1564 delete[] x;
1565 delete[] y;
1566 }
1567
TEST(MemorySanitizer,memccpy_match_positive)1568 TEST(MemorySanitizer, memccpy_match_positive) {
1569 char* x = new char[5];
1570 char* y = new char[5];
1571 x[0] = 'a';
1572 x[2] = 'b';
1573 EXPECT_UMR(memccpy(y, x, 'b', 5));
1574 break_optimization(y);
1575 delete[] x;
1576 delete[] y;
1577 }
1578
TEST(MemorySanitizer,bcopy)1579 TEST(MemorySanitizer, bcopy) {
1580 char* x = new char[2];
1581 char* y = new char[2];
1582 x[0] = 1;
1583 x[1] = *GetPoisoned<char>();
1584 bcopy(x, y, 2);
1585 EXPECT_NOT_POISONED(y[0]);
1586 EXPECT_POISONED(y[1]);
1587 }
1588
TEST(MemorySanitizer,strdup)1589 TEST(MemorySanitizer, strdup) {
1590 char buf[4] = "abc";
1591 __msan_poison(buf + 2, sizeof(*buf));
1592 char *x = strdup(buf);
1593 EXPECT_NOT_POISONED(x[0]);
1594 EXPECT_NOT_POISONED(x[1]);
1595 EXPECT_POISONED(x[2]);
1596 EXPECT_NOT_POISONED(x[3]);
1597 free(x);
1598 }
1599
TEST(MemorySanitizer,strndup)1600 TEST(MemorySanitizer, strndup) {
1601 char buf[4] = "abc";
1602 __msan_poison(buf + 2, sizeof(*buf));
1603 char *x;
1604 EXPECT_UMR(x = strndup(buf, 3));
1605 EXPECT_NOT_POISONED(x[0]);
1606 EXPECT_NOT_POISONED(x[1]);
1607 EXPECT_POISONED(x[2]);
1608 EXPECT_NOT_POISONED(x[3]);
1609 free(x);
1610 // Check handling of non 0 terminated strings.
1611 buf[3] = 'z';
1612 __msan_poison(buf + 3, sizeof(*buf));
1613 EXPECT_UMR(x = strndup(buf + 3, 1));
1614 EXPECT_POISONED(x[0]);
1615 EXPECT_NOT_POISONED(x[1]);
1616 free(x);
1617 }
1618
TEST(MemorySanitizer,strndup_short)1619 TEST(MemorySanitizer, strndup_short) {
1620 char buf[4] = "abc";
1621 __msan_poison(buf + 1, sizeof(*buf));
1622 __msan_poison(buf + 2, sizeof(*buf));
1623 char *x;
1624 EXPECT_UMR(x = strndup(buf, 2));
1625 EXPECT_NOT_POISONED(x[0]);
1626 EXPECT_POISONED(x[1]);
1627 EXPECT_NOT_POISONED(x[2]);
1628 free(x);
1629 }
1630
1631
1632 template<class T, int size>
TestOverlapMemmove()1633 void TestOverlapMemmove() {
1634 T *x = new T[size];
1635 ASSERT_GE(size, 3);
1636 x[2] = 0;
1637 memmove(x, x + 1, (size - 1) * sizeof(T));
1638 EXPECT_NOT_POISONED(x[1]);
1639 EXPECT_POISONED(x[0]);
1640 EXPECT_POISONED(x[2]);
1641 delete [] x;
1642 }
1643
TEST(MemorySanitizer,overlap_memmove)1644 TEST(MemorySanitizer, overlap_memmove) {
1645 TestOverlapMemmove<U1, 10>();
1646 TestOverlapMemmove<U1, 1000>();
1647 TestOverlapMemmove<U8, 4>();
1648 TestOverlapMemmove<U8, 1000>();
1649 }
1650
TEST(MemorySanitizer,strcpy)1651 TEST(MemorySanitizer, strcpy) {
1652 char* x = new char[3];
1653 char* y = new char[3];
1654 x[0] = 'a';
1655 x[1] = *GetPoisoned<char>(1, 1);
1656 x[2] = 0;
1657 strcpy(y, x);
1658 EXPECT_NOT_POISONED(y[0]);
1659 EXPECT_POISONED(y[1]);
1660 EXPECT_NOT_POISONED(y[2]);
1661 }
1662
TEST(MemorySanitizer,strncpy)1663 TEST(MemorySanitizer, strncpy) {
1664 char* x = new char[3];
1665 char* y = new char[5];
1666 x[0] = 'a';
1667 x[1] = *GetPoisoned<char>(1, 1);
1668 x[2] = '\0';
1669 strncpy(y, x, 4);
1670 EXPECT_NOT_POISONED(y[0]);
1671 EXPECT_POISONED(y[1]);
1672 EXPECT_NOT_POISONED(y[2]);
1673 EXPECT_NOT_POISONED(y[3]);
1674 EXPECT_POISONED(y[4]);
1675 }
1676
TEST(MemorySanitizer,stpcpy)1677 TEST(MemorySanitizer, stpcpy) {
1678 char* x = new char[3];
1679 char* y = new char[3];
1680 x[0] = 'a';
1681 x[1] = *GetPoisoned<char>(1, 1);
1682 x[2] = 0;
1683 char *res = stpcpy(y, x);
1684 ASSERT_EQ(res, y + 2);
1685 EXPECT_NOT_POISONED(y[0]);
1686 EXPECT_POISONED(y[1]);
1687 EXPECT_NOT_POISONED(y[2]);
1688 }
1689
TEST(MemorySanitizer,strcat)1690 TEST(MemorySanitizer, strcat) {
1691 char a[10];
1692 char b[] = "def";
1693 strcpy(a, "abc");
1694 __msan_poison(b + 1, 1);
1695 strcat(a, b);
1696 EXPECT_NOT_POISONED(a[3]);
1697 EXPECT_POISONED(a[4]);
1698 EXPECT_NOT_POISONED(a[5]);
1699 EXPECT_NOT_POISONED(a[6]);
1700 EXPECT_POISONED(a[7]);
1701 }
1702
TEST(MemorySanitizer,strncat)1703 TEST(MemorySanitizer, strncat) {
1704 char a[10];
1705 char b[] = "def";
1706 strcpy(a, "abc");
1707 __msan_poison(b + 1, 1);
1708 strncat(a, b, 5);
1709 EXPECT_NOT_POISONED(a[3]);
1710 EXPECT_POISONED(a[4]);
1711 EXPECT_NOT_POISONED(a[5]);
1712 EXPECT_NOT_POISONED(a[6]);
1713 EXPECT_POISONED(a[7]);
1714 }
1715
TEST(MemorySanitizer,strncat_overflow)1716 TEST(MemorySanitizer, strncat_overflow) {
1717 char a[10];
1718 char b[] = "def";
1719 strcpy(a, "abc");
1720 __msan_poison(b + 1, 1);
1721 strncat(a, b, 2);
1722 EXPECT_NOT_POISONED(a[3]);
1723 EXPECT_POISONED(a[4]);
1724 EXPECT_NOT_POISONED(a[5]);
1725 EXPECT_POISONED(a[6]);
1726 EXPECT_POISONED(a[7]);
1727 }
1728
TEST(MemorySanitizer,wcscat)1729 TEST(MemorySanitizer, wcscat) {
1730 wchar_t a[10];
1731 wchar_t b[] = L"def";
1732 wcscpy(a, L"abc");
1733
1734 wcscat(a, b);
1735 EXPECT_EQ(6U, wcslen(a));
1736 EXPECT_POISONED(a[7]);
1737
1738 a[3] = 0;
1739 __msan_poison(b + 1, sizeof(wchar_t));
1740 EXPECT_UMR(wcscat(a, b));
1741
1742 __msan_unpoison(b + 1, sizeof(wchar_t));
1743 __msan_poison(a + 2, sizeof(wchar_t));
1744 EXPECT_UMR(wcscat(a, b));
1745 }
1746
TEST(MemorySanitizer,wcsncat)1747 TEST(MemorySanitizer, wcsncat) {
1748 wchar_t a[10];
1749 wchar_t b[] = L"def";
1750 wcscpy(a, L"abc");
1751
1752 wcsncat(a, b, 5);
1753 EXPECT_EQ(6U, wcslen(a));
1754 EXPECT_POISONED(a[7]);
1755
1756 a[3] = 0;
1757 __msan_poison(a + 4, sizeof(wchar_t) * 6);
1758 wcsncat(a, b, 2);
1759 EXPECT_EQ(5U, wcslen(a));
1760 EXPECT_POISONED(a[6]);
1761
1762 a[3] = 0;
1763 __msan_poison(b + 1, sizeof(wchar_t));
1764 EXPECT_UMR(wcsncat(a, b, 2));
1765
1766 __msan_unpoison(b + 1, sizeof(wchar_t));
1767 __msan_poison(a + 2, sizeof(wchar_t));
1768 EXPECT_UMR(wcsncat(a, b, 2));
1769 }
1770
1771 #define TEST_STRTO_INT(func_name, char_type, str_prefix) \
1772 TEST(MemorySanitizer, func_name) { \
1773 char_type *e; \
1774 EXPECT_EQ(1U, func_name(str_prefix##"1", &e, 10)); \
1775 EXPECT_NOT_POISONED((S8)e); \
1776 }
1777
1778 #define TEST_STRTO_FLOAT(func_name, char_type, str_prefix) \
1779 TEST(MemorySanitizer, func_name) { \
1780 char_type *e; \
1781 EXPECT_NE(0, func_name(str_prefix##"1.5", &e)); \
1782 EXPECT_NOT_POISONED((S8)e); \
1783 }
1784
1785 #define TEST_STRTO_FLOAT_LOC(func_name, char_type, str_prefix) \
1786 TEST(MemorySanitizer, func_name) { \
1787 locale_t loc = newlocale(LC_NUMERIC_MASK, "C", (locale_t)0); \
1788 char_type *e; \
1789 EXPECT_NE(0, func_name(str_prefix##"1.5", &e, loc)); \
1790 EXPECT_NOT_POISONED((S8)e); \
1791 freelocale(loc); \
1792 }
1793
1794 #define TEST_STRTO_INT_LOC(func_name, char_type, str_prefix) \
1795 TEST(MemorySanitizer, func_name) { \
1796 locale_t loc = newlocale(LC_NUMERIC_MASK, "C", (locale_t)0); \
1797 char_type *e; \
1798 ASSERT_EQ(1U, func_name(str_prefix##"1", &e, 10, loc)); \
1799 EXPECT_NOT_POISONED((S8)e); \
1800 freelocale(loc); \
1801 }
1802
1803 TEST_STRTO_INT(strtol, char, )
1804 TEST_STRTO_INT(strtoll, char, )
1805 TEST_STRTO_INT(strtoul, char, )
1806 TEST_STRTO_INT(strtoull, char, )
1807 #ifndef MUSL
1808 TEST_STRTO_INT(strtouq, char, )
1809 #endif
1810
1811 TEST_STRTO_FLOAT(strtof, char, )
1812 TEST_STRTO_FLOAT(strtod, char, )
1813 TEST_STRTO_FLOAT(strtold, char, )
1814
1815 #ifndef MUSL
1816 TEST_STRTO_FLOAT_LOC(strtof_l, char, )
1817 TEST_STRTO_FLOAT_LOC(strtod_l, char, )
1818 TEST_STRTO_FLOAT_LOC(strtold_l, char, )
1819
1820 TEST_STRTO_INT_LOC(strtol_l, char, )
1821 TEST_STRTO_INT_LOC(strtoll_l, char, )
1822 TEST_STRTO_INT_LOC(strtoul_l, char, )
1823 TEST_STRTO_INT_LOC(strtoull_l, char, )
1824 #endif
1825
TEST_STRTO_INT(wcstol,wchar_t,L)1826 TEST_STRTO_INT(wcstol, wchar_t, L)
1827 TEST_STRTO_INT(wcstoll, wchar_t, L)
1828 TEST_STRTO_INT(wcstoul, wchar_t, L)
1829 TEST_STRTO_INT(wcstoull, wchar_t, L)
1830
1831 TEST_STRTO_FLOAT(wcstof, wchar_t, L)
1832 TEST_STRTO_FLOAT(wcstod, wchar_t, L)
1833 TEST_STRTO_FLOAT(wcstold, wchar_t, L)
1834
1835 #ifndef MUSL
1836 TEST_STRTO_FLOAT_LOC(wcstof_l, wchar_t, L)
1837 TEST_STRTO_FLOAT_LOC(wcstod_l, wchar_t, L)
1838 TEST_STRTO_FLOAT_LOC(wcstold_l, wchar_t, L)
1839
1840 TEST_STRTO_INT_LOC(wcstol_l, wchar_t, L)
1841 TEST_STRTO_INT_LOC(wcstoll_l, wchar_t, L)
1842 TEST_STRTO_INT_LOC(wcstoul_l, wchar_t, L)
1843 TEST_STRTO_INT_LOC(wcstoull_l, wchar_t, L)
1844 #endif
1845
1846
1847 TEST(MemorySanitizer, strtoimax) {
1848 char *e;
1849 ASSERT_EQ(1, strtoimax("1", &e, 10));
1850 EXPECT_NOT_POISONED((S8) e);
1851 }
1852
TEST(MemorySanitizer,strtoumax)1853 TEST(MemorySanitizer, strtoumax) {
1854 char *e;
1855 ASSERT_EQ(1U, strtoumax("1", &e, 10));
1856 EXPECT_NOT_POISONED((S8) e);
1857 }
1858
1859 #ifdef __GLIBC__
1860 extern "C" float __strtof_l(const char *nptr, char **endptr, locale_t loc);
1861 TEST_STRTO_FLOAT_LOC(__strtof_l, char, )
1862 extern "C" double __strtod_l(const char *nptr, char **endptr, locale_t loc);
1863 TEST_STRTO_FLOAT_LOC(__strtod_l, char, )
1864 extern "C" long double __strtold_l(const char *nptr, char **endptr,
1865 locale_t loc);
1866 TEST_STRTO_FLOAT_LOC(__strtold_l, char, )
1867
1868 extern "C" float __wcstof_l(const wchar_t *nptr, wchar_t **endptr, locale_t loc);
1869 TEST_STRTO_FLOAT_LOC(__wcstof_l, wchar_t, L)
1870 extern "C" double __wcstod_l(const wchar_t *nptr, wchar_t **endptr, locale_t loc);
1871 TEST_STRTO_FLOAT_LOC(__wcstod_l, wchar_t, L)
1872 extern "C" long double __wcstold_l(const wchar_t *nptr, wchar_t **endptr,
1873 locale_t loc);
TEST_STRTO_FLOAT_LOC(__wcstold_l,wchar_t,L)1874 TEST_STRTO_FLOAT_LOC(__wcstold_l, wchar_t, L)
1875 #endif // __GLIBC__
1876
1877 TEST(MemorySanitizer, modf) {
1878 double y;
1879 modf(2.1, &y);
1880 EXPECT_NOT_POISONED(y);
1881 }
1882
TEST(MemorySanitizer,modff)1883 TEST(MemorySanitizer, modff) {
1884 float y;
1885 modff(2.1, &y);
1886 EXPECT_NOT_POISONED(y);
1887 }
1888
TEST(MemorySanitizer,modfl)1889 TEST(MemorySanitizer, modfl) {
1890 long double y;
1891 modfl(2.1, &y);
1892 EXPECT_NOT_POISONED(y);
1893 }
1894
1895 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
TEST(MemorySanitizer,sincos)1896 TEST(MemorySanitizer, sincos) {
1897 double s, c;
1898 sincos(0.2, &s, &c);
1899 EXPECT_NOT_POISONED(s);
1900 EXPECT_NOT_POISONED(c);
1901 }
1902 #endif
1903
1904 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
TEST(MemorySanitizer,sincosf)1905 TEST(MemorySanitizer, sincosf) {
1906 float s, c;
1907 sincosf(0.2, &s, &c);
1908 EXPECT_NOT_POISONED(s);
1909 EXPECT_NOT_POISONED(c);
1910 }
1911 #endif
1912
1913 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
TEST(MemorySanitizer,sincosl)1914 TEST(MemorySanitizer, sincosl) {
1915 long double s, c;
1916 sincosl(0.2, &s, &c);
1917 EXPECT_NOT_POISONED(s);
1918 EXPECT_NOT_POISONED(c);
1919 }
1920 #endif
1921
TEST(MemorySanitizer,remquo)1922 TEST(MemorySanitizer, remquo) {
1923 int quo;
1924 double res = remquo(29.0, 3.0, &quo);
1925 ASSERT_NE(0.0, res);
1926 EXPECT_NOT_POISONED(quo);
1927 }
1928
TEST(MemorySanitizer,remquof)1929 TEST(MemorySanitizer, remquof) {
1930 int quo;
1931 float res = remquof(29.0, 3.0, &quo);
1932 ASSERT_NE(0.0, res);
1933 EXPECT_NOT_POISONED(quo);
1934 }
1935
1936 #if !defined(__NetBSD__)
TEST(MemorySanitizer,remquol)1937 TEST(MemorySanitizer, remquol) {
1938 int quo;
1939 long double res = remquof(29.0, 3.0, &quo);
1940 ASSERT_NE(0.0, res);
1941 EXPECT_NOT_POISONED(quo);
1942 }
1943 #endif
1944
TEST(MemorySanitizer,lgamma)1945 TEST(MemorySanitizer, lgamma) {
1946 double res = lgamma(1.1);
1947 ASSERT_NE(0.0, res);
1948 EXPECT_NOT_POISONED(signgam);
1949 }
1950
TEST(MemorySanitizer,lgammaf)1951 TEST(MemorySanitizer, lgammaf) {
1952 float res = lgammaf(1.1);
1953 ASSERT_NE(0.0, res);
1954 EXPECT_NOT_POISONED(signgam);
1955 }
1956
1957 #if !defined(__NetBSD__)
TEST(MemorySanitizer,lgammal)1958 TEST(MemorySanitizer, lgammal) {
1959 long double res = lgammal(1.1);
1960 ASSERT_NE(0.0, res);
1961 EXPECT_NOT_POISONED(signgam);
1962 }
1963 #endif
1964
TEST(MemorySanitizer,lgamma_r)1965 TEST(MemorySanitizer, lgamma_r) {
1966 int sgn;
1967 double res = lgamma_r(1.1, &sgn);
1968 ASSERT_NE(0.0, res);
1969 EXPECT_NOT_POISONED(sgn);
1970 }
1971
TEST(MemorySanitizer,lgammaf_r)1972 TEST(MemorySanitizer, lgammaf_r) {
1973 int sgn;
1974 float res = lgammaf_r(1.1, &sgn);
1975 ASSERT_NE(0.0, res);
1976 EXPECT_NOT_POISONED(sgn);
1977 }
1978
1979 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
TEST(MemorySanitizer,lgammal_r)1980 TEST(MemorySanitizer, lgammal_r) {
1981 int sgn;
1982 long double res = lgammal_r(1.1, &sgn);
1983 ASSERT_NE(0.0, res);
1984 EXPECT_NOT_POISONED(sgn);
1985 }
1986 #endif
1987
1988 #ifdef __GLIBC__
TEST(MemorySanitizer,drand48_r)1989 TEST(MemorySanitizer, drand48_r) {
1990 struct drand48_data buf;
1991 srand48_r(0, &buf);
1992 double d;
1993 drand48_r(&buf, &d);
1994 EXPECT_NOT_POISONED(d);
1995 }
1996
TEST(MemorySanitizer,lrand48_r)1997 TEST(MemorySanitizer, lrand48_r) {
1998 struct drand48_data buf;
1999 srand48_r(0, &buf);
2000 long d;
2001 lrand48_r(&buf, &d);
2002 EXPECT_NOT_POISONED(d);
2003 }
2004 #endif
2005
TEST(MemorySanitizer,sprintf)2006 TEST(MemorySanitizer, sprintf) {
2007 char buff[10];
2008 break_optimization(buff);
2009 EXPECT_POISONED(buff[0]);
2010 int res = sprintf(buff, "%d", 1234567);
2011 ASSERT_EQ(res, 7);
2012 ASSERT_EQ(buff[0], '1');
2013 ASSERT_EQ(buff[1], '2');
2014 ASSERT_EQ(buff[2], '3');
2015 ASSERT_EQ(buff[6], '7');
2016 ASSERT_EQ(buff[7], 0);
2017 EXPECT_POISONED(buff[8]);
2018 }
2019
TEST(MemorySanitizer,snprintf)2020 TEST(MemorySanitizer, snprintf) {
2021 char buff[10];
2022 break_optimization(buff);
2023 EXPECT_POISONED(buff[0]);
2024 int res = snprintf(buff, sizeof(buff), "%d", 1234567);
2025 ASSERT_EQ(res, 7);
2026 ASSERT_EQ(buff[0], '1');
2027 ASSERT_EQ(buff[1], '2');
2028 ASSERT_EQ(buff[2], '3');
2029 ASSERT_EQ(buff[6], '7');
2030 ASSERT_EQ(buff[7], 0);
2031 EXPECT_POISONED(buff[8]);
2032 }
2033
TEST(MemorySanitizer,swprintf)2034 TEST(MemorySanitizer, swprintf) {
2035 wchar_t buff[10];
2036 ASSERT_EQ(4U, sizeof(wchar_t));
2037 break_optimization(buff);
2038 EXPECT_POISONED(buff[0]);
2039 int res = swprintf(buff, 9, L"%d", 1234567);
2040 ASSERT_EQ(res, 7);
2041 ASSERT_EQ(buff[0], '1');
2042 ASSERT_EQ(buff[1], '2');
2043 ASSERT_EQ(buff[2], '3');
2044 ASSERT_EQ(buff[6], '7');
2045 ASSERT_EQ(buff[7], L'\0');
2046 EXPECT_POISONED(buff[8]);
2047 }
2048
TEST(MemorySanitizer,asprintf)2049 TEST(MemorySanitizer, asprintf) {
2050 char *pbuf;
2051 EXPECT_POISONED(pbuf);
2052 int res = asprintf(&pbuf, "%d", 1234567);
2053 ASSERT_EQ(res, 7);
2054 EXPECT_NOT_POISONED(pbuf);
2055 ASSERT_EQ(pbuf[0], '1');
2056 ASSERT_EQ(pbuf[1], '2');
2057 ASSERT_EQ(pbuf[2], '3');
2058 ASSERT_EQ(pbuf[6], '7');
2059 ASSERT_EQ(pbuf[7], 0);
2060 free(pbuf);
2061 }
2062
TEST(MemorySanitizer,mbstowcs)2063 TEST(MemorySanitizer, mbstowcs) {
2064 const char *x = "abc";
2065 wchar_t buff[10];
2066 int res = mbstowcs(buff, x, 2);
2067 EXPECT_EQ(2, res);
2068 EXPECT_EQ(L'a', buff[0]);
2069 EXPECT_EQ(L'b', buff[1]);
2070 EXPECT_POISONED(buff[2]);
2071 res = mbstowcs(buff, x, 10);
2072 EXPECT_EQ(3, res);
2073 EXPECT_NOT_POISONED(buff[3]);
2074 }
2075
TEST(MemorySanitizer,wcstombs)2076 TEST(MemorySanitizer, wcstombs) {
2077 const wchar_t *x = L"abc";
2078 char buff[10];
2079 int res = wcstombs(buff, x, 4);
2080 EXPECT_EQ(res, 3);
2081 EXPECT_EQ(buff[0], 'a');
2082 EXPECT_EQ(buff[1], 'b');
2083 EXPECT_EQ(buff[2], 'c');
2084 }
2085
TEST(MemorySanitizer,wcsrtombs)2086 TEST(MemorySanitizer, wcsrtombs) {
2087 const wchar_t *x = L"abc";
2088 const wchar_t *p = x;
2089 char buff[10];
2090 mbstate_t mbs;
2091 memset(&mbs, 0, sizeof(mbs));
2092 int res = wcsrtombs(buff, &p, 4, &mbs);
2093 EXPECT_EQ(res, 3);
2094 EXPECT_EQ(buff[0], 'a');
2095 EXPECT_EQ(buff[1], 'b');
2096 EXPECT_EQ(buff[2], 'c');
2097 EXPECT_EQ(buff[3], '\0');
2098 EXPECT_POISONED(buff[4]);
2099 }
2100
TEST(MemorySanitizer,wcsnrtombs)2101 TEST(MemorySanitizer, wcsnrtombs) {
2102 const wchar_t *x = L"abc";
2103 const wchar_t *p = x;
2104 char buff[10];
2105 mbstate_t mbs;
2106 memset(&mbs, 0, sizeof(mbs));
2107 int res = wcsnrtombs(buff, &p, 2, 4, &mbs);
2108 EXPECT_EQ(res, 2);
2109 EXPECT_EQ(buff[0], 'a');
2110 EXPECT_EQ(buff[1], 'b');
2111 EXPECT_POISONED(buff[2]);
2112 }
2113
TEST(MemorySanitizer,wcrtomb)2114 TEST(MemorySanitizer, wcrtomb) {
2115 wchar_t x = L'a';
2116 char buff[10];
2117 mbstate_t mbs;
2118 memset(&mbs, 0, sizeof(mbs));
2119 size_t res = wcrtomb(buff, x, &mbs);
2120 EXPECT_EQ(res, (size_t)1);
2121 EXPECT_EQ(buff[0], 'a');
2122 }
2123
TEST(MemorySanitizer,wctomb)2124 TEST(MemorySanitizer, wctomb) {
2125 wchar_t x = L'a';
2126 char buff[10];
2127 wctomb(nullptr, x);
2128 int res = wctomb(buff, x);
2129 EXPECT_EQ(res, 1);
2130 EXPECT_EQ(buff[0], 'a');
2131 EXPECT_POISONED(buff[1]);
2132 }
2133
TEST(MemorySanitizer,wmemset)2134 TEST(MemorySanitizer, wmemset) {
2135 wchar_t x[25];
2136 break_optimization(x);
2137 EXPECT_POISONED(x[0]);
2138 wmemset(x, L'A', 10);
2139 EXPECT_EQ(x[0], L'A');
2140 EXPECT_EQ(x[9], L'A');
2141 EXPECT_POISONED(x[10]);
2142 }
2143
TEST(MemorySanitizer,mbtowc)2144 TEST(MemorySanitizer, mbtowc) {
2145 const char *x = "abc";
2146 wchar_t wx;
2147 int res = mbtowc(&wx, x, 3);
2148 EXPECT_GT(res, 0);
2149 EXPECT_NOT_POISONED(wx);
2150 }
2151
TEST(MemorySanitizer,mbrtowc)2152 TEST(MemorySanitizer, mbrtowc) {
2153 mbstate_t mbs = {};
2154
2155 wchar_t wc;
2156 size_t res = mbrtowc(&wc, "\377", 1, &mbs);
2157 EXPECT_EQ(res, -1ULL);
2158
2159 res = mbrtowc(&wc, "abc", 3, &mbs);
2160 EXPECT_GT(res, 0ULL);
2161 EXPECT_NOT_POISONED(wc);
2162 }
2163
TEST(MemorySanitizer,wcsftime)2164 TEST(MemorySanitizer, wcsftime) {
2165 wchar_t x[100];
2166 time_t t = time(NULL);
2167 struct tm tms;
2168 struct tm *tmres = localtime_r(&t, &tms);
2169 ASSERT_NE((void *)0, tmres);
2170 size_t res = wcsftime(x, sizeof(x) / sizeof(x[0]), L"%Y-%m-%d", tmres);
2171 EXPECT_GT(res, 0UL);
2172 EXPECT_EQ(res, wcslen(x));
2173 }
2174
TEST(MemorySanitizer,gettimeofday)2175 TEST(MemorySanitizer, gettimeofday) {
2176 struct timeval tv;
2177 struct timezone tz;
2178 break_optimization(&tv);
2179 break_optimization(&tz);
2180 ASSERT_EQ(16U, sizeof(tv));
2181 ASSERT_EQ(8U, sizeof(tz));
2182 EXPECT_POISONED(tv.tv_sec);
2183 EXPECT_POISONED(tv.tv_usec);
2184 EXPECT_POISONED(tz.tz_minuteswest);
2185 EXPECT_POISONED(tz.tz_dsttime);
2186 ASSERT_EQ(0, gettimeofday(&tv, &tz));
2187 EXPECT_NOT_POISONED(tv.tv_sec);
2188 EXPECT_NOT_POISONED(tv.tv_usec);
2189 EXPECT_NOT_POISONED(tz.tz_minuteswest);
2190 EXPECT_NOT_POISONED(tz.tz_dsttime);
2191 }
2192
TEST(MemorySanitizer,clock_gettime)2193 TEST(MemorySanitizer, clock_gettime) {
2194 struct timespec tp;
2195 EXPECT_POISONED(tp.tv_sec);
2196 EXPECT_POISONED(tp.tv_nsec);
2197 ASSERT_EQ(0, clock_gettime(CLOCK_REALTIME, &tp));
2198 EXPECT_NOT_POISONED(tp.tv_sec);
2199 EXPECT_NOT_POISONED(tp.tv_nsec);
2200 }
2201
TEST(MemorySanitizer,clock_getres)2202 TEST(MemorySanitizer, clock_getres) {
2203 struct timespec tp;
2204 EXPECT_POISONED(tp.tv_sec);
2205 EXPECT_POISONED(tp.tv_nsec);
2206 ASSERT_EQ(0, clock_getres(CLOCK_REALTIME, 0));
2207 EXPECT_POISONED(tp.tv_sec);
2208 EXPECT_POISONED(tp.tv_nsec);
2209 ASSERT_EQ(0, clock_getres(CLOCK_REALTIME, &tp));
2210 EXPECT_NOT_POISONED(tp.tv_sec);
2211 EXPECT_NOT_POISONED(tp.tv_nsec);
2212 }
2213
TEST(MemorySanitizer,getitimer)2214 TEST(MemorySanitizer, getitimer) {
2215 struct itimerval it1, it2;
2216 int res;
2217 EXPECT_POISONED(it1.it_interval.tv_sec);
2218 EXPECT_POISONED(it1.it_interval.tv_usec);
2219 EXPECT_POISONED(it1.it_value.tv_sec);
2220 EXPECT_POISONED(it1.it_value.tv_usec);
2221 res = getitimer(ITIMER_VIRTUAL, &it1);
2222 ASSERT_EQ(0, res);
2223 EXPECT_NOT_POISONED(it1.it_interval.tv_sec);
2224 EXPECT_NOT_POISONED(it1.it_interval.tv_usec);
2225 EXPECT_NOT_POISONED(it1.it_value.tv_sec);
2226 EXPECT_NOT_POISONED(it1.it_value.tv_usec);
2227
2228 it1.it_interval.tv_sec = it1.it_value.tv_sec = 10000;
2229 it1.it_interval.tv_usec = it1.it_value.tv_usec = 0;
2230
2231 res = setitimer(ITIMER_VIRTUAL, &it1, &it2);
2232 ASSERT_EQ(0, res);
2233 EXPECT_NOT_POISONED(it2.it_interval.tv_sec);
2234 EXPECT_NOT_POISONED(it2.it_interval.tv_usec);
2235 EXPECT_NOT_POISONED(it2.it_value.tv_sec);
2236 EXPECT_NOT_POISONED(it2.it_value.tv_usec);
2237
2238 // Check that old_value can be 0, and disable the timer.
2239 memset(&it1, 0, sizeof(it1));
2240 res = setitimer(ITIMER_VIRTUAL, &it1, 0);
2241 ASSERT_EQ(0, res);
2242 }
2243
TEST(MemorySanitizer,setitimer_null)2244 TEST(MemorySanitizer, setitimer_null) {
2245 setitimer(ITIMER_VIRTUAL, 0, 0);
2246 // Not testing the return value, since it the behaviour seems to differ
2247 // between libc implementations and POSIX.
2248 // Should never crash, though.
2249 }
2250
TEST(MemorySanitizer,time)2251 TEST(MemorySanitizer, time) {
2252 time_t t;
2253 EXPECT_POISONED(t);
2254 time_t t2 = time(&t);
2255 ASSERT_NE(t2, (time_t)-1);
2256 EXPECT_NOT_POISONED(t);
2257 }
2258
TEST(MemorySanitizer,strptime)2259 TEST(MemorySanitizer, strptime) {
2260 struct tm time;
2261 char *p = strptime("11/1/2013-05:39", "%m/%d/%Y-%H:%M", &time);
2262 ASSERT_TRUE(p != NULL);
2263 EXPECT_NOT_POISONED(time.tm_sec);
2264 EXPECT_NOT_POISONED(time.tm_hour);
2265 EXPECT_NOT_POISONED(time.tm_year);
2266 }
2267
TEST(MemorySanitizer,localtime)2268 TEST(MemorySanitizer, localtime) {
2269 time_t t = 123;
2270 struct tm *time = localtime(&t);
2271 ASSERT_TRUE(time != NULL);
2272 EXPECT_NOT_POISONED(time->tm_sec);
2273 EXPECT_NOT_POISONED(time->tm_hour);
2274 EXPECT_NOT_POISONED(time->tm_year);
2275 EXPECT_NOT_POISONED(time->tm_isdst);
2276 EXPECT_NE(0U, strlen(time->tm_zone));
2277 }
2278
TEST(MemorySanitizer,localtime_r)2279 TEST(MemorySanitizer, localtime_r) {
2280 time_t t = 123;
2281 struct tm time;
2282 struct tm *res = localtime_r(&t, &time);
2283 ASSERT_TRUE(res != NULL);
2284 EXPECT_NOT_POISONED(time.tm_sec);
2285 EXPECT_NOT_POISONED(time.tm_hour);
2286 EXPECT_NOT_POISONED(time.tm_year);
2287 EXPECT_NOT_POISONED(time.tm_isdst);
2288 EXPECT_NE(0U, strlen(time.tm_zone));
2289 }
2290
2291 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
2292 /* Creates a temporary file with contents similar to /etc/fstab to be used
2293 with getmntent{_r}. */
2294 class TempFstabFile {
2295 public:
TempFstabFile()2296 TempFstabFile() : fd (-1) { }
~TempFstabFile()2297 ~TempFstabFile() {
2298 if (fd >= 0)
2299 close (fd);
2300 }
2301
Create(void)2302 bool Create(void) {
2303 snprintf(tmpfile, sizeof(tmpfile), "/tmp/msan.getmntent.tmp.XXXXXX");
2304
2305 fd = mkstemp(tmpfile);
2306 if (fd == -1)
2307 return false;
2308
2309 const char entry[] = "/dev/root / ext4 errors=remount-ro 0 1";
2310 size_t entrylen = sizeof(entry);
2311
2312 size_t bytesWritten = write(fd, entry, entrylen);
2313 if (entrylen != bytesWritten)
2314 return false;
2315
2316 return true;
2317 }
2318
FileName(void)2319 const char* FileName(void) {
2320 return tmpfile;
2321 }
2322
2323 private:
2324 char tmpfile[128];
2325 int fd;
2326 };
2327 #endif
2328
2329 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
TEST(MemorySanitizer,getmntent)2330 TEST(MemorySanitizer, getmntent) {
2331 TempFstabFile fstabtmp;
2332 ASSERT_TRUE(fstabtmp.Create());
2333 FILE *fp = setmntent(fstabtmp.FileName(), "r");
2334
2335 struct mntent *mnt = getmntent(fp);
2336 ASSERT_TRUE(mnt != NULL);
2337 ASSERT_NE(0U, strlen(mnt->mnt_fsname));
2338 ASSERT_NE(0U, strlen(mnt->mnt_dir));
2339 ASSERT_NE(0U, strlen(mnt->mnt_type));
2340 ASSERT_NE(0U, strlen(mnt->mnt_opts));
2341 EXPECT_NOT_POISONED(mnt->mnt_freq);
2342 EXPECT_NOT_POISONED(mnt->mnt_passno);
2343 fclose(fp);
2344 }
2345 #endif
2346
2347 #ifdef __GLIBC__
TEST(MemorySanitizer,getmntent_r)2348 TEST(MemorySanitizer, getmntent_r) {
2349 TempFstabFile fstabtmp;
2350 ASSERT_TRUE(fstabtmp.Create());
2351 FILE *fp = setmntent(fstabtmp.FileName(), "r");
2352
2353 struct mntent mntbuf;
2354 char buf[1000];
2355 struct mntent *mnt = getmntent_r(fp, &mntbuf, buf, sizeof(buf));
2356 ASSERT_TRUE(mnt != NULL);
2357 ASSERT_NE(0U, strlen(mnt->mnt_fsname));
2358 ASSERT_NE(0U, strlen(mnt->mnt_dir));
2359 ASSERT_NE(0U, strlen(mnt->mnt_type));
2360 ASSERT_NE(0U, strlen(mnt->mnt_opts));
2361 EXPECT_NOT_POISONED(mnt->mnt_freq);
2362 EXPECT_NOT_POISONED(mnt->mnt_passno);
2363 fclose(fp);
2364 }
2365 #endif
2366
2367 #if !defined(__NetBSD__)
TEST(MemorySanitizer,ether)2368 TEST(MemorySanitizer, ether) {
2369 const char *asc = "11:22:33:44:55:66";
2370 struct ether_addr *paddr = ether_aton(asc);
2371 EXPECT_NOT_POISONED(*paddr);
2372
2373 struct ether_addr addr;
2374 paddr = ether_aton_r(asc, &addr);
2375 ASSERT_EQ(paddr, &addr);
2376 EXPECT_NOT_POISONED(addr);
2377
2378 char *s = ether_ntoa(&addr);
2379 ASSERT_NE(0U, strlen(s));
2380
2381 char buf[100];
2382 s = ether_ntoa_r(&addr, buf);
2383 ASSERT_EQ(s, buf);
2384 ASSERT_NE(0U, strlen(buf));
2385 }
2386 #endif
2387
TEST(MemorySanitizer,mmap)2388 TEST(MemorySanitizer, mmap) {
2389 const int size = 4096;
2390 void *p1, *p2;
2391 p1 = mmap(0, size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, -1, 0);
2392 __msan_poison(p1, size);
2393 munmap(p1, size);
2394 for (int i = 0; i < 1000; i++) {
2395 p2 = mmap(0, size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, -1, 0);
2396 if (p2 == p1)
2397 break;
2398 else
2399 munmap(p2, size);
2400 }
2401 if (p1 == p2) {
2402 EXPECT_NOT_POISONED(*(char*)p2);
2403 munmap(p2, size);
2404 }
2405 }
2406
2407 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
2408 // FIXME: enable and add ecvt.
2409 // FIXME: check why msandr does nt handle fcvt.
TEST(MemorySanitizer,fcvt)2410 TEST(MemorySanitizer, fcvt) {
2411 int a, b;
2412 break_optimization(&a);
2413 break_optimization(&b);
2414 EXPECT_POISONED(a);
2415 EXPECT_POISONED(b);
2416 char *str = fcvt(12345.6789, 10, &a, &b);
2417 EXPECT_NOT_POISONED(a);
2418 EXPECT_NOT_POISONED(b);
2419 ASSERT_NE(nullptr, str);
2420 EXPECT_NOT_POISONED(str[0]);
2421 ASSERT_NE(0U, strlen(str));
2422 }
2423 #endif
2424
2425 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
TEST(MemorySanitizer,fcvt_long)2426 TEST(MemorySanitizer, fcvt_long) {
2427 int a, b;
2428 break_optimization(&a);
2429 break_optimization(&b);
2430 EXPECT_POISONED(a);
2431 EXPECT_POISONED(b);
2432 char *str = fcvt(111111112345.6789, 10, &a, &b);
2433 EXPECT_NOT_POISONED(a);
2434 EXPECT_NOT_POISONED(b);
2435 ASSERT_NE(nullptr, str);
2436 EXPECT_NOT_POISONED(str[0]);
2437 ASSERT_NE(0U, strlen(str));
2438 }
2439 #endif
2440
TEST(MemorySanitizer,memchr)2441 TEST(MemorySanitizer, memchr) {
2442 char x[10];
2443 break_optimization(x);
2444 EXPECT_POISONED(x[0]);
2445 x[2] = '2';
2446 void *res;
2447 EXPECT_UMR(res = memchr(x, '2', 10));
2448 EXPECT_NOT_POISONED(res);
2449 x[0] = '0';
2450 x[1] = '1';
2451 res = memchr(x, '2', 10);
2452 EXPECT_EQ(&x[2], res);
2453 EXPECT_UMR(res = memchr(x, '3', 10));
2454 EXPECT_NOT_POISONED(res);
2455 }
2456
TEST(MemorySanitizer,memrchr)2457 TEST(MemorySanitizer, memrchr) {
2458 char x[10];
2459 break_optimization(x);
2460 EXPECT_POISONED(x[0]);
2461 x[9] = '9';
2462 void *res;
2463 EXPECT_UMR(res = memrchr(x, '9', 10));
2464 EXPECT_NOT_POISONED(res);
2465 x[0] = '0';
2466 x[1] = '1';
2467 res = memrchr(x, '0', 2);
2468 EXPECT_EQ(&x[0], res);
2469 EXPECT_UMR(res = memrchr(x, '7', 10));
2470 EXPECT_NOT_POISONED(res);
2471 }
2472
TEST(MemorySanitizer,frexp)2473 TEST(MemorySanitizer, frexp) {
2474 int x;
2475 x = *GetPoisoned<int>();
2476 double r = frexp(1.1, &x);
2477 EXPECT_NOT_POISONED(r);
2478 EXPECT_NOT_POISONED(x);
2479
2480 x = *GetPoisoned<int>();
2481 float rf = frexpf(1.1, &x);
2482 EXPECT_NOT_POISONED(rf);
2483 EXPECT_NOT_POISONED(x);
2484
2485 x = *GetPoisoned<int>();
2486 double rl = frexpl(1.1, &x);
2487 EXPECT_NOT_POISONED(rl);
2488 EXPECT_NOT_POISONED(x);
2489 }
2490
2491 namespace {
2492
2493 static int cnt;
2494
SigactionHandler(int signo,siginfo_t * si,void * uc)2495 void SigactionHandler(int signo, siginfo_t* si, void* uc) {
2496 ASSERT_EQ(signo, SIGPROF);
2497 ASSERT_TRUE(si != NULL);
2498 EXPECT_NOT_POISONED(si->si_errno);
2499 EXPECT_NOT_POISONED(si->si_pid);
2500 #ifdef _UC_MACHINE_PC
2501 EXPECT_NOT_POISONED(_UC_MACHINE_PC((ucontext_t*)uc));
2502 #else
2503 # if __linux__
2504 # if defined(__x86_64__)
2505 EXPECT_NOT_POISONED(((ucontext_t*)uc)->uc_mcontext.gregs[REG_RIP]);
2506 # elif defined(__i386__)
2507 EXPECT_NOT_POISONED(((ucontext_t*)uc)->uc_mcontext.gregs[REG_EIP]);
2508 # endif
2509 # endif
2510 #endif
2511 ++cnt;
2512 }
2513
TEST(MemorySanitizer,sigaction)2514 TEST(MemorySanitizer, sigaction) {
2515 struct sigaction act = {};
2516 struct sigaction oldact = {};
2517 struct sigaction origact = {};
2518
2519 sigaction(SIGPROF, 0, &origact);
2520
2521 act.sa_flags |= SA_SIGINFO;
2522 act.sa_sigaction = &SigactionHandler;
2523 sigaction(SIGPROF, &act, 0);
2524
2525 kill(getpid(), SIGPROF);
2526
2527 act.sa_flags &= ~SA_SIGINFO;
2528 act.sa_handler = SIG_DFL;
2529 sigaction(SIGPROF, &act, 0);
2530
2531 act.sa_flags &= ~SA_SIGINFO;
2532 act.sa_handler = SIG_IGN;
2533 sigaction(SIGPROF, &act, &oldact);
2534 EXPECT_FALSE(oldact.sa_flags & SA_SIGINFO);
2535 EXPECT_EQ(SIG_DFL, oldact.sa_handler);
2536 kill(getpid(), SIGPROF);
2537
2538 act.sa_flags |= SA_SIGINFO;
2539 act.sa_sigaction = &SigactionHandler;
2540 sigaction(SIGPROF, &act, &oldact);
2541 EXPECT_FALSE(oldact.sa_flags & SA_SIGINFO);
2542 EXPECT_EQ(SIG_IGN, oldact.sa_handler);
2543 kill(getpid(), SIGPROF);
2544
2545 act.sa_flags &= ~SA_SIGINFO;
2546 act.sa_handler = SIG_DFL;
2547 sigaction(SIGPROF, &act, &oldact);
2548 EXPECT_TRUE(oldact.sa_flags & SA_SIGINFO);
2549 EXPECT_EQ(&SigactionHandler, oldact.sa_sigaction);
2550 EXPECT_EQ(2, cnt);
2551
2552 sigaction(SIGPROF, &origact, 0);
2553 }
2554
2555 } // namespace
2556
2557
TEST(MemorySanitizer,sigemptyset)2558 TEST(MemorySanitizer, sigemptyset) {
2559 sigset_t s;
2560 EXPECT_POISONED(s);
2561 int res = sigemptyset(&s);
2562 ASSERT_EQ(0, res);
2563 EXPECT_NOT_POISONED(s);
2564 }
2565
TEST(MemorySanitizer,sigfillset)2566 TEST(MemorySanitizer, sigfillset) {
2567 sigset_t s;
2568 EXPECT_POISONED(s);
2569 int res = sigfillset(&s);
2570 ASSERT_EQ(0, res);
2571 EXPECT_NOT_POISONED(s);
2572 }
2573
TEST(MemorySanitizer,sigpending)2574 TEST(MemorySanitizer, sigpending) {
2575 sigset_t s;
2576 EXPECT_POISONED(s);
2577 int res = sigpending(&s);
2578 ASSERT_EQ(0, res);
2579 EXPECT_NOT_POISONED(s);
2580 }
2581
TEST(MemorySanitizer,sigprocmask)2582 TEST(MemorySanitizer, sigprocmask) {
2583 sigset_t s;
2584 EXPECT_POISONED(s);
2585 int res = sigprocmask(SIG_BLOCK, 0, &s);
2586 ASSERT_EQ(0, res);
2587 EXPECT_NOT_POISONED(s);
2588 }
2589
TEST(MemorySanitizer,pthread_sigmask)2590 TEST(MemorySanitizer, pthread_sigmask) {
2591 sigset_t s;
2592 EXPECT_POISONED(s);
2593 int res = pthread_sigmask(SIG_BLOCK, 0, &s);
2594 ASSERT_EQ(0, res);
2595 EXPECT_NOT_POISONED(s);
2596 }
2597
2598 struct StructWithDtor {
2599 ~StructWithDtor();
2600 };
2601
~StructWithDtor()2602 NOINLINE StructWithDtor::~StructWithDtor() {
2603 break_optimization(0);
2604 }
2605
TEST(MemorySanitizer,Invoke)2606 TEST(MemorySanitizer, Invoke) {
2607 StructWithDtor s; // Will cause the calls to become invokes.
2608 EXPECT_NOT_POISONED(0);
2609 EXPECT_POISONED(*GetPoisoned<int>());
2610 EXPECT_NOT_POISONED(0);
2611 EXPECT_POISONED(*GetPoisoned<int>());
2612 EXPECT_POISONED(ReturnPoisoned<S4>());
2613 }
2614
TEST(MemorySanitizer,ptrtoint)2615 TEST(MemorySanitizer, ptrtoint) {
2616 // Test that shadow is propagated through pointer-to-integer conversion.
2617 unsigned char c = 0;
2618 __msan_poison(&c, 1);
2619 uintptr_t u = (uintptr_t)c << 8;
2620 EXPECT_NOT_POISONED(u & 0xFF00FF);
2621 EXPECT_POISONED(u & 0xFF00);
2622
2623 break_optimization(&u);
2624 void* p = (void*)u;
2625
2626 break_optimization(&p);
2627 EXPECT_POISONED(p);
2628 EXPECT_NOT_POISONED(((uintptr_t)p) & 0xFF00FF);
2629 EXPECT_POISONED(((uintptr_t)p) & 0xFF00);
2630 }
2631
vaargsfn2(int guard,...)2632 static void vaargsfn2(int guard, ...) {
2633 va_list vl;
2634 va_start(vl, guard);
2635 EXPECT_NOT_POISONED(va_arg(vl, int));
2636 EXPECT_NOT_POISONED(va_arg(vl, int));
2637 EXPECT_NOT_POISONED(va_arg(vl, int));
2638 EXPECT_POISONED(va_arg(vl, double));
2639 va_end(vl);
2640 }
2641
vaargsfn(int guard,...)2642 static void vaargsfn(int guard, ...) {
2643 va_list vl;
2644 va_start(vl, guard);
2645 EXPECT_NOT_POISONED(va_arg(vl, int));
2646 EXPECT_POISONED(va_arg(vl, int));
2647 // The following call will overwrite __msan_param_tls.
2648 // Checks after it test that arg shadow was somehow saved across the call.
2649 vaargsfn2(1, 2, 3, 4, *GetPoisoned<double>());
2650 EXPECT_NOT_POISONED(va_arg(vl, int));
2651 EXPECT_POISONED(va_arg(vl, int));
2652 va_end(vl);
2653 }
2654
TEST(MemorySanitizer,VAArgTest)2655 TEST(MemorySanitizer, VAArgTest) {
2656 int* x = GetPoisoned<int>();
2657 int* y = GetPoisoned<int>(4);
2658 vaargsfn(1, 13, *x, 42, *y);
2659 }
2660
vaargsfn_many(int guard,...)2661 static void vaargsfn_many(int guard, ...) {
2662 va_list vl;
2663 va_start(vl, guard);
2664 EXPECT_NOT_POISONED(va_arg(vl, int));
2665 EXPECT_POISONED(va_arg(vl, int));
2666 EXPECT_NOT_POISONED(va_arg(vl, int));
2667 EXPECT_NOT_POISONED(va_arg(vl, int));
2668 EXPECT_NOT_POISONED(va_arg(vl, int));
2669 EXPECT_NOT_POISONED(va_arg(vl, int));
2670 EXPECT_NOT_POISONED(va_arg(vl, int));
2671 EXPECT_NOT_POISONED(va_arg(vl, int));
2672 EXPECT_NOT_POISONED(va_arg(vl, int));
2673 EXPECT_POISONED(va_arg(vl, int));
2674 va_end(vl);
2675 }
2676
TEST(MemorySanitizer,VAArgManyTest)2677 TEST(MemorySanitizer, VAArgManyTest) {
2678 int* x = GetPoisoned<int>();
2679 int* y = GetPoisoned<int>(4);
2680 vaargsfn_many(1, 2, *x, 3, 4, 5, 6, 7, 8, 9, *y);
2681 }
2682
vaargsfn_manyfix(int g1,int g2,int g3,int g4,int g5,int g6,int g7,int g8,int g9,...)2683 static void vaargsfn_manyfix(int g1, int g2, int g3, int g4, int g5, int g6, int g7, int g8, int g9, ...) {
2684 va_list vl;
2685 va_start(vl, g9);
2686 EXPECT_NOT_POISONED(va_arg(vl, int));
2687 EXPECT_POISONED(va_arg(vl, int));
2688 va_end(vl);
2689 }
2690
TEST(MemorySanitizer,VAArgManyFixTest)2691 TEST(MemorySanitizer, VAArgManyFixTest) {
2692 int* x = GetPoisoned<int>();
2693 int* y = GetPoisoned<int>();
2694 vaargsfn_manyfix(1, *x, 3, 4, 5, 6, 7, 8, 9, 10, *y);
2695 }
2696
vaargsfn_pass2(va_list vl)2697 static void vaargsfn_pass2(va_list vl) {
2698 EXPECT_NOT_POISONED(va_arg(vl, int));
2699 EXPECT_NOT_POISONED(va_arg(vl, int));
2700 EXPECT_POISONED(va_arg(vl, int));
2701 }
2702
vaargsfn_pass(int guard,...)2703 static void vaargsfn_pass(int guard, ...) {
2704 va_list vl;
2705 va_start(vl, guard);
2706 EXPECT_POISONED(va_arg(vl, int));
2707 vaargsfn_pass2(vl);
2708 va_end(vl);
2709 }
2710
TEST(MemorySanitizer,VAArgPass)2711 TEST(MemorySanitizer, VAArgPass) {
2712 int* x = GetPoisoned<int>();
2713 int* y = GetPoisoned<int>(4);
2714 vaargsfn_pass(1, *x, 2, 3, *y);
2715 }
2716
vaargsfn_copy2(va_list vl)2717 static void vaargsfn_copy2(va_list vl) {
2718 EXPECT_NOT_POISONED(va_arg(vl, int));
2719 EXPECT_POISONED(va_arg(vl, int));
2720 }
2721
vaargsfn_copy(int guard,...)2722 static void vaargsfn_copy(int guard, ...) {
2723 va_list vl;
2724 va_start(vl, guard);
2725 EXPECT_NOT_POISONED(va_arg(vl, int));
2726 EXPECT_POISONED(va_arg(vl, int));
2727 va_list vl2;
2728 va_copy(vl2, vl);
2729 vaargsfn_copy2(vl2);
2730 EXPECT_NOT_POISONED(va_arg(vl, int));
2731 EXPECT_POISONED(va_arg(vl, int));
2732 va_end(vl);
2733 }
2734
TEST(MemorySanitizer,VAArgCopy)2735 TEST(MemorySanitizer, VAArgCopy) {
2736 int* x = GetPoisoned<int>();
2737 int* y = GetPoisoned<int>(4);
2738 vaargsfn_copy(1, 2, *x, 3, *y);
2739 }
2740
vaargsfn_ptr(int guard,...)2741 static void vaargsfn_ptr(int guard, ...) {
2742 va_list vl;
2743 va_start(vl, guard);
2744 EXPECT_NOT_POISONED(va_arg(vl, int*));
2745 EXPECT_POISONED(va_arg(vl, int*));
2746 EXPECT_NOT_POISONED(va_arg(vl, int*));
2747 EXPECT_POISONED(va_arg(vl, double*));
2748 va_end(vl);
2749 }
2750
TEST(MemorySanitizer,VAArgPtr)2751 TEST(MemorySanitizer, VAArgPtr) {
2752 int** x = GetPoisoned<int*>();
2753 double** y = GetPoisoned<double*>(8);
2754 int z;
2755 vaargsfn_ptr(1, &z, *x, &z, *y);
2756 }
2757
vaargsfn_overflow(int guard,...)2758 static void vaargsfn_overflow(int guard, ...) {
2759 va_list vl;
2760 va_start(vl, guard);
2761 EXPECT_NOT_POISONED(va_arg(vl, int));
2762 EXPECT_NOT_POISONED(va_arg(vl, int));
2763 EXPECT_POISONED(va_arg(vl, int));
2764 EXPECT_NOT_POISONED(va_arg(vl, int));
2765 EXPECT_NOT_POISONED(va_arg(vl, int));
2766 EXPECT_NOT_POISONED(va_arg(vl, int));
2767
2768 EXPECT_NOT_POISONED(va_arg(vl, double));
2769 EXPECT_NOT_POISONED(va_arg(vl, double));
2770 EXPECT_NOT_POISONED(va_arg(vl, double));
2771 EXPECT_POISONED(va_arg(vl, double));
2772 EXPECT_NOT_POISONED(va_arg(vl, double));
2773 EXPECT_POISONED(va_arg(vl, int*));
2774 EXPECT_NOT_POISONED(va_arg(vl, double));
2775 EXPECT_NOT_POISONED(va_arg(vl, double));
2776
2777 EXPECT_POISONED(va_arg(vl, int));
2778 EXPECT_POISONED(va_arg(vl, double));
2779 EXPECT_POISONED(va_arg(vl, int*));
2780
2781 EXPECT_NOT_POISONED(va_arg(vl, int));
2782 EXPECT_NOT_POISONED(va_arg(vl, double));
2783 EXPECT_NOT_POISONED(va_arg(vl, int*));
2784
2785 EXPECT_POISONED(va_arg(vl, int));
2786 EXPECT_POISONED(va_arg(vl, double));
2787 EXPECT_POISONED(va_arg(vl, int*));
2788
2789 va_end(vl);
2790 }
2791
TEST(MemorySanitizer,VAArgOverflow)2792 TEST(MemorySanitizer, VAArgOverflow) {
2793 int* x = GetPoisoned<int>();
2794 double* y = GetPoisoned<double>(8);
2795 int** p = GetPoisoned<int*>(16);
2796 int z;
2797 vaargsfn_overflow(1,
2798 1, 2, *x, 4, 5, 6,
2799 1.1, 2.2, 3.3, *y, 5.5, *p, 7.7, 8.8,
2800 // the following args will overflow for sure
2801 *x, *y, *p,
2802 7, 9.9, &z,
2803 *x, *y, *p);
2804 }
2805
vaargsfn_tlsoverwrite2(int guard,...)2806 static void vaargsfn_tlsoverwrite2(int guard, ...) {
2807 va_list vl;
2808 va_start(vl, guard);
2809 for (int i = 0; i < 20; ++i)
2810 EXPECT_NOT_POISONED(va_arg(vl, int));
2811 va_end(vl);
2812 }
2813
vaargsfn_tlsoverwrite(int guard,...)2814 static void vaargsfn_tlsoverwrite(int guard, ...) {
2815 // This call will overwrite TLS contents unless it's backed up somewhere.
2816 vaargsfn_tlsoverwrite2(2,
2817 42, 42, 42, 42, 42,
2818 42, 42, 42, 42, 42,
2819 42, 42, 42, 42, 42,
2820 42, 42, 42, 42, 42); // 20x
2821 va_list vl;
2822 va_start(vl, guard);
2823 for (int i = 0; i < 20; ++i)
2824 EXPECT_POISONED(va_arg(vl, int));
2825 va_end(vl);
2826 }
2827
TEST(MemorySanitizer,VAArgTLSOverwrite)2828 TEST(MemorySanitizer, VAArgTLSOverwrite) {
2829 int* x = GetPoisoned<int>();
2830 vaargsfn_tlsoverwrite(1,
2831 *x, *x, *x, *x, *x,
2832 *x, *x, *x, *x, *x,
2833 *x, *x, *x, *x, *x,
2834 *x, *x, *x, *x, *x); // 20x
2835
2836 }
2837
2838 struct StructByVal {
2839 int a, b, c, d, e, f;
2840 };
2841
vaargsfn_structbyval(int guard,...)2842 static void vaargsfn_structbyval(int guard, ...) {
2843 va_list vl;
2844 va_start(vl, guard);
2845 {
2846 StructByVal s = va_arg(vl, StructByVal);
2847 EXPECT_NOT_POISONED(s.a);
2848 EXPECT_POISONED(s.b);
2849 EXPECT_NOT_POISONED(s.c);
2850 EXPECT_POISONED(s.d);
2851 EXPECT_NOT_POISONED(s.e);
2852 EXPECT_POISONED(s.f);
2853 }
2854 {
2855 StructByVal s = va_arg(vl, StructByVal);
2856 EXPECT_NOT_POISONED(s.a);
2857 EXPECT_POISONED(s.b);
2858 EXPECT_NOT_POISONED(s.c);
2859 EXPECT_POISONED(s.d);
2860 EXPECT_NOT_POISONED(s.e);
2861 EXPECT_POISONED(s.f);
2862 }
2863 va_end(vl);
2864 }
2865
TEST(MemorySanitizer,VAArgStructByVal)2866 TEST(MemorySanitizer, VAArgStructByVal) {
2867 StructByVal s;
2868 s.a = 1;
2869 s.b = *GetPoisoned<int>();
2870 s.c = 2;
2871 s.d = *GetPoisoned<int>();
2872 s.e = 3;
2873 s.f = *GetPoisoned<int>();
2874 vaargsfn_structbyval(0, s, s);
2875 }
2876
StructByValTestFunc(struct StructByVal s)2877 NOINLINE void StructByValTestFunc(struct StructByVal s) {
2878 EXPECT_NOT_POISONED(s.a);
2879 EXPECT_POISONED(s.b);
2880 EXPECT_NOT_POISONED(s.c);
2881 EXPECT_POISONED(s.d);
2882 EXPECT_NOT_POISONED(s.e);
2883 EXPECT_POISONED(s.f);
2884 }
2885
StructByValTestFunc1(struct StructByVal s)2886 NOINLINE void StructByValTestFunc1(struct StructByVal s) {
2887 StructByValTestFunc(s);
2888 }
2889
StructByValTestFunc2(int z,struct StructByVal s)2890 NOINLINE void StructByValTestFunc2(int z, struct StructByVal s) {
2891 StructByValTestFunc(s);
2892 }
2893
TEST(MemorySanitizer,StructByVal)2894 TEST(MemorySanitizer, StructByVal) {
2895 // Large aggregates are passed as "byval" pointer argument in LLVM.
2896 struct StructByVal s;
2897 s.a = 1;
2898 s.b = *GetPoisoned<int>();
2899 s.c = 2;
2900 s.d = *GetPoisoned<int>();
2901 s.e = 3;
2902 s.f = *GetPoisoned<int>();
2903 StructByValTestFunc(s);
2904 StructByValTestFunc1(s);
2905 StructByValTestFunc2(0, s);
2906 }
2907
2908
2909 #if MSAN_HAS_M128
m128Eq(__m128i * a,__m128i * b)2910 NOINLINE __m128i m128Eq(__m128i *a, __m128i *b) { return _mm_cmpeq_epi16(*a, *b); }
m128Lt(__m128i * a,__m128i * b)2911 NOINLINE __m128i m128Lt(__m128i *a, __m128i *b) { return _mm_cmplt_epi16(*a, *b); }
TEST(MemorySanitizer,m128)2912 TEST(MemorySanitizer, m128) {
2913 __m128i a = _mm_set1_epi16(0x1234);
2914 __m128i b = _mm_set1_epi16(0x7890);
2915 EXPECT_NOT_POISONED(m128Eq(&a, &b));
2916 EXPECT_NOT_POISONED(m128Lt(&a, &b));
2917 }
2918 // FIXME: add more tests for __m128i.
2919 #endif // MSAN_HAS_M128
2920
2921 // We should not complain when copying this poisoned hole.
2922 struct StructWithHole {
2923 U4 a;
2924 // 4-byte hole.
2925 U8 b;
2926 };
2927
ReturnStructWithHole()2928 NOINLINE StructWithHole ReturnStructWithHole() {
2929 StructWithHole res;
2930 __msan_poison(&res, sizeof(res));
2931 res.a = 1;
2932 res.b = 2;
2933 return res;
2934 }
2935
TEST(MemorySanitizer,StructWithHole)2936 TEST(MemorySanitizer, StructWithHole) {
2937 StructWithHole a = ReturnStructWithHole();
2938 break_optimization(&a);
2939 }
2940
2941 template <class T>
ReturnStruct()2942 NOINLINE T ReturnStruct() {
2943 T res;
2944 __msan_poison(&res, sizeof(res));
2945 res.a = 1;
2946 return res;
2947 }
2948
2949 template <class T>
TestReturnStruct()2950 NOINLINE void TestReturnStruct() {
2951 T s1 = ReturnStruct<T>();
2952 EXPECT_NOT_POISONED(s1.a);
2953 EXPECT_POISONED(s1.b);
2954 }
2955
2956 struct SSS1 {
2957 int a, b, c;
2958 };
2959 struct SSS2 {
2960 int b, a, c;
2961 };
2962 struct SSS3 {
2963 int b, c, a;
2964 };
2965 struct SSS4 {
2966 int c, b, a;
2967 };
2968
2969 struct SSS5 {
2970 int a;
2971 float b;
2972 };
2973 struct SSS6 {
2974 int a;
2975 double b;
2976 };
2977 struct SSS7 {
2978 S8 b;
2979 int a;
2980 };
2981 struct SSS8 {
2982 S2 b;
2983 S8 a;
2984 };
2985
TEST(MemorySanitizer,IntStruct3)2986 TEST(MemorySanitizer, IntStruct3) {
2987 TestReturnStruct<SSS1>();
2988 TestReturnStruct<SSS2>();
2989 TestReturnStruct<SSS3>();
2990 TestReturnStruct<SSS4>();
2991 TestReturnStruct<SSS5>();
2992 TestReturnStruct<SSS6>();
2993 TestReturnStruct<SSS7>();
2994 TestReturnStruct<SSS8>();
2995 }
2996
2997 struct LongStruct {
2998 U1 a1, b1;
2999 U2 a2, b2;
3000 U4 a4, b4;
3001 U8 a8, b8;
3002 };
3003
ReturnLongStruct1()3004 NOINLINE LongStruct ReturnLongStruct1() {
3005 LongStruct res;
3006 __msan_poison(&res, sizeof(res));
3007 res.a1 = res.a2 = res.a4 = res.a8 = 111;
3008 // leaves b1, .., b8 poisoned.
3009 return res;
3010 }
3011
ReturnLongStruct2()3012 NOINLINE LongStruct ReturnLongStruct2() {
3013 LongStruct res;
3014 __msan_poison(&res, sizeof(res));
3015 res.b1 = res.b2 = res.b4 = res.b8 = 111;
3016 // leaves a1, .., a8 poisoned.
3017 return res;
3018 }
3019
TEST(MemorySanitizer,LongStruct)3020 TEST(MemorySanitizer, LongStruct) {
3021 LongStruct s1 = ReturnLongStruct1();
3022 __msan_print_shadow(&s1, sizeof(s1));
3023 EXPECT_NOT_POISONED(s1.a1);
3024 EXPECT_NOT_POISONED(s1.a2);
3025 EXPECT_NOT_POISONED(s1.a4);
3026 EXPECT_NOT_POISONED(s1.a8);
3027
3028 EXPECT_POISONED(s1.b1);
3029 EXPECT_POISONED(s1.b2);
3030 EXPECT_POISONED(s1.b4);
3031 EXPECT_POISONED(s1.b8);
3032
3033 LongStruct s2 = ReturnLongStruct2();
3034 __msan_print_shadow(&s2, sizeof(s2));
3035 EXPECT_NOT_POISONED(s2.b1);
3036 EXPECT_NOT_POISONED(s2.b2);
3037 EXPECT_NOT_POISONED(s2.b4);
3038 EXPECT_NOT_POISONED(s2.b8);
3039
3040 EXPECT_POISONED(s2.a1);
3041 EXPECT_POISONED(s2.a2);
3042 EXPECT_POISONED(s2.a4);
3043 EXPECT_POISONED(s2.a8);
3044 }
3045
3046 #if defined(__FreeBSD__) || defined(__NetBSD__)
3047 #define MSAN_TEST_PRLIMIT 0
3048 #elif defined(__GLIBC__)
3049 #define MSAN_TEST_PRLIMIT __GLIBC_PREREQ(2, 13)
3050 #else
3051 #define MSAN_TEST_PRLIMIT 1
3052 #endif
3053
TEST(MemorySanitizer,getrlimit)3054 TEST(MemorySanitizer, getrlimit) {
3055 struct rlimit limit;
3056 __msan_poison(&limit, sizeof(limit));
3057 int result = getrlimit(RLIMIT_DATA, &limit);
3058 ASSERT_EQ(result, 0);
3059 EXPECT_NOT_POISONED(limit.rlim_cur);
3060 EXPECT_NOT_POISONED(limit.rlim_max);
3061
3062 #if MSAN_TEST_PRLIMIT
3063 struct rlimit limit2;
3064 __msan_poison(&limit2, sizeof(limit2));
3065 result = prlimit(getpid(), RLIMIT_DATA, &limit, &limit2);
3066 ASSERT_EQ(result, 0);
3067 EXPECT_NOT_POISONED(limit2.rlim_cur);
3068 EXPECT_NOT_POISONED(limit2.rlim_max);
3069
3070 __msan_poison(&limit, sizeof(limit));
3071 result = prlimit(getpid(), RLIMIT_DATA, nullptr, &limit);
3072 ASSERT_EQ(result, 0);
3073 EXPECT_NOT_POISONED(limit.rlim_cur);
3074 EXPECT_NOT_POISONED(limit.rlim_max);
3075
3076 result = prlimit(getpid(), RLIMIT_DATA, &limit, nullptr);
3077 ASSERT_EQ(result, 0);
3078 #endif
3079 }
3080
TEST(MemorySanitizer,getrusage)3081 TEST(MemorySanitizer, getrusage) {
3082 struct rusage usage;
3083 __msan_poison(&usage, sizeof(usage));
3084 int result = getrusage(RUSAGE_SELF, &usage);
3085 ASSERT_EQ(result, 0);
3086 EXPECT_NOT_POISONED(usage.ru_utime.tv_sec);
3087 EXPECT_NOT_POISONED(usage.ru_utime.tv_usec);
3088 EXPECT_NOT_POISONED(usage.ru_stime.tv_sec);
3089 EXPECT_NOT_POISONED(usage.ru_stime.tv_usec);
3090 EXPECT_NOT_POISONED(usage.ru_maxrss);
3091 EXPECT_NOT_POISONED(usage.ru_minflt);
3092 EXPECT_NOT_POISONED(usage.ru_majflt);
3093 EXPECT_NOT_POISONED(usage.ru_inblock);
3094 EXPECT_NOT_POISONED(usage.ru_oublock);
3095 EXPECT_NOT_POISONED(usage.ru_nvcsw);
3096 EXPECT_NOT_POISONED(usage.ru_nivcsw);
3097 }
3098
3099 #if defined(__FreeBSD__) || defined(__NetBSD__)
GetProgramPath(char * buf,size_t sz)3100 static void GetProgramPath(char *buf, size_t sz) {
3101 #if defined(__FreeBSD__)
3102 int mib[4] = { CTL_KERN, KERN_PROC, KERN_PROC_PATHNAME, -1 };
3103 #elif defined(__NetBSD__)
3104 int mib[4] = { CTL_KERN, KERN_PROC_ARGS, -1, KERN_PROC_PATHNAME};
3105 #endif
3106 int res = sysctl(mib, 4, buf, &sz, NULL, 0);
3107 ASSERT_EQ(0, res);
3108 }
3109 #elif defined(__GLIBC__) || defined(MUSL)
GetProgramPath(char * buf,size_t sz)3110 static void GetProgramPath(char *buf, size_t sz) {
3111 extern char *program_invocation_name;
3112 int res = snprintf(buf, sz, "%s", program_invocation_name);
3113 ASSERT_GE(res, 0);
3114 ASSERT_LT((size_t)res, sz);
3115 }
3116 #else
3117 # error "TODO: port this"
3118 #endif
3119
dladdr_testfn()3120 static void dladdr_testfn() {}
3121
TEST(MemorySanitizer,dladdr)3122 TEST(MemorySanitizer, dladdr) {
3123 Dl_info info;
3124 __msan_poison(&info, sizeof(info));
3125 int result = dladdr((const void*)dladdr_testfn, &info);
3126 ASSERT_NE(result, 0);
3127 EXPECT_NOT_POISONED((unsigned long)info.dli_fname);
3128 if (info.dli_fname)
3129 EXPECT_NOT_POISONED(strlen(info.dli_fname));
3130 EXPECT_NOT_POISONED((unsigned long)info.dli_fbase);
3131 EXPECT_NOT_POISONED((unsigned long)info.dli_sname);
3132 if (info.dli_sname)
3133 EXPECT_NOT_POISONED(strlen(info.dli_sname));
3134 EXPECT_NOT_POISONED((unsigned long)info.dli_saddr);
3135 }
3136
3137 #ifndef MSAN_TEST_DISABLE_DLOPEN
3138
dl_phdr_callback(struct dl_phdr_info * info,size_t size,void * data)3139 static int dl_phdr_callback(struct dl_phdr_info *info, size_t size, void *data) {
3140 (*(int *)data)++;
3141 EXPECT_NOT_POISONED(info->dlpi_addr);
3142 EXPECT_NOT_POISONED(strlen(info->dlpi_name));
3143 EXPECT_NOT_POISONED(info->dlpi_phnum);
3144 for (int i = 0; i < info->dlpi_phnum; ++i)
3145 EXPECT_NOT_POISONED(info->dlpi_phdr[i]);
3146 return 0;
3147 }
3148
3149 // Compute the path to our loadable DSO. We assume it's in the same
3150 // directory. Only use string routines that we intercept so far to do this.
GetPathToLoadable(char * buf,size_t sz)3151 static void GetPathToLoadable(char *buf, size_t sz) {
3152 char program_path[kMaxPathLength];
3153 GetProgramPath(program_path, sizeof(program_path));
3154
3155 const char *last_slash = strrchr(program_path, '/');
3156 ASSERT_NE(nullptr, last_slash);
3157 size_t dir_len = (size_t)(last_slash - program_path);
3158 #if defined(__x86_64__)
3159 static const char basename[] = "libmsan_loadable.x86_64.so";
3160 #elif defined(__MIPSEB__) || defined(MIPSEB)
3161 static const char basename[] = "libmsan_loadable.mips64.so";
3162 #elif defined(__mips64)
3163 static const char basename[] = "libmsan_loadable.mips64el.so";
3164 #elif defined(__aarch64__)
3165 static const char basename[] = "libmsan_loadable.aarch64.so";
3166 #elif defined(__powerpc64__) && __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
3167 static const char basename[] = "libmsan_loadable.powerpc64.so";
3168 #elif defined(__powerpc64__) && __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
3169 static const char basename[] = "libmsan_loadable.powerpc64le.so";
3170 #endif
3171 int res = snprintf(buf, sz, "%.*s/%s",
3172 (int)dir_len, program_path, basename);
3173 ASSERT_GE(res, 0);
3174 ASSERT_LT((size_t)res, sz);
3175 }
3176
TEST(MemorySanitizer,dl_iterate_phdr)3177 TEST(MemorySanitizer, dl_iterate_phdr) {
3178 char path[kMaxPathLength];
3179 GetPathToLoadable(path, sizeof(path));
3180
3181 // Having at least one dlopen'ed library in the process makes this more
3182 // entertaining.
3183 void *lib = dlopen(path, RTLD_LAZY);
3184 ASSERT_NE((void*)0, lib);
3185
3186 int count = 0;
3187 int result = dl_iterate_phdr(dl_phdr_callback, &count);
3188 ASSERT_GT(count, 0);
3189
3190 dlclose(lib);
3191 }
3192
TEST(MemorySanitizer,dlopen)3193 TEST(MemorySanitizer, dlopen) {
3194 char path[kMaxPathLength];
3195 GetPathToLoadable(path, sizeof(path));
3196
3197 // We need to clear shadow for globals when doing dlopen. In order to test
3198 // this, we have to poison the shadow for the DSO before we load it. In
3199 // general this is difficult, but the loader tends to reload things in the
3200 // same place, so we open, close, and then reopen. The global should always
3201 // start out clean after dlopen.
3202 for (int i = 0; i < 2; i++) {
3203 void *lib = dlopen(path, RTLD_LAZY);
3204 if (lib == NULL) {
3205 printf("dlerror: %s\n", dlerror());
3206 ASSERT_TRUE(lib != NULL);
3207 }
3208 void **(*get_dso_global)() = (void **(*)())dlsym(lib, "get_dso_global");
3209 ASSERT_TRUE(get_dso_global != NULL);
3210 void **dso_global = get_dso_global();
3211 EXPECT_NOT_POISONED(*dso_global);
3212 __msan_poison(dso_global, sizeof(*dso_global));
3213 EXPECT_POISONED(*dso_global);
3214 dlclose(lib);
3215 }
3216 }
3217
3218 // Regression test for a crash in dlopen() interceptor.
TEST(MemorySanitizer,dlopenFailed)3219 TEST(MemorySanitizer, dlopenFailed) {
3220 const char *path = "/libmsan_loadable_does_not_exist.so";
3221 void *lib = dlopen(path, RTLD_LAZY);
3222 ASSERT_TRUE(lib == NULL);
3223 }
3224
3225 #endif // MSAN_TEST_DISABLE_DLOPEN
3226
3227 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
TEST(MemorySanitizer,sched_getaffinity)3228 TEST(MemorySanitizer, sched_getaffinity) {
3229 cpu_set_t mask;
3230 if (sched_getaffinity(getpid(), sizeof(mask), &mask) == 0)
3231 EXPECT_NOT_POISONED(mask);
3232 else {
3233 // The call to sched_getaffinity() may have failed because the Affinity
3234 // mask is too small for the number of CPUs on the system (i.e. the
3235 // system has more than 1024 CPUs). Allocate a mask large enough for
3236 // twice as many CPUs.
3237 cpu_set_t *DynAffinity;
3238 DynAffinity = CPU_ALLOC(2048);
3239 int res = sched_getaffinity(getpid(), CPU_ALLOC_SIZE(2048), DynAffinity);
3240 ASSERT_EQ(0, res);
3241 EXPECT_NOT_POISONED(*DynAffinity);
3242 }
3243 }
3244 #endif
3245
TEST(MemorySanitizer,scanf)3246 TEST(MemorySanitizer, scanf) {
3247 const char *input = "42 hello";
3248 int* d = new int;
3249 char* s = new char[7];
3250 int res = sscanf(input, "%d %5s", d, s);
3251 printf("res %d\n", res);
3252 ASSERT_EQ(res, 2);
3253 EXPECT_NOT_POISONED(*d);
3254 EXPECT_NOT_POISONED(s[0]);
3255 EXPECT_NOT_POISONED(s[1]);
3256 EXPECT_NOT_POISONED(s[2]);
3257 EXPECT_NOT_POISONED(s[3]);
3258 EXPECT_NOT_POISONED(s[4]);
3259 EXPECT_NOT_POISONED(s[5]);
3260 EXPECT_POISONED(s[6]);
3261 delete[] s;
3262 delete d;
3263 }
3264
SimpleThread_threadfn(void * data)3265 static void *SimpleThread_threadfn(void* data) {
3266 return new int;
3267 }
3268
TEST(MemorySanitizer,SimpleThread)3269 TEST(MemorySanitizer, SimpleThread) {
3270 pthread_t t;
3271 void *p;
3272 int res = pthread_create(&t, NULL, SimpleThread_threadfn, NULL);
3273 ASSERT_EQ(0, res);
3274 EXPECT_NOT_POISONED(t);
3275 res = pthread_join(t, &p);
3276 ASSERT_EQ(0, res);
3277 EXPECT_NOT_POISONED(p);
3278 delete (int*)p;
3279 }
3280
SmallStackThread_threadfn(void * data)3281 static void *SmallStackThread_threadfn(void* data) {
3282 return 0;
3283 }
3284
GetThreadStackMin()3285 static int GetThreadStackMin() {
3286 #ifdef PTHREAD_STACK_MIN
3287 return PTHREAD_STACK_MIN;
3288 #else
3289 return 0;
3290 #endif
3291 }
3292
TEST(MemorySanitizer,SmallStackThread)3293 TEST(MemorySanitizer, SmallStackThread) {
3294 pthread_attr_t attr;
3295 pthread_t t;
3296 void *p;
3297 int res;
3298 res = pthread_attr_init(&attr);
3299 ASSERT_EQ(0, res);
3300 res = pthread_attr_setstacksize(&attr,
3301 std::max(GetThreadStackMin(), 64 * 1024));
3302 ASSERT_EQ(0, res);
3303 res = pthread_create(&t, &attr, SmallStackThread_threadfn, NULL);
3304 ASSERT_EQ(0, res);
3305 res = pthread_join(t, &p);
3306 ASSERT_EQ(0, res);
3307 res = pthread_attr_destroy(&attr);
3308 ASSERT_EQ(0, res);
3309 }
3310
TEST(MemorySanitizer,SmallPreAllocatedStackThread)3311 TEST(MemorySanitizer, SmallPreAllocatedStackThread) {
3312 pthread_attr_t attr;
3313 pthread_t t;
3314 int res;
3315 res = pthread_attr_init(&attr);
3316 ASSERT_EQ(0, res);
3317 void *stack;
3318 const size_t kStackSize = std::max(GetThreadStackMin(), 32 * 1024);
3319 res = posix_memalign(&stack, 4096, kStackSize);
3320 ASSERT_EQ(0, res);
3321 res = pthread_attr_setstack(&attr, stack, kStackSize);
3322 ASSERT_EQ(0, res);
3323 res = pthread_create(&t, &attr, SmallStackThread_threadfn, NULL);
3324 EXPECT_EQ(0, res);
3325 res = pthread_join(t, NULL);
3326 ASSERT_EQ(0, res);
3327 res = pthread_attr_destroy(&attr);
3328 ASSERT_EQ(0, res);
3329 }
3330
TEST(MemorySanitizer,pthread_attr_get)3331 TEST(MemorySanitizer, pthread_attr_get) {
3332 pthread_attr_t attr;
3333 int res;
3334 res = pthread_attr_init(&attr);
3335 ASSERT_EQ(0, res);
3336 {
3337 int v;
3338 res = pthread_attr_getdetachstate(&attr, &v);
3339 ASSERT_EQ(0, res);
3340 EXPECT_NOT_POISONED(v);
3341 }
3342 {
3343 size_t v;
3344 res = pthread_attr_getguardsize(&attr, &v);
3345 ASSERT_EQ(0, res);
3346 EXPECT_NOT_POISONED(v);
3347 }
3348 {
3349 struct sched_param v;
3350 res = pthread_attr_getschedparam(&attr, &v);
3351 ASSERT_EQ(0, res);
3352 EXPECT_NOT_POISONED(v);
3353 }
3354 {
3355 int v;
3356 res = pthread_attr_getschedpolicy(&attr, &v);
3357 ASSERT_EQ(0, res);
3358 EXPECT_NOT_POISONED(v);
3359 }
3360 {
3361 int v;
3362 res = pthread_attr_getinheritsched(&attr, &v);
3363 ASSERT_EQ(0, res);
3364 EXPECT_NOT_POISONED(v);
3365 }
3366 {
3367 int v;
3368 res = pthread_attr_getscope(&attr, &v);
3369 ASSERT_EQ(0, res);
3370 EXPECT_NOT_POISONED(v);
3371 }
3372 {
3373 size_t v;
3374 res = pthread_attr_getstacksize(&attr, &v);
3375 ASSERT_EQ(0, res);
3376 EXPECT_NOT_POISONED(v);
3377 }
3378 {
3379 void *v;
3380 size_t w;
3381 res = pthread_attr_getstack(&attr, &v, &w);
3382 ASSERT_EQ(0, res);
3383 EXPECT_NOT_POISONED(v);
3384 EXPECT_NOT_POISONED(w);
3385 }
3386 #ifdef __GLIBC__
3387 {
3388 cpu_set_t v;
3389 res = pthread_attr_getaffinity_np(&attr, sizeof(v), &v);
3390 ASSERT_EQ(0, res);
3391 EXPECT_NOT_POISONED(v);
3392 }
3393 #endif
3394 res = pthread_attr_destroy(&attr);
3395 ASSERT_EQ(0, res);
3396 }
3397
TEST(MemorySanitizer,pthread_getschedparam)3398 TEST(MemorySanitizer, pthread_getschedparam) {
3399 int policy;
3400 struct sched_param param;
3401 int res = pthread_getschedparam(pthread_self(), &policy, ¶m);
3402 ASSERT_EQ(0, res);
3403 EXPECT_NOT_POISONED(policy);
3404 EXPECT_NOT_POISONED(param.sched_priority);
3405 }
3406
TEST(MemorySanitizer,pthread_key_create)3407 TEST(MemorySanitizer, pthread_key_create) {
3408 pthread_key_t key;
3409 int res = pthread_key_create(&key, NULL);
3410 ASSERT_EQ(0, res);
3411 EXPECT_NOT_POISONED(key);
3412 res = pthread_key_delete(key);
3413 ASSERT_EQ(0, res);
3414 }
3415
3416 namespace {
3417 struct SignalCondArg {
3418 pthread_cond_t* cond;
3419 pthread_mutex_t* mu;
3420 bool broadcast;
3421 };
3422
SignalCond(void * param)3423 void *SignalCond(void *param) {
3424 SignalCondArg *arg = reinterpret_cast<SignalCondArg *>(param);
3425 pthread_mutex_lock(arg->mu);
3426 if (arg->broadcast)
3427 pthread_cond_broadcast(arg->cond);
3428 else
3429 pthread_cond_signal(arg->cond);
3430 pthread_mutex_unlock(arg->mu);
3431 return 0;
3432 }
3433 } // namespace
3434
TEST(MemorySanitizer,pthread_cond_wait)3435 TEST(MemorySanitizer, pthread_cond_wait) {
3436 pthread_cond_t cond;
3437 pthread_mutex_t mu;
3438 SignalCondArg args = {&cond, &mu, false};
3439 pthread_cond_init(&cond, 0);
3440 pthread_mutex_init(&mu, 0);
3441 pthread_mutex_lock(&mu);
3442
3443 // signal
3444 pthread_t thr;
3445 pthread_create(&thr, 0, SignalCond, &args);
3446 int res = pthread_cond_wait(&cond, &mu);
3447 ASSERT_EQ(0, res);
3448 pthread_join(thr, 0);
3449
3450 // broadcast
3451 args.broadcast = true;
3452 pthread_create(&thr, 0, SignalCond, &args);
3453 res = pthread_cond_wait(&cond, &mu);
3454 ASSERT_EQ(0, res);
3455 pthread_join(thr, 0);
3456
3457 pthread_mutex_unlock(&mu);
3458 pthread_mutex_destroy(&mu);
3459 pthread_cond_destroy(&cond);
3460 }
3461
TEST(MemorySanitizer,tmpnam)3462 TEST(MemorySanitizer, tmpnam) {
3463 char s[L_tmpnam];
3464 char *res = tmpnam(s);
3465 ASSERT_EQ(s, res);
3466 EXPECT_NOT_POISONED(strlen(res));
3467 }
3468
TEST(MemorySanitizer,tempnam)3469 TEST(MemorySanitizer, tempnam) {
3470 char *res = tempnam(NULL, "zzz");
3471 EXPECT_NOT_POISONED(strlen(res));
3472 free(res);
3473 }
3474
TEST(MemorySanitizer,posix_memalign)3475 TEST(MemorySanitizer, posix_memalign) {
3476 void *p;
3477 EXPECT_POISONED(p);
3478 int res = posix_memalign(&p, 4096, 13);
3479 ASSERT_EQ(0, res);
3480 EXPECT_NOT_POISONED(p);
3481 EXPECT_EQ(0U, (uintptr_t)p % 4096);
3482 free(p);
3483 }
3484
3485 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
TEST(MemorySanitizer,memalign)3486 TEST(MemorySanitizer, memalign) {
3487 void *p = memalign(4096, 13);
3488 EXPECT_EQ(0U, (uintptr_t)p % 4096);
3489 free(p);
3490 }
3491 #endif
3492
TEST(MemorySanitizer,valloc)3493 TEST(MemorySanitizer, valloc) {
3494 void *a = valloc(100);
3495 uintptr_t PageSize = GetPageSize();
3496 EXPECT_EQ(0U, (uintptr_t)a % PageSize);
3497 free(a);
3498 }
3499
3500 #ifdef __GLIBC__
TEST(MemorySanitizer,pvalloc)3501 TEST(MemorySanitizer, pvalloc) {
3502 uintptr_t PageSize = GetPageSize();
3503 void *p = pvalloc(PageSize + 100);
3504 EXPECT_EQ(0U, (uintptr_t)p % PageSize);
3505 EXPECT_EQ(2 * PageSize, __sanitizer_get_allocated_size(p));
3506 free(p);
3507
3508 p = pvalloc(0); // pvalloc(0) should allocate at least one page.
3509 EXPECT_EQ(0U, (uintptr_t)p % PageSize);
3510 EXPECT_EQ(PageSize, __sanitizer_get_allocated_size(p));
3511 free(p);
3512 }
3513 #endif
3514
TEST(MemorySanitizer,inet_pton)3515 TEST(MemorySanitizer, inet_pton) {
3516 const char *s = "1:0:0:0:0:0:0:8";
3517 unsigned char buf[sizeof(struct in6_addr)];
3518 int res = inet_pton(AF_INET6, s, buf);
3519 ASSERT_EQ(1, res);
3520 EXPECT_NOT_POISONED(buf[0]);
3521 EXPECT_NOT_POISONED(buf[sizeof(struct in6_addr) - 1]);
3522
3523 char s_out[INET6_ADDRSTRLEN];
3524 EXPECT_POISONED(s_out[3]);
3525 const char *q = inet_ntop(AF_INET6, buf, s_out, INET6_ADDRSTRLEN);
3526 ASSERT_NE((void*)0, q);
3527 EXPECT_NOT_POISONED(s_out[3]);
3528 }
3529
TEST(MemorySanitizer,inet_aton)3530 TEST(MemorySanitizer, inet_aton) {
3531 const char *s = "127.0.0.1";
3532 struct in_addr in[2];
3533 int res = inet_aton(s, in);
3534 ASSERT_NE(0, res);
3535 EXPECT_NOT_POISONED(in[0]);
3536 EXPECT_POISONED(*(char *)(in + 1));
3537 }
3538
TEST(MemorySanitizer,uname)3539 TEST(MemorySanitizer, uname) {
3540 struct utsname u;
3541 int res = uname(&u);
3542 ASSERT_EQ(0, res);
3543 EXPECT_NOT_POISONED(strlen(u.sysname));
3544 EXPECT_NOT_POISONED(strlen(u.nodename));
3545 EXPECT_NOT_POISONED(strlen(u.release));
3546 EXPECT_NOT_POISONED(strlen(u.version));
3547 EXPECT_NOT_POISONED(strlen(u.machine));
3548 }
3549
TEST(MemorySanitizer,gethostname)3550 TEST(MemorySanitizer, gethostname) {
3551 char buf[1000];
3552 EXPECT_EQ(-1, gethostname(buf, 1));
3553 EXPECT_EQ(ENAMETOOLONG, errno);
3554 EXPECT_NOT_POISONED(buf[0]);
3555 EXPECT_POISONED(buf[1]);
3556
3557 __msan_poison(buf, sizeof(buf));
3558 EXPECT_EQ(0, gethostname(buf, sizeof(buf)));
3559 EXPECT_NOT_POISONED(strlen(buf));
3560 }
3561
3562 #if !defined(__FreeBSD__) && !defined(__NetBSD__)
TEST(MemorySanitizer,sysinfo)3563 TEST(MemorySanitizer, sysinfo) {
3564 struct sysinfo info;
3565 int res = sysinfo(&info);
3566 ASSERT_EQ(0, res);
3567 EXPECT_NOT_POISONED(info);
3568 }
3569 #endif
3570
TEST(MemorySanitizer,getpwuid)3571 TEST(MemorySanitizer, getpwuid) {
3572 struct passwd *p = getpwuid(0); // root
3573 ASSERT_TRUE(p != NULL);
3574 EXPECT_NOT_POISONED(p->pw_name);
3575 ASSERT_TRUE(p->pw_name != NULL);
3576 EXPECT_NOT_POISONED(p->pw_name[0]);
3577 EXPECT_NOT_POISONED(p->pw_uid);
3578 ASSERT_EQ(0U, p->pw_uid);
3579 }
3580
TEST(MemorySanitizer,getpwuid_r)3581 TEST(MemorySanitizer, getpwuid_r) {
3582 struct passwd pwd;
3583 struct passwd *pwdres;
3584 char buf[10000];
3585 int res = getpwuid_r(0, &pwd, buf, sizeof(buf), &pwdres);
3586 ASSERT_EQ(0, res);
3587 EXPECT_NOT_POISONED(pwd.pw_name);
3588 ASSERT_TRUE(pwd.pw_name != NULL);
3589 EXPECT_NOT_POISONED(pwd.pw_name[0]);
3590 EXPECT_NOT_POISONED(pwd.pw_uid);
3591 ASSERT_EQ(0U, pwd.pw_uid);
3592 EXPECT_NOT_POISONED(pwdres);
3593 }
3594
TEST(MemorySanitizer,getpwnam_r)3595 TEST(MemorySanitizer, getpwnam_r) {
3596 struct passwd pwd;
3597 struct passwd *pwdres;
3598 char buf[10000];
3599 int res = getpwnam_r("root", &pwd, buf, sizeof(buf), &pwdres);
3600 ASSERT_EQ(0, res);
3601 EXPECT_NOT_POISONED(pwd.pw_name);
3602 ASSERT_TRUE(pwd.pw_name != NULL);
3603 EXPECT_NOT_POISONED(pwd.pw_name[0]);
3604 EXPECT_NOT_POISONED(pwd.pw_uid);
3605 ASSERT_EQ(0U, pwd.pw_uid);
3606 EXPECT_NOT_POISONED(pwdres);
3607 }
3608
TEST(MemorySanitizer,getpwnam_r_positive)3609 TEST(MemorySanitizer, getpwnam_r_positive) {
3610 struct passwd pwd;
3611 struct passwd *pwdres;
3612 char s[5];
3613 strncpy(s, "abcd", 5);
3614 __msan_poison(s, 5);
3615 char buf[10000];
3616 EXPECT_UMR(getpwnam_r(s, &pwd, buf, sizeof(buf), &pwdres));
3617 }
3618
TEST(MemorySanitizer,getgrnam_r)3619 TEST(MemorySanitizer, getgrnam_r) {
3620 struct group grp;
3621 struct group *grpres;
3622 char buf[10000];
3623 int res = getgrnam_r(SUPERUSER_GROUP, &grp, buf, sizeof(buf), &grpres);
3624 ASSERT_EQ(0, res);
3625 // Note that getgrnam_r() returns 0 if the matching group is not found.
3626 ASSERT_NE(nullptr, grpres);
3627 EXPECT_NOT_POISONED(grp.gr_name);
3628 ASSERT_TRUE(grp.gr_name != NULL);
3629 EXPECT_NOT_POISONED(grp.gr_name[0]);
3630 EXPECT_NOT_POISONED(grp.gr_gid);
3631 EXPECT_NOT_POISONED(grpres);
3632 }
3633
TEST(MemorySanitizer,getpwent)3634 TEST(MemorySanitizer, getpwent) {
3635 setpwent();
3636 struct passwd *p = getpwent();
3637 ASSERT_TRUE(p != NULL);
3638 EXPECT_NOT_POISONED(p->pw_name);
3639 ASSERT_TRUE(p->pw_name != NULL);
3640 EXPECT_NOT_POISONED(p->pw_name[0]);
3641 EXPECT_NOT_POISONED(p->pw_uid);
3642 }
3643
3644 #ifndef MUSL
TEST(MemorySanitizer,getpwent_r)3645 TEST(MemorySanitizer, getpwent_r) {
3646 struct passwd pwd;
3647 struct passwd *pwdres;
3648 char buf[10000];
3649 setpwent();
3650 int res = getpwent_r(&pwd, buf, sizeof(buf), &pwdres);
3651 ASSERT_EQ(0, res);
3652 EXPECT_NOT_POISONED(pwd.pw_name);
3653 ASSERT_TRUE(pwd.pw_name != NULL);
3654 EXPECT_NOT_POISONED(pwd.pw_name[0]);
3655 EXPECT_NOT_POISONED(pwd.pw_uid);
3656 EXPECT_NOT_POISONED(pwdres);
3657 }
3658 #endif
3659
3660 #ifdef __GLIBC__
TEST(MemorySanitizer,fgetpwent)3661 TEST(MemorySanitizer, fgetpwent) {
3662 FILE *fp = fopen("/etc/passwd", "r");
3663 struct passwd *p = fgetpwent(fp);
3664 ASSERT_TRUE(p != NULL);
3665 EXPECT_NOT_POISONED(p->pw_name);
3666 ASSERT_TRUE(p->pw_name != NULL);
3667 EXPECT_NOT_POISONED(p->pw_name[0]);
3668 EXPECT_NOT_POISONED(p->pw_uid);
3669 fclose(fp);
3670 }
3671 #endif
3672
TEST(MemorySanitizer,getgrent)3673 TEST(MemorySanitizer, getgrent) {
3674 setgrent();
3675 struct group *p = getgrent();
3676 ASSERT_TRUE(p != NULL);
3677 EXPECT_NOT_POISONED(p->gr_name);
3678 ASSERT_TRUE(p->gr_name != NULL);
3679 EXPECT_NOT_POISONED(p->gr_name[0]);
3680 EXPECT_NOT_POISONED(p->gr_gid);
3681 }
3682
3683 #ifdef __GLIBC__
TEST(MemorySanitizer,fgetgrent)3684 TEST(MemorySanitizer, fgetgrent) {
3685 FILE *fp = fopen("/etc/group", "r");
3686 struct group *grp = fgetgrent(fp);
3687 ASSERT_TRUE(grp != NULL);
3688 EXPECT_NOT_POISONED(grp->gr_name);
3689 ASSERT_TRUE(grp->gr_name != NULL);
3690 EXPECT_NOT_POISONED(grp->gr_name[0]);
3691 EXPECT_NOT_POISONED(grp->gr_gid);
3692 for (char **p = grp->gr_mem; *p; ++p) {
3693 EXPECT_NOT_POISONED((*p)[0]);
3694 EXPECT_TRUE(strlen(*p) > 0);
3695 }
3696 fclose(fp);
3697 }
3698 #endif
3699
3700 #if defined(__GLIBC__) || defined(__FreeBSD__)
TEST(MemorySanitizer,getgrent_r)3701 TEST(MemorySanitizer, getgrent_r) {
3702 struct group grp;
3703 struct group *grpres;
3704 char buf[10000];
3705 setgrent();
3706 int res = getgrent_r(&grp, buf, sizeof(buf), &grpres);
3707 ASSERT_EQ(0, res);
3708 EXPECT_NOT_POISONED(grp.gr_name);
3709 ASSERT_TRUE(grp.gr_name != NULL);
3710 EXPECT_NOT_POISONED(grp.gr_name[0]);
3711 EXPECT_NOT_POISONED(grp.gr_gid);
3712 EXPECT_NOT_POISONED(grpres);
3713 }
3714 #endif
3715
3716 #ifdef __GLIBC__
TEST(MemorySanitizer,fgetgrent_r)3717 TEST(MemorySanitizer, fgetgrent_r) {
3718 FILE *fp = fopen("/etc/group", "r");
3719 struct group grp;
3720 struct group *grpres;
3721 char buf[10000];
3722 setgrent();
3723 int res = fgetgrent_r(fp, &grp, buf, sizeof(buf), &grpres);
3724 ASSERT_EQ(0, res);
3725 EXPECT_NOT_POISONED(grp.gr_name);
3726 ASSERT_TRUE(grp.gr_name != NULL);
3727 EXPECT_NOT_POISONED(grp.gr_name[0]);
3728 EXPECT_NOT_POISONED(grp.gr_gid);
3729 EXPECT_NOT_POISONED(grpres);
3730 fclose(fp);
3731 }
3732 #endif
3733
TEST(MemorySanitizer,getgroups)3734 TEST(MemorySanitizer, getgroups) {
3735 int n = getgroups(0, 0);
3736 gid_t *gids = new gid_t[n];
3737 int res = getgroups(n, gids);
3738 ASSERT_EQ(n, res);
3739 for (int i = 0; i < n; ++i)
3740 EXPECT_NOT_POISONED(gids[i]);
3741 }
3742
TEST(MemorySanitizer,getgroups_zero)3743 TEST(MemorySanitizer, getgroups_zero) {
3744 gid_t group;
3745 int n = getgroups(0, &group);
3746 ASSERT_GE(n, 0);
3747 }
3748
TEST(MemorySanitizer,getgroups_negative)3749 TEST(MemorySanitizer, getgroups_negative) {
3750 gid_t group;
3751 int n = getgroups(-1, 0);
3752 ASSERT_EQ(-1, n);
3753
3754 n = getgroups(-1, 0);
3755 ASSERT_EQ(-1, n);
3756 }
3757
TEST(MemorySanitizer,wordexp_empty)3758 TEST(MemorySanitizer, wordexp_empty) {
3759 wordexp_t w;
3760 int res = wordexp("", &w, 0);
3761 ASSERT_EQ(0, res);
3762 ASSERT_EQ(0U, w.we_wordc);
3763 ASSERT_STREQ(nullptr, w.we_wordv[0]);
3764 }
3765
TEST(MemorySanitizer,wordexp)3766 TEST(MemorySanitizer, wordexp) {
3767 wordexp_t w;
3768 int res = wordexp("a b c", &w, 0);
3769 ASSERT_EQ(0, res);
3770 ASSERT_EQ(3U, w.we_wordc);
3771 ASSERT_STREQ("a", w.we_wordv[0]);
3772 ASSERT_STREQ("b", w.we_wordv[1]);
3773 ASSERT_STREQ("c", w.we_wordv[2]);
3774 }
3775
TEST(MemorySanitizer,wordexp_initial_offset)3776 TEST(MemorySanitizer, wordexp_initial_offset) {
3777 wordexp_t w;
3778 w.we_offs = 1;
3779 int res = wordexp("a b c", &w, WRDE_DOOFFS);
3780 ASSERT_EQ(0, res);
3781 ASSERT_EQ(3U, w.we_wordc);
3782 ASSERT_EQ(nullptr, w.we_wordv[0]);
3783 ASSERT_STREQ("a", w.we_wordv[1]);
3784 ASSERT_STREQ("b", w.we_wordv[2]);
3785 ASSERT_STREQ("c", w.we_wordv[3]);
3786 }
3787
3788 template<class T>
applySlt(T value,T shadow)3789 static bool applySlt(T value, T shadow) {
3790 __msan_partial_poison(&value, &shadow, sizeof(T));
3791 volatile bool zzz = true;
3792 // This "|| zzz" trick somehow makes LLVM emit "icmp slt" instead of
3793 // a shift-and-trunc to get at the highest bit.
3794 volatile bool v = value < 0 || zzz;
3795 return v;
3796 }
3797
TEST(MemorySanitizer,SignedCompareWithZero)3798 TEST(MemorySanitizer, SignedCompareWithZero) {
3799 EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0xF));
3800 EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0xFF));
3801 EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0xFFFFFF));
3802 EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0x7FFFFFF));
3803 EXPECT_UMR(applySlt<S4>(0xF, 0x80FFFFFF));
3804 EXPECT_UMR(applySlt<S4>(0xF, 0xFFFFFFFF));
3805 }
3806
3807 template <class T, class S>
poisoned(T Va,S Sa)3808 static T poisoned(T Va, S Sa) {
3809 char SIZE_CHECK1[(ssize_t)sizeof(T) - (ssize_t)sizeof(S)];
3810 char SIZE_CHECK2[(ssize_t)sizeof(S) - (ssize_t)sizeof(T)];
3811 T a;
3812 a = Va;
3813 __msan_partial_poison(&a, &Sa, sizeof(T));
3814 return a;
3815 }
3816
TEST(MemorySanitizer,ICmpRelational)3817 TEST(MemorySanitizer, ICmpRelational) {
3818 EXPECT_NOT_POISONED(poisoned(0, 0) < poisoned(0, 0));
3819 EXPECT_NOT_POISONED(poisoned(0U, 0) < poisoned(0U, 0));
3820 EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) < poisoned(0LL, 0LLU));
3821 EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) < poisoned(0LLU, 0LLU));
3822 EXPECT_POISONED(poisoned(0xFF, 0xFF) < poisoned(0xFF, 0xFF));
3823 EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) <
3824 poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
3825 EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) <
3826 poisoned(-1, 0xFFFFFFFFU));
3827
3828 EXPECT_NOT_POISONED(poisoned(0, 0) <= poisoned(0, 0));
3829 EXPECT_NOT_POISONED(poisoned(0U, 0) <= poisoned(0U, 0));
3830 EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) <= poisoned(0LL, 0LLU));
3831 EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) <= poisoned(0LLU, 0LLU));
3832 EXPECT_POISONED(poisoned(0xFF, 0xFF) <= poisoned(0xFF, 0xFF));
3833 EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) <=
3834 poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
3835 EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) <=
3836 poisoned(-1, 0xFFFFFFFFU));
3837
3838 EXPECT_NOT_POISONED(poisoned(0, 0) > poisoned(0, 0));
3839 EXPECT_NOT_POISONED(poisoned(0U, 0) > poisoned(0U, 0));
3840 EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) > poisoned(0LL, 0LLU));
3841 EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) > poisoned(0LLU, 0LLU));
3842 EXPECT_POISONED(poisoned(0xFF, 0xFF) > poisoned(0xFF, 0xFF));
3843 EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) >
3844 poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
3845 EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) >
3846 poisoned(-1, 0xFFFFFFFFU));
3847
3848 EXPECT_NOT_POISONED(poisoned(0, 0) >= poisoned(0, 0));
3849 EXPECT_NOT_POISONED(poisoned(0U, 0) >= poisoned(0U, 0));
3850 EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) >= poisoned(0LL, 0LLU));
3851 EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) >= poisoned(0LLU, 0LLU));
3852 EXPECT_POISONED(poisoned(0xFF, 0xFF) >= poisoned(0xFF, 0xFF));
3853 EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) >=
3854 poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
3855 EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) >=
3856 poisoned(-1, 0xFFFFFFFFU));
3857
3858 EXPECT_POISONED(poisoned(6, 0xF) > poisoned(7, 0));
3859 EXPECT_POISONED(poisoned(0xF, 0xF) > poisoned(7, 0));
3860 // Note that "icmp op X, Y" is approximated with "or shadow(X), shadow(Y)"
3861 // and therefore may generate false positives in some cases, e.g. the
3862 // following one:
3863 // EXPECT_NOT_POISONED(poisoned(-1, 0x80000000U) >= poisoned(-1, 0U));
3864 }
3865
3866 #if MSAN_HAS_M128
TEST(MemorySanitizer,ICmpVectorRelational)3867 TEST(MemorySanitizer, ICmpVectorRelational) {
3868 EXPECT_NOT_POISONED(
3869 _mm_cmplt_epi16(poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0)),
3870 poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0))));
3871 EXPECT_NOT_POISONED(
3872 _mm_cmplt_epi16(poisoned(_mm_set1_epi32(0), _mm_set1_epi32(0)),
3873 poisoned(_mm_set1_epi32(0), _mm_set1_epi32(0))));
3874 EXPECT_POISONED(
3875 _mm_cmplt_epi16(poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0xFFFF)),
3876 poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0xFFFF))));
3877 EXPECT_POISONED(_mm_cmpgt_epi16(poisoned(_mm_set1_epi16(6), _mm_set1_epi16(0xF)),
3878 poisoned(_mm_set1_epi16(7), _mm_set1_epi16(0))));
3879 }
3880
TEST(MemorySanitizer,stmxcsr_ldmxcsr)3881 TEST(MemorySanitizer, stmxcsr_ldmxcsr) {
3882 U4 x = _mm_getcsr();
3883 EXPECT_NOT_POISONED(x);
3884
3885 _mm_setcsr(x);
3886
3887 __msan_poison(&x, sizeof(x));
3888 U4 origin = __LINE__;
3889 __msan_set_origin(&x, sizeof(x), origin);
3890 EXPECT_UMR_O(_mm_setcsr(x), origin);
3891 }
3892 #endif
3893
3894 // Volatile bitfield store is implemented as load-mask-store
3895 // Test that we don't warn on the store of (uninitialized) padding.
3896 struct VolatileBitfieldStruct {
3897 volatile unsigned x : 1;
3898 unsigned y : 1;
3899 };
3900
TEST(MemorySanitizer,VolatileBitfield)3901 TEST(MemorySanitizer, VolatileBitfield) {
3902 VolatileBitfieldStruct *S = new VolatileBitfieldStruct;
3903 S->x = 1;
3904 EXPECT_NOT_POISONED((unsigned)S->x);
3905 EXPECT_POISONED((unsigned)S->y);
3906 }
3907
TEST(MemorySanitizer,UnalignedLoad)3908 TEST(MemorySanitizer, UnalignedLoad) {
3909 char x[32] __attribute__((aligned(8)));
3910 U4 origin = __LINE__;
3911 for (unsigned i = 0; i < sizeof(x) / 4; ++i)
3912 __msan_set_origin(x + 4 * i, 4, origin + i);
3913
3914 memset(x + 8, 0, 16);
3915 EXPECT_POISONED_O(__sanitizer_unaligned_load16(x + 6), origin + 1);
3916 EXPECT_POISONED_O(__sanitizer_unaligned_load16(x + 7), origin + 1);
3917 EXPECT_NOT_POISONED(__sanitizer_unaligned_load16(x + 8));
3918 EXPECT_NOT_POISONED(__sanitizer_unaligned_load16(x + 9));
3919 EXPECT_NOT_POISONED(__sanitizer_unaligned_load16(x + 22));
3920 EXPECT_POISONED_O(__sanitizer_unaligned_load16(x + 23), origin + 6);
3921 EXPECT_POISONED_O(__sanitizer_unaligned_load16(x + 24), origin + 6);
3922
3923 EXPECT_POISONED_O(__sanitizer_unaligned_load32(x + 4), origin + 1);
3924 EXPECT_POISONED_O(__sanitizer_unaligned_load32(x + 7), origin + 1);
3925 EXPECT_NOT_POISONED(__sanitizer_unaligned_load32(x + 8));
3926 EXPECT_NOT_POISONED(__sanitizer_unaligned_load32(x + 9));
3927 EXPECT_NOT_POISONED(__sanitizer_unaligned_load32(x + 20));
3928 EXPECT_POISONED_O(__sanitizer_unaligned_load32(x + 21), origin + 6);
3929 EXPECT_POISONED_O(__sanitizer_unaligned_load32(x + 24), origin + 6);
3930
3931 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x), origin);
3932 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x + 1), origin);
3933 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x + 7), origin + 1);
3934 EXPECT_NOT_POISONED(__sanitizer_unaligned_load64(x + 8));
3935 EXPECT_NOT_POISONED(__sanitizer_unaligned_load64(x + 9));
3936 EXPECT_NOT_POISONED(__sanitizer_unaligned_load64(x + 16));
3937 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x + 17), origin + 6);
3938 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x + 21), origin + 6);
3939 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x + 24), origin + 6);
3940 }
3941
TEST(MemorySanitizer,UnalignedStore16)3942 TEST(MemorySanitizer, UnalignedStore16) {
3943 char x[5] __attribute__((aligned(4)));
3944 U2 y2 = 0;
3945 U4 origin = __LINE__;
3946 __msan_poison(&y2, 1);
3947 __msan_set_origin(&y2, 1, origin);
3948
3949 __sanitizer_unaligned_store16(x + 1, y2);
3950 EXPECT_POISONED_O(x[0], origin);
3951 EXPECT_POISONED_O(x[1], origin);
3952 EXPECT_NOT_POISONED(x[2]);
3953 EXPECT_POISONED_O(x[3], origin);
3954 }
3955
TEST(MemorySanitizer,UnalignedStore32)3956 TEST(MemorySanitizer, UnalignedStore32) {
3957 char x[8] __attribute__((aligned(4)));
3958 U4 y4 = 0;
3959 U4 origin = __LINE__;
3960 __msan_poison(&y4, 2);
3961 __msan_set_origin(&y4, 2, origin);
3962
3963 __sanitizer_unaligned_store32(x + 3, y4);
3964 EXPECT_POISONED_O(x[0], origin);
3965 EXPECT_POISONED_O(x[1], origin);
3966 EXPECT_POISONED_O(x[2], origin);
3967 EXPECT_POISONED_O(x[3], origin);
3968 EXPECT_POISONED_O(x[4], origin);
3969 EXPECT_NOT_POISONED(x[5]);
3970 EXPECT_NOT_POISONED(x[6]);
3971 EXPECT_POISONED_O(x[7], origin);
3972 }
3973
TEST(MemorySanitizer,UnalignedStore64)3974 TEST(MemorySanitizer, UnalignedStore64) {
3975 char x[16] __attribute__((aligned(8)));
3976 U8 y8 = 0;
3977 U4 origin = __LINE__;
3978 __msan_poison(&y8, 3);
3979 __msan_poison(((char *)&y8) + sizeof(y8) - 2, 1);
3980 __msan_set_origin(&y8, 8, origin);
3981
3982 __sanitizer_unaligned_store64(x + 3, y8);
3983 EXPECT_POISONED_O(x[0], origin);
3984 EXPECT_POISONED_O(x[1], origin);
3985 EXPECT_POISONED_O(x[2], origin);
3986 EXPECT_POISONED_O(x[3], origin);
3987 EXPECT_POISONED_O(x[4], origin);
3988 EXPECT_POISONED_O(x[5], origin);
3989 EXPECT_NOT_POISONED(x[6]);
3990 EXPECT_NOT_POISONED(x[7]);
3991 EXPECT_NOT_POISONED(x[8]);
3992 EXPECT_POISONED_O(x[9], origin);
3993 EXPECT_NOT_POISONED(x[10]);
3994 EXPECT_POISONED_O(x[11], origin);
3995 }
3996
TEST(MemorySanitizer,UnalignedStore16_precise)3997 TEST(MemorySanitizer, UnalignedStore16_precise) {
3998 char x[8] __attribute__((aligned(4)));
3999 U2 y = 0;
4000 U4 originx1 = __LINE__;
4001 U4 originx2 = __LINE__;
4002 U4 originy = __LINE__;
4003 __msan_poison(x, sizeof(x));
4004 __msan_set_origin(x, 4, originx1);
4005 __msan_set_origin(x + 4, 4, originx2);
4006 __msan_poison(((char *)&y) + 1, 1);
4007 __msan_set_origin(&y, sizeof(y), originy);
4008
4009 __sanitizer_unaligned_store16(x + 3, y);
4010 EXPECT_POISONED_O(x[0], originx1);
4011 EXPECT_POISONED_O(x[1], originx1);
4012 EXPECT_POISONED_O(x[2], originx1);
4013 EXPECT_NOT_POISONED(x[3]);
4014 EXPECT_POISONED_O(x[4], originy);
4015 EXPECT_POISONED_O(x[5], originy);
4016 EXPECT_POISONED_O(x[6], originy);
4017 EXPECT_POISONED_O(x[7], originy);
4018 }
4019
TEST(MemorySanitizer,UnalignedStore16_precise2)4020 TEST(MemorySanitizer, UnalignedStore16_precise2) {
4021 char x[8] __attribute__((aligned(4)));
4022 U2 y = 0;
4023 U4 originx1 = __LINE__;
4024 U4 originx2 = __LINE__;
4025 U4 originy = __LINE__;
4026 __msan_poison(x, sizeof(x));
4027 __msan_set_origin(x, 4, originx1);
4028 __msan_set_origin(x + 4, 4, originx2);
4029 __msan_poison(((char *)&y), 1);
4030 __msan_set_origin(&y, sizeof(y), originy);
4031
4032 __sanitizer_unaligned_store16(x + 3, y);
4033 EXPECT_POISONED_O(x[0], originy);
4034 EXPECT_POISONED_O(x[1], originy);
4035 EXPECT_POISONED_O(x[2], originy);
4036 EXPECT_POISONED_O(x[3], originy);
4037 EXPECT_NOT_POISONED(x[4]);
4038 EXPECT_POISONED_O(x[5], originx2);
4039 EXPECT_POISONED_O(x[6], originx2);
4040 EXPECT_POISONED_O(x[7], originx2);
4041 }
4042
TEST(MemorySanitizer,UnalignedStore64_precise)4043 TEST(MemorySanitizer, UnalignedStore64_precise) {
4044 char x[12] __attribute__((aligned(8)));
4045 U8 y = 0;
4046 U4 originx1 = __LINE__;
4047 U4 originx2 = __LINE__;
4048 U4 originx3 = __LINE__;
4049 U4 originy = __LINE__;
4050 __msan_poison(x, sizeof(x));
4051 __msan_set_origin(x, 4, originx1);
4052 __msan_set_origin(x + 4, 4, originx2);
4053 __msan_set_origin(x + 8, 4, originx3);
4054 __msan_poison(((char *)&y) + 1, 1);
4055 __msan_poison(((char *)&y) + 7, 1);
4056 __msan_set_origin(&y, sizeof(y), originy);
4057
4058 __sanitizer_unaligned_store64(x + 2, y);
4059 EXPECT_POISONED_O(x[0], originy);
4060 EXPECT_POISONED_O(x[1], originy);
4061 EXPECT_NOT_POISONED(x[2]);
4062 EXPECT_POISONED_O(x[3], originy);
4063
4064 EXPECT_NOT_POISONED(x[4]);
4065 EXPECT_NOT_POISONED(x[5]);
4066 EXPECT_NOT_POISONED(x[6]);
4067 EXPECT_NOT_POISONED(x[7]);
4068
4069 EXPECT_NOT_POISONED(x[8]);
4070 EXPECT_POISONED_O(x[9], originy);
4071 EXPECT_POISONED_O(x[10], originy);
4072 EXPECT_POISONED_O(x[11], originy);
4073 }
4074
TEST(MemorySanitizer,UnalignedStore64_precise2)4075 TEST(MemorySanitizer, UnalignedStore64_precise2) {
4076 char x[12] __attribute__((aligned(8)));
4077 U8 y = 0;
4078 U4 originx1 = __LINE__;
4079 U4 originx2 = __LINE__;
4080 U4 originx3 = __LINE__;
4081 U4 originy = __LINE__;
4082 __msan_poison(x, sizeof(x));
4083 __msan_set_origin(x, 4, originx1);
4084 __msan_set_origin(x + 4, 4, originx2);
4085 __msan_set_origin(x + 8, 4, originx3);
4086 __msan_poison(((char *)&y) + 3, 3);
4087 __msan_set_origin(&y, sizeof(y), originy);
4088
4089 __sanitizer_unaligned_store64(x + 2, y);
4090 EXPECT_POISONED_O(x[0], originx1);
4091 EXPECT_POISONED_O(x[1], originx1);
4092 EXPECT_NOT_POISONED(x[2]);
4093 EXPECT_NOT_POISONED(x[3]);
4094
4095 EXPECT_NOT_POISONED(x[4]);
4096 EXPECT_POISONED_O(x[5], originy);
4097 EXPECT_POISONED_O(x[6], originy);
4098 EXPECT_POISONED_O(x[7], originy);
4099
4100 EXPECT_NOT_POISONED(x[8]);
4101 EXPECT_NOT_POISONED(x[9]);
4102 EXPECT_POISONED_O(x[10], originx3);
4103 EXPECT_POISONED_O(x[11], originx3);
4104 }
4105
4106 #if (defined(__x86_64__) && defined(__clang__))
4107 namespace {
4108 typedef U1 V16x8 __attribute__((__vector_size__(16)));
4109 typedef U2 V8x16 __attribute__((__vector_size__(16)));
4110 typedef U4 V4x32 __attribute__((__vector_size__(16)));
4111 typedef U8 V2x64 __attribute__((__vector_size__(16)));
4112 typedef U4 V8x32 __attribute__((__vector_size__(32)));
4113 typedef U8 V4x64 __attribute__((__vector_size__(32)));
4114 typedef U4 V2x32 __attribute__((__vector_size__(8)));
4115 typedef U2 V4x16 __attribute__((__vector_size__(8)));
4116 typedef U1 V8x8 __attribute__((__vector_size__(8)));
4117
shift_sse2_left_scalar(V8x16 x,U4 y)4118 V8x16 shift_sse2_left_scalar(V8x16 x, U4 y) {
4119 return _mm_slli_epi16(x, y);
4120 }
4121
shift_sse2_left(V8x16 x,V8x16 y)4122 V8x16 shift_sse2_left(V8x16 x, V8x16 y) {
4123 return _mm_sll_epi16(x, y);
4124 }
4125
TEST(VectorShiftTest,sse2_left_scalar)4126 TEST(VectorShiftTest, sse2_left_scalar) {
4127 V8x16 v = {Poisoned<U2>(0, 3), Poisoned<U2>(0, 7), 2, 3, 4, 5, 6, 7};
4128 V8x16 u = shift_sse2_left_scalar(v, 2);
4129 EXPECT_POISONED(u[0]);
4130 EXPECT_POISONED(u[1]);
4131 EXPECT_NOT_POISONED(u[0] | (3U << 2));
4132 EXPECT_NOT_POISONED(u[1] | (7U << 2));
4133 u[0] = u[1] = 0;
4134 EXPECT_NOT_POISONED(u);
4135 }
4136
TEST(VectorShiftTest,sse2_left_scalar_by_uninit)4137 TEST(VectorShiftTest, sse2_left_scalar_by_uninit) {
4138 V8x16 v = {0, 1, 2, 3, 4, 5, 6, 7};
4139 V8x16 u = shift_sse2_left_scalar(v, Poisoned<U4>());
4140 EXPECT_POISONED(u[0]);
4141 EXPECT_POISONED(u[1]);
4142 EXPECT_POISONED(u[2]);
4143 EXPECT_POISONED(u[3]);
4144 EXPECT_POISONED(u[4]);
4145 EXPECT_POISONED(u[5]);
4146 EXPECT_POISONED(u[6]);
4147 EXPECT_POISONED(u[7]);
4148 }
4149
TEST(VectorShiftTest,sse2_left)4150 TEST(VectorShiftTest, sse2_left) {
4151 V8x16 v = {Poisoned<U2>(0, 3), Poisoned<U2>(0, 7), 2, 3, 4, 5, 6, 7};
4152 // Top 64 bits of shift count don't affect the result.
4153 V2x64 s = {2, Poisoned<U8>()};
4154 V8x16 u = shift_sse2_left(v, s);
4155 EXPECT_POISONED(u[0]);
4156 EXPECT_POISONED(u[1]);
4157 EXPECT_NOT_POISONED(u[0] | (3U << 2));
4158 EXPECT_NOT_POISONED(u[1] | (7U << 2));
4159 u[0] = u[1] = 0;
4160 EXPECT_NOT_POISONED(u);
4161 }
4162
TEST(VectorShiftTest,sse2_left_by_uninit)4163 TEST(VectorShiftTest, sse2_left_by_uninit) {
4164 V8x16 v = {Poisoned<U2>(0, 3), Poisoned<U2>(0, 7), 2, 3, 4, 5, 6, 7};
4165 V2x64 s = {Poisoned<U8>(), Poisoned<U8>()};
4166 V8x16 u = shift_sse2_left(v, s);
4167 EXPECT_POISONED(u[0]);
4168 EXPECT_POISONED(u[1]);
4169 EXPECT_POISONED(u[2]);
4170 EXPECT_POISONED(u[3]);
4171 EXPECT_POISONED(u[4]);
4172 EXPECT_POISONED(u[5]);
4173 EXPECT_POISONED(u[6]);
4174 EXPECT_POISONED(u[7]);
4175 }
4176
4177 #ifdef __AVX2__
shift_avx2_left(V4x32 x,V4x32 y)4178 V4x32 shift_avx2_left(V4x32 x, V4x32 y) {
4179 return _mm_sllv_epi32(x, y);
4180 }
4181 // This is variable vector shift that's only available starting with AVX2.
4182 // V4x32 shift_avx2_left(V4x32 x, V4x32 y) {
TEST(VectorShiftTest,avx2_left)4183 TEST(VectorShiftTest, avx2_left) {
4184 V4x32 v = {Poisoned<U2>(0, 3), Poisoned<U2>(0, 7), 2, 3};
4185 V4x32 s = {2, Poisoned<U4>(), 3, Poisoned<U4>()};
4186 V4x32 u = shift_avx2_left(v, s);
4187 EXPECT_POISONED(u[0]);
4188 EXPECT_NOT_POISONED(u[0] | (~7U));
4189 EXPECT_POISONED(u[1]);
4190 EXPECT_POISONED(u[1] | (~31U));
4191 EXPECT_NOT_POISONED(u[2]);
4192 EXPECT_POISONED(u[3]);
4193 EXPECT_POISONED(u[3] | (~31U));
4194 }
4195 #endif // __AVX2__
4196 } // namespace
4197
TEST(VectorPackTest,sse2_packssdw_128)4198 TEST(VectorPackTest, sse2_packssdw_128) {
4199 const unsigned S2_max = (1 << 15) - 1;
4200 V4x32 a = {Poisoned<U4>(0, 0xFF0000), Poisoned<U4>(0, 0xFFFF0000),
4201 S2_max + 100, 4};
4202 V4x32 b = {Poisoned<U4>(0, 0xFF), S2_max + 10000, Poisoned<U4>(0, 0xFF00),
4203 S2_max};
4204
4205 V8x16 c = _mm_packs_epi32(a, b);
4206
4207 EXPECT_POISONED(c[0]);
4208 EXPECT_POISONED(c[1]);
4209 EXPECT_NOT_POISONED(c[2]);
4210 EXPECT_NOT_POISONED(c[3]);
4211 EXPECT_POISONED(c[4]);
4212 EXPECT_NOT_POISONED(c[5]);
4213 EXPECT_POISONED(c[6]);
4214 EXPECT_NOT_POISONED(c[7]);
4215
4216 EXPECT_EQ(c[2], S2_max);
4217 EXPECT_EQ(c[3], 4);
4218 EXPECT_EQ(c[5], S2_max);
4219 EXPECT_EQ(c[7], S2_max);
4220 }
4221
TEST(VectorPackTest,mmx_packuswb)4222 TEST(VectorPackTest, mmx_packuswb) {
4223 const unsigned U1_max = (1 << 8) - 1;
4224 V4x16 a = {Poisoned<U2>(0, 0xFF00), Poisoned<U2>(0, 0xF000U), U1_max + 100,
4225 4};
4226 V4x16 b = {Poisoned<U2>(0, 0xFF), U1_max - 1, Poisoned<U2>(0, 0xF), U1_max};
4227 V8x8 c = _mm_packs_pu16(a, b);
4228
4229 EXPECT_POISONED(c[0]);
4230 EXPECT_POISONED(c[1]);
4231 EXPECT_NOT_POISONED(c[2]);
4232 EXPECT_NOT_POISONED(c[3]);
4233 EXPECT_POISONED(c[4]);
4234 EXPECT_NOT_POISONED(c[5]);
4235 EXPECT_POISONED(c[6]);
4236 EXPECT_NOT_POISONED(c[7]);
4237
4238 EXPECT_EQ(c[2], U1_max);
4239 EXPECT_EQ(c[3], 4);
4240 EXPECT_EQ(c[5], U1_max - 1);
4241 EXPECT_EQ(c[7], U1_max);
4242 }
4243
TEST(VectorSadTest,sse2_psad_bw)4244 TEST(VectorSadTest, sse2_psad_bw) {
4245 V16x8 a = {Poisoned<U1>(), 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15};
4246 V16x8 b = {100, 101, 102, 103, 104, 105, 106, 107,
4247 108, 109, 110, 111, 112, 113, 114, 115};
4248 V2x64 c = _mm_sad_epu8(a, b);
4249
4250 EXPECT_POISONED(c[0]);
4251 EXPECT_NOT_POISONED(c[1]);
4252
4253 EXPECT_EQ(800U, c[1]);
4254 }
4255
TEST(VectorMaddTest,mmx_pmadd_wd)4256 TEST(VectorMaddTest, mmx_pmadd_wd) {
4257 V4x16 a = {Poisoned<U2>(), 1, 2, 3};
4258 V4x16 b = {100, 101, 102, 103};
4259 V2x32 c = _mm_madd_pi16(a, b);
4260
4261 EXPECT_POISONED(c[0]);
4262 EXPECT_NOT_POISONED(c[1]);
4263
4264 EXPECT_EQ((unsigned)(2 * 102 + 3 * 103), c[1]);
4265 }
4266
TEST(VectorCmpTest,mm_cmpneq_ps)4267 TEST(VectorCmpTest, mm_cmpneq_ps) {
4268 V4x32 c;
4269 c = _mm_cmpneq_ps(V4x32{Poisoned<U4>(), 1, 2, 3}, V4x32{4, 5, Poisoned<U4>(), 6});
4270 EXPECT_POISONED(c[0]);
4271 EXPECT_NOT_POISONED(c[1]);
4272 EXPECT_POISONED(c[2]);
4273 EXPECT_NOT_POISONED(c[3]);
4274
4275 c = _mm_cmpneq_ps(V4x32{0, 1, 2, 3}, V4x32{4, 5, 6, 7});
4276 EXPECT_NOT_POISONED(c);
4277 }
4278
TEST(VectorCmpTest,mm_cmpneq_sd)4279 TEST(VectorCmpTest, mm_cmpneq_sd) {
4280 V2x64 c;
4281 c = _mm_cmpneq_sd(V2x64{Poisoned<U8>(), 1}, V2x64{2, 3});
4282 EXPECT_POISONED(c[0]);
4283 c = _mm_cmpneq_sd(V2x64{1, 2}, V2x64{Poisoned<U8>(), 3});
4284 EXPECT_POISONED(c[0]);
4285 c = _mm_cmpneq_sd(V2x64{1, 2}, V2x64{3, 4});
4286 EXPECT_NOT_POISONED(c[0]);
4287 c = _mm_cmpneq_sd(V2x64{1, Poisoned<U8>()}, V2x64{2, Poisoned<U8>()});
4288 EXPECT_NOT_POISONED(c[0]);
4289 c = _mm_cmpneq_sd(V2x64{1, Poisoned<U8>()}, V2x64{1, Poisoned<U8>()});
4290 EXPECT_NOT_POISONED(c[0]);
4291 }
4292
TEST(VectorCmpTest,builtin_ia32_ucomisdlt)4293 TEST(VectorCmpTest, builtin_ia32_ucomisdlt) {
4294 U4 c;
4295 c = __builtin_ia32_ucomisdlt(V2x64{Poisoned<U8>(), 1}, V2x64{2, 3});
4296 EXPECT_POISONED(c);
4297 c = __builtin_ia32_ucomisdlt(V2x64{1, 2}, V2x64{Poisoned<U8>(), 3});
4298 EXPECT_POISONED(c);
4299 c = __builtin_ia32_ucomisdlt(V2x64{1, 2}, V2x64{3, 4});
4300 EXPECT_NOT_POISONED(c);
4301 c = __builtin_ia32_ucomisdlt(V2x64{1, Poisoned<U8>()}, V2x64{2, Poisoned<U8>()});
4302 EXPECT_NOT_POISONED(c);
4303 c = __builtin_ia32_ucomisdlt(V2x64{1, Poisoned<U8>()}, V2x64{1, Poisoned<U8>()});
4304 EXPECT_NOT_POISONED(c);
4305 }
4306
4307 #endif // defined(__x86_64__) && defined(__clang__)
4308
TEST(MemorySanitizerOrigins,SetGet)4309 TEST(MemorySanitizerOrigins, SetGet) {
4310 EXPECT_EQ(TrackingOrigins(), !!__msan_get_track_origins());
4311 if (!TrackingOrigins()) return;
4312 int x;
4313 __msan_set_origin(&x, sizeof(x), 1234);
4314 EXPECT_ORIGIN(1234U, __msan_get_origin(&x));
4315 __msan_set_origin(&x, sizeof(x), 5678);
4316 EXPECT_ORIGIN(5678U, __msan_get_origin(&x));
4317 __msan_set_origin(&x, sizeof(x), 0);
4318 EXPECT_ORIGIN(0U, __msan_get_origin(&x));
4319 }
4320
4321 namespace {
4322 struct S {
4323 U4 dummy;
4324 U2 a;
4325 U2 b;
4326 };
4327
TEST(MemorySanitizerOrigins,InitializedStoreDoesNotChangeOrigin)4328 TEST(MemorySanitizerOrigins, InitializedStoreDoesNotChangeOrigin) {
4329 if (!TrackingOrigins()) return;
4330
4331 S s;
4332 U4 origin = rand();
4333 s.a = *GetPoisonedO<U2>(0, origin);
4334 EXPECT_ORIGIN(origin, __msan_get_origin(&s.a));
4335 EXPECT_ORIGIN(origin, __msan_get_origin(&s.b));
4336
4337 s.b = 42;
4338 EXPECT_ORIGIN(origin, __msan_get_origin(&s.a));
4339 EXPECT_ORIGIN(origin, __msan_get_origin(&s.b));
4340 }
4341 } // namespace
4342
4343 template<class T, class BinaryOp>
4344 ALWAYS_INLINE
BinaryOpOriginTest(BinaryOp op)4345 void BinaryOpOriginTest(BinaryOp op) {
4346 U4 ox = rand();
4347 U4 oy = rand();
4348 T *x = GetPoisonedO<T>(0, ox, 0);
4349 T *y = GetPoisonedO<T>(1, oy, 0);
4350 T *z = GetPoisonedO<T>(2, 0, 0);
4351
4352 *z = op(*x, *y);
4353 U4 origin = __msan_get_origin(z);
4354 EXPECT_POISONED_O(*z, origin);
4355 EXPECT_EQ(true, __msan_origin_is_descendant_or_same(origin, ox) ||
4356 __msan_origin_is_descendant_or_same(origin, oy));
4357
4358 // y is poisoned, x is not.
4359 *x = 10101;
4360 *y = *GetPoisonedO<T>(1, oy);
4361 break_optimization(x);
4362 __msan_set_origin(z, sizeof(*z), 0);
4363 *z = op(*x, *y);
4364 EXPECT_POISONED_O(*z, oy);
4365 EXPECT_ORIGIN(oy, __msan_get_origin(z));
4366
4367 // x is poisoned, y is not.
4368 *x = *GetPoisonedO<T>(0, ox);
4369 *y = 10101010;
4370 break_optimization(y);
4371 __msan_set_origin(z, sizeof(*z), 0);
4372 *z = op(*x, *y);
4373 EXPECT_POISONED_O(*z, ox);
4374 EXPECT_ORIGIN(ox, __msan_get_origin(z));
4375 }
4376
XOR(const T & a,const T & b)4377 template<class T> ALWAYS_INLINE T XOR(const T &a, const T&b) { return a ^ b; }
ADD(const T & a,const T & b)4378 template<class T> ALWAYS_INLINE T ADD(const T &a, const T&b) { return a + b; }
SUB(const T & a,const T & b)4379 template<class T> ALWAYS_INLINE T SUB(const T &a, const T&b) { return a - b; }
MUL(const T & a,const T & b)4380 template<class T> ALWAYS_INLINE T MUL(const T &a, const T&b) { return a * b; }
AND(const T & a,const T & b)4381 template<class T> ALWAYS_INLINE T AND(const T &a, const T&b) { return a & b; }
OR(const T & a,const T & b)4382 template<class T> ALWAYS_INLINE T OR (const T &a, const T&b) { return a | b; }
4383
TEST(MemorySanitizerOrigins,BinaryOp)4384 TEST(MemorySanitizerOrigins, BinaryOp) {
4385 if (!TrackingOrigins()) return;
4386 BinaryOpOriginTest<S8>(XOR<S8>);
4387 BinaryOpOriginTest<U8>(ADD<U8>);
4388 BinaryOpOriginTest<S4>(SUB<S4>);
4389 BinaryOpOriginTest<S4>(MUL<S4>);
4390 BinaryOpOriginTest<U4>(OR<U4>);
4391 BinaryOpOriginTest<U4>(AND<U4>);
4392 BinaryOpOriginTest<double>(ADD<U4>);
4393 BinaryOpOriginTest<float>(ADD<S4>);
4394 BinaryOpOriginTest<double>(ADD<double>);
4395 BinaryOpOriginTest<float>(ADD<double>);
4396 }
4397
TEST(MemorySanitizerOrigins,Unary)4398 TEST(MemorySanitizerOrigins, Unary) {
4399 if (!TrackingOrigins()) return;
4400 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
4401 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
4402 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
4403 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
4404
4405 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4406 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4407 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4408 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4409
4410 EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
4411 EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
4412 EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
4413 EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
4414
4415 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4416 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4417 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4418 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4419
4420 EXPECT_POISONED_O((void*)*GetPoisonedO<S8>(0, __LINE__), __LINE__);
4421 EXPECT_POISONED_O((U8)*GetPoisonedO<void*>(0, __LINE__), __LINE__);
4422 }
4423
TEST(MemorySanitizerOrigins,EQ)4424 TEST(MemorySanitizerOrigins, EQ) {
4425 if (!TrackingOrigins()) return;
4426 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__) <= 11, __LINE__);
4427 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__) == 11, __LINE__);
4428 EXPECT_POISONED_O(*GetPoisonedO<float>(0, __LINE__) == 1.1f, __LINE__);
4429 EXPECT_POISONED_O(*GetPoisonedO<double>(0, __LINE__) == 1.1, __LINE__);
4430 }
4431
TEST(MemorySanitizerOrigins,DIV)4432 TEST(MemorySanitizerOrigins, DIV) {
4433 if (!TrackingOrigins()) return;
4434 EXPECT_POISONED_O(*GetPoisonedO<U8>(0, __LINE__) / 100, __LINE__);
4435 unsigned o = __LINE__;
4436 EXPECT_UMR_O(volatile unsigned y = 100 / *GetPoisonedO<S4>(0, o, 1), o);
4437 }
4438
TEST(MemorySanitizerOrigins,SHIFT)4439 TEST(MemorySanitizerOrigins, SHIFT) {
4440 if (!TrackingOrigins()) return;
4441 EXPECT_POISONED_O(*GetPoisonedO<U8>(0, __LINE__) >> 10, __LINE__);
4442 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__) >> 10, __LINE__);
4443 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__) << 10, __LINE__);
4444 EXPECT_POISONED_O(10U << *GetPoisonedO<U8>(0, __LINE__), __LINE__);
4445 EXPECT_POISONED_O(-10 >> *GetPoisonedO<S8>(0, __LINE__), __LINE__);
4446 EXPECT_POISONED_O(-10 << *GetPoisonedO<S8>(0, __LINE__), __LINE__);
4447 }
4448
4449 template<class T, int N>
MemCpyTest()4450 void MemCpyTest() {
4451 int ox = __LINE__;
4452 T *x = new T[N];
4453 T *y = new T[N];
4454 T *z = new T[N];
4455 T *q = new T[N];
4456 __msan_poison(x, N * sizeof(T));
4457 __msan_set_origin(x, N * sizeof(T), ox);
4458 __msan_set_origin(y, N * sizeof(T), 777777);
4459 __msan_set_origin(z, N * sizeof(T), 888888);
4460 EXPECT_NOT_POISONED(x);
4461 memcpy(y, x, N * sizeof(T));
4462 EXPECT_POISONED_O(y[0], ox);
4463 EXPECT_POISONED_O(y[N/2], ox);
4464 EXPECT_POISONED_O(y[N-1], ox);
4465 EXPECT_NOT_POISONED(x);
4466 #if !defined(__NetBSD__)
4467 void *res = mempcpy(q, x, N * sizeof(T));
4468 ASSERT_EQ(q + N, res);
4469 EXPECT_POISONED_O(q[0], ox);
4470 EXPECT_POISONED_O(q[N/2], ox);
4471 EXPECT_POISONED_O(q[N-1], ox);
4472 EXPECT_NOT_POISONED(x);
4473 #endif
4474 memmove(z, x, N * sizeof(T));
4475 EXPECT_POISONED_O(z[0], ox);
4476 EXPECT_POISONED_O(z[N/2], ox);
4477 EXPECT_POISONED_O(z[N-1], ox);
4478 }
4479
TEST(MemorySanitizerOrigins,LargeMemCpy)4480 TEST(MemorySanitizerOrigins, LargeMemCpy) {
4481 if (!TrackingOrigins()) return;
4482 MemCpyTest<U1, 10000>();
4483 MemCpyTest<U8, 10000>();
4484 }
4485
TEST(MemorySanitizerOrigins,SmallMemCpy)4486 TEST(MemorySanitizerOrigins, SmallMemCpy) {
4487 if (!TrackingOrigins()) return;
4488 MemCpyTest<U8, 1>();
4489 MemCpyTest<U8, 2>();
4490 MemCpyTest<U8, 3>();
4491 }
4492
TEST(MemorySanitizerOrigins,Select)4493 TEST(MemorySanitizerOrigins, Select) {
4494 if (!TrackingOrigins()) return;
4495 EXPECT_NOT_POISONED(g_one ? 1 : *GetPoisonedO<S4>(0, __LINE__));
4496 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4497 S4 x;
4498 break_optimization(&x);
4499 x = g_1 ? *GetPoisonedO<S4>(0, __LINE__) : 0;
4500
4501 EXPECT_POISONED_O(g_1 ? *GetPoisonedO<S4>(0, __LINE__) : 1, __LINE__);
4502 EXPECT_POISONED_O(g_0 ? 1 : *GetPoisonedO<S4>(0, __LINE__), __LINE__);
4503 }
4504
RetvalOriginTest(U4 origin)4505 NOINLINE int RetvalOriginTest(U4 origin) {
4506 int *a = new int;
4507 break_optimization(a);
4508 __msan_set_origin(a, sizeof(*a), origin);
4509 int res = *a;
4510 delete a;
4511 return res;
4512 }
4513
TEST(MemorySanitizerOrigins,Retval)4514 TEST(MemorySanitizerOrigins, Retval) {
4515 if (!TrackingOrigins()) return;
4516 EXPECT_POISONED_O(RetvalOriginTest(__LINE__), __LINE__);
4517 }
4518
ParamOriginTest(int param,U4 origin)4519 NOINLINE void ParamOriginTest(int param, U4 origin) {
4520 EXPECT_POISONED_O(param, origin);
4521 }
4522
TEST(MemorySanitizerOrigins,Param)4523 TEST(MemorySanitizerOrigins, Param) {
4524 if (!TrackingOrigins()) return;
4525 int *a = new int;
4526 U4 origin = __LINE__;
4527 break_optimization(a);
4528 __msan_set_origin(a, sizeof(*a), origin);
4529 ParamOriginTest(*a, origin);
4530 delete a;
4531 }
4532
TEST(MemorySanitizerOrigins,Invoke)4533 TEST(MemorySanitizerOrigins, Invoke) {
4534 if (!TrackingOrigins()) return;
4535 StructWithDtor s; // Will cause the calls to become invokes.
4536 EXPECT_POISONED_O(RetvalOriginTest(__LINE__), __LINE__);
4537 }
4538
TEST(MemorySanitizerOrigins,strlen)4539 TEST(MemorySanitizerOrigins, strlen) {
4540 S8 alignment;
4541 break_optimization(&alignment);
4542 char x[4] = {'a', 'b', 0, 0};
4543 __msan_poison(&x[2], 1);
4544 U4 origin = __LINE__;
4545 __msan_set_origin(x, sizeof(x), origin);
4546 EXPECT_UMR_O(volatile unsigned y = strlen(x), origin);
4547 }
4548
TEST(MemorySanitizerOrigins,wcslen)4549 TEST(MemorySanitizerOrigins, wcslen) {
4550 wchar_t w[3] = {'a', 'b', 0};
4551 U4 origin = __LINE__;
4552 __msan_set_origin(w, sizeof(w), origin);
4553 __msan_poison(&w[2], sizeof(wchar_t));
4554 EXPECT_UMR_O(volatile unsigned y = wcslen(w), origin);
4555 }
4556
4557 #if MSAN_HAS_M128
TEST(MemorySanitizerOrigins,StoreIntrinsic)4558 TEST(MemorySanitizerOrigins, StoreIntrinsic) {
4559 __m128 x, y;
4560 U4 origin = __LINE__;
4561 __msan_set_origin(&x, sizeof(x), origin);
4562 __msan_poison(&x, sizeof(x));
4563 _mm_storeu_ps((float*)&y, x);
4564 EXPECT_POISONED_O(y, origin);
4565 }
4566 #endif
4567
RecursiveMalloc(int depth)4568 NOINLINE void RecursiveMalloc(int depth) {
4569 static int count;
4570 count++;
4571 if ((count % (1024 * 1024)) == 0)
4572 printf("RecursiveMalloc: %d\n", count);
4573 int *x1 = new int;
4574 int *x2 = new int;
4575 break_optimization(x1);
4576 break_optimization(x2);
4577 if (depth > 0) {
4578 RecursiveMalloc(depth-1);
4579 RecursiveMalloc(depth-1);
4580 }
4581 delete x1;
4582 delete x2;
4583 }
4584
TEST(MemorySanitizer,Select)4585 TEST(MemorySanitizer, Select) {
4586 int x;
4587 int volatile* p = &x;
4588 int z = *p ? 1 : 0;
4589 EXPECT_POISONED(z);
4590 }
4591
TEST(MemorySanitizer,SelectPartial)4592 TEST(MemorySanitizer, SelectPartial) {
4593 // Precise instrumentation of select.
4594 // Some bits of the result do not depend on select condition, and must stay
4595 // initialized even if select condition is not. These are the bits that are
4596 // equal and initialized in both left and right select arguments.
4597 U4 x = 0xFFFFABCDU;
4598 U4 x_s = 0xFFFF0000U;
4599 __msan_partial_poison(&x, &x_s, sizeof(x));
4600 U4 y = 0xAB00U;
4601 U1 cond = true;
4602 __msan_poison(&cond, sizeof(cond));
4603 U4 z = cond ? x : y;
4604 __msan_print_shadow(&z, sizeof(z));
4605 EXPECT_POISONED(z & 0xFFU);
4606 EXPECT_NOT_POISONED(z & 0xFF00U);
4607 EXPECT_POISONED(z & 0xFF0000U);
4608 EXPECT_POISONED(z & 0xFF000000U);
4609 EXPECT_EQ(0xAB00U, z & 0xFF00U);
4610 }
4611
TEST(MemorySanitizerStress,DISABLED_MallocStackTrace)4612 TEST(MemorySanitizerStress, DISABLED_MallocStackTrace) {
4613 RecursiveMalloc(22);
4614 }
4615
TEST(MemorySanitizerAllocator,get_estimated_allocated_size)4616 TEST(MemorySanitizerAllocator, get_estimated_allocated_size) {
4617 size_t sizes[] = {0, 20, 5000, 1<<20};
4618 for (size_t i = 0; i < sizeof(sizes) / sizeof(*sizes); ++i) {
4619 size_t alloc_size = __sanitizer_get_estimated_allocated_size(sizes[i]);
4620 EXPECT_EQ(alloc_size, sizes[i]);
4621 }
4622 }
4623
TEST(MemorySanitizerAllocator,get_allocated_size_and_ownership)4624 TEST(MemorySanitizerAllocator, get_allocated_size_and_ownership) {
4625 char *array = reinterpret_cast<char*>(malloc(100));
4626 int *int_ptr = new int;
4627
4628 EXPECT_TRUE(__sanitizer_get_ownership(array));
4629 EXPECT_EQ(100U, __sanitizer_get_allocated_size(array));
4630
4631 EXPECT_TRUE(__sanitizer_get_ownership(int_ptr));
4632 EXPECT_EQ(sizeof(*int_ptr), __sanitizer_get_allocated_size(int_ptr));
4633
4634 void *wild_addr = reinterpret_cast<void*>(0x1);
4635 EXPECT_FALSE(__sanitizer_get_ownership(wild_addr));
4636 EXPECT_EQ(0U, __sanitizer_get_allocated_size(wild_addr));
4637
4638 EXPECT_FALSE(__sanitizer_get_ownership(array + 50));
4639 EXPECT_EQ(0U, __sanitizer_get_allocated_size(array + 50));
4640
4641 // NULL is a valid argument for GetAllocatedSize but is not owned.
4642 EXPECT_FALSE(__sanitizer_get_ownership(NULL));
4643 EXPECT_EQ(0U, __sanitizer_get_allocated_size(NULL));
4644
4645 free(array);
4646 EXPECT_FALSE(__sanitizer_get_ownership(array));
4647 EXPECT_EQ(0U, __sanitizer_get_allocated_size(array));
4648
4649 delete int_ptr;
4650 }
4651
TEST(MemorySanitizer,MlockTest)4652 TEST(MemorySanitizer, MlockTest) {
4653 EXPECT_EQ(0, mlockall(MCL_CURRENT));
4654 EXPECT_EQ(0, mlock((void*)0x12345, 0x5678));
4655 EXPECT_EQ(0, munlockall());
4656 EXPECT_EQ(0, munlock((void*)0x987, 0x654));
4657 }
4658
4659 // Test that LargeAllocator unpoisons memory before releasing it to the OS.
TEST(MemorySanitizer,LargeAllocatorUnpoisonsOnFree)4660 TEST(MemorySanitizer, LargeAllocatorUnpoisonsOnFree) {
4661 void *p = malloc(1024 * 1024);
4662 free(p);
4663
4664 typedef void *(*mmap_fn)(void *, size_t, int, int, int, off_t);
4665 mmap_fn real_mmap = (mmap_fn)dlsym(RTLD_NEXT, "mmap");
4666
4667 // Allocate the page that was released to the OS in free() with the real mmap,
4668 // bypassing the interceptor.
4669 char *q = (char *)real_mmap(p, 4096, PROT_READ | PROT_WRITE,
4670 MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
4671 ASSERT_NE((char *)0, q);
4672
4673 ASSERT_TRUE(q <= p);
4674 ASSERT_TRUE(q + 4096 > p);
4675
4676 EXPECT_NOT_POISONED(q[0]);
4677 EXPECT_NOT_POISONED(q[10]);
4678 EXPECT_NOT_POISONED(q[100]);
4679
4680 munmap(q, 4096);
4681 }
4682
4683 #if SANITIZER_TEST_HAS_MALLOC_USABLE_SIZE
TEST(MemorySanitizer,MallocUsableSizeTest)4684 TEST(MemorySanitizer, MallocUsableSizeTest) {
4685 const size_t kArraySize = 100;
4686 char *array = Ident((char*)malloc(kArraySize));
4687 int *int_ptr = Ident(new int);
4688 EXPECT_EQ(0U, malloc_usable_size(NULL));
4689 EXPECT_EQ(kArraySize, malloc_usable_size(array));
4690 EXPECT_EQ(sizeof(int), malloc_usable_size(int_ptr));
4691 free(array);
4692 delete int_ptr;
4693 }
4694 #endif // SANITIZER_TEST_HAS_MALLOC_USABLE_SIZE
4695
4696 #ifdef __x86_64__
HaveBmi()4697 static bool HaveBmi() {
4698 U4 a = 0, b = 0, c = 0, d = 0;
4699 asm("cpuid\n\t" : "=a"(a), "=D"(b), "=c"(c), "=d"(d) : "a"(7));
4700 const U4 kBmi12Mask = (1U<<3) | (1U<<8);
4701 return (b & kBmi12Mask) == kBmi12Mask;
4702 }
4703
4704 __attribute__((target("bmi,bmi2")))
TestBZHI()4705 static void TestBZHI() {
4706 EXPECT_NOT_POISONED(
4707 __builtin_ia32_bzhi_si(Poisoned<U4>(0xABCDABCD, 0xFF000000), 24));
4708 EXPECT_POISONED(
4709 __builtin_ia32_bzhi_si(Poisoned<U4>(0xABCDABCD, 0xFF800000), 24));
4710 // Second operand saturates.
4711 EXPECT_POISONED(
4712 __builtin_ia32_bzhi_si(Poisoned<U4>(0xABCDABCD, 0x80000000), 240));
4713 // Any poison in the second operand poisons output.
4714 EXPECT_POISONED(
4715 __builtin_ia32_bzhi_si(0xABCDABCD, Poisoned<U4>(1, 1)));
4716 EXPECT_POISONED(
4717 __builtin_ia32_bzhi_si(0xABCDABCD, Poisoned<U4>(1, 0x80000000)));
4718 EXPECT_POISONED(
4719 __builtin_ia32_bzhi_si(0xABCDABCD, Poisoned<U4>(1, 0xFFFFFFFF)));
4720
4721 EXPECT_NOT_POISONED(
4722 __builtin_ia32_bzhi_di(Poisoned<U8>(0xABCDABCDABCDABCD, 0xFF00000000000000ULL), 56));
4723 EXPECT_POISONED(
4724 __builtin_ia32_bzhi_di(Poisoned<U8>(0xABCDABCDABCDABCD, 0xFF80000000000000ULL), 56));
4725 // Second operand saturates.
4726 EXPECT_POISONED(
4727 __builtin_ia32_bzhi_di(Poisoned<U8>(0xABCDABCDABCDABCD, 0x8000000000000000ULL), 240));
4728 // Any poison in the second operand poisons output.
4729 EXPECT_POISONED(
4730 __builtin_ia32_bzhi_di(0xABCDABCDABCDABCD, Poisoned<U8>(1, 1)));
4731 EXPECT_POISONED(
4732 __builtin_ia32_bzhi_di(0xABCDABCDABCDABCD, Poisoned<U8>(1, 0x8000000000000000ULL)));
4733 EXPECT_POISONED(
4734 __builtin_ia32_bzhi_di(0xABCDABCDABCDABCD, Poisoned<U8>(1, 0xFFFFFFFF00000000ULL)));
4735 }
4736
bextr_imm(U4 start,U4 len)4737 ALWAYS_INLINE U4 bextr_imm(U4 start, U4 len) {
4738 start &= 0xFF;
4739 len &= 0xFF;
4740 return (len << 8) | start;
4741 }
4742
4743 __attribute__((target("bmi,bmi2")))
TestBEXTR()4744 static void TestBEXTR() {
4745 EXPECT_POISONED(
4746 __builtin_ia32_bextr_u32(Poisoned<U4>(0xABCDABCD, 0xFF), bextr_imm(0, 8)));
4747 EXPECT_POISONED(
4748 __builtin_ia32_bextr_u32(Poisoned<U4>(0xABCDABCD, 0xFF), bextr_imm(7, 8)));
4749 EXPECT_NOT_POISONED(
4750 __builtin_ia32_bextr_u32(Poisoned<U4>(0xABCDABCD, 0xFF), bextr_imm(8, 8)));
4751 EXPECT_NOT_POISONED(
4752 __builtin_ia32_bextr_u32(Poisoned<U4>(0xABCDABCD, 0xFF), bextr_imm(8, 800)));
4753 EXPECT_POISONED(
4754 __builtin_ia32_bextr_u32(Poisoned<U4>(0xABCDABCD, 0xFF), bextr_imm(7, 800)));
4755 EXPECT_NOT_POISONED(
4756 __builtin_ia32_bextr_u32(Poisoned<U4>(0xABCDABCD, 0xFF), bextr_imm(5, 0)));
4757
4758 EXPECT_POISONED(
4759 __builtin_ia32_bextr_u32(0xABCDABCD, Poisoned<U4>(bextr_imm(7, 800), 1)));
4760 EXPECT_POISONED(__builtin_ia32_bextr_u32(
4761 0xABCDABCD, Poisoned<U4>(bextr_imm(7, 800), 0x80000000)));
4762
4763 EXPECT_POISONED(
4764 __builtin_ia32_bextr_u64(Poisoned<U8>(0xABCDABCD, 0xFF), bextr_imm(0, 8)));
4765 EXPECT_POISONED(
4766 __builtin_ia32_bextr_u64(Poisoned<U8>(0xABCDABCD, 0xFF), bextr_imm(7, 8)));
4767 EXPECT_NOT_POISONED(
4768 __builtin_ia32_bextr_u64(Poisoned<U8>(0xABCDABCD, 0xFF), bextr_imm(8, 8)));
4769 EXPECT_NOT_POISONED(
4770 __builtin_ia32_bextr_u64(Poisoned<U8>(0xABCDABCD, 0xFF), bextr_imm(8, 800)));
4771 EXPECT_POISONED(
4772 __builtin_ia32_bextr_u64(Poisoned<U8>(0xABCDABCD, 0xFF), bextr_imm(7, 800)));
4773 EXPECT_NOT_POISONED(
4774 __builtin_ia32_bextr_u64(Poisoned<U8>(0xABCDABCD, 0xFF), bextr_imm(5, 0)));
4775
4776 // Poison in the top half.
4777 EXPECT_NOT_POISONED(__builtin_ia32_bextr_u64(
4778 Poisoned<U8>(0xABCDABCD, 0xFF0000000000), bextr_imm(32, 8)));
4779 EXPECT_POISONED(__builtin_ia32_bextr_u64(
4780 Poisoned<U8>(0xABCDABCD, 0xFF0000000000), bextr_imm(32, 9)));
4781
4782 EXPECT_POISONED(
4783 __builtin_ia32_bextr_u64(0xABCDABCD, Poisoned<U8>(bextr_imm(7, 800), 1)));
4784 EXPECT_POISONED(__builtin_ia32_bextr_u64(
4785 0xABCDABCD, Poisoned<U8>(bextr_imm(7, 800), 0x80000000)));
4786 }
4787
4788 __attribute__((target("bmi,bmi2")))
TestPDEP()4789 static void TestPDEP() {
4790 U4 x = Poisoned<U4>(0, 0xFF00);
4791 EXPECT_NOT_POISONED(__builtin_ia32_pdep_si(x, 0xFF));
4792 EXPECT_POISONED(__builtin_ia32_pdep_si(x, 0x1FF));
4793 EXPECT_NOT_POISONED(__builtin_ia32_pdep_si(x, 0xFF00));
4794 EXPECT_POISONED(__builtin_ia32_pdep_si(x, 0x1FF00));
4795
4796 EXPECT_NOT_POISONED(__builtin_ia32_pdep_si(x, 0x1FF00) & 0xFF);
4797 EXPECT_POISONED(__builtin_ia32_pdep_si(0, Poisoned<U4>(0xF, 1)));
4798
4799 U8 y = Poisoned<U8>(0, 0xFF00);
4800 EXPECT_NOT_POISONED(__builtin_ia32_pdep_di(y, 0xFF));
4801 EXPECT_POISONED(__builtin_ia32_pdep_di(y, 0x1FF));
4802 EXPECT_NOT_POISONED(__builtin_ia32_pdep_di(y, 0xFF0000000000));
4803 EXPECT_POISONED(__builtin_ia32_pdep_di(y, 0x1FF000000000000));
4804
4805 EXPECT_NOT_POISONED(__builtin_ia32_pdep_di(y, 0x1FF00) & 0xFF);
4806 EXPECT_POISONED(__builtin_ia32_pdep_di(0, Poisoned<U4>(0xF, 1)));
4807 }
4808
4809 __attribute__((target("bmi,bmi2")))
TestPEXT()4810 static void TestPEXT() {
4811 U4 x = Poisoned<U4>(0, 0xFF00);
4812 EXPECT_NOT_POISONED(__builtin_ia32_pext_si(x, 0xFF));
4813 EXPECT_POISONED(__builtin_ia32_pext_si(x, 0x1FF));
4814 EXPECT_POISONED(__builtin_ia32_pext_si(x, 0x100));
4815 EXPECT_POISONED(__builtin_ia32_pext_si(x, 0x1000));
4816 EXPECT_NOT_POISONED(__builtin_ia32_pext_si(x, 0x10000));
4817
4818 EXPECT_POISONED(__builtin_ia32_pext_si(0xFF00, Poisoned<U4>(0xFF, 1)));
4819
4820 U8 y = Poisoned<U8>(0, 0xFF0000000000);
4821 EXPECT_NOT_POISONED(__builtin_ia32_pext_di(y, 0xFF00000000));
4822 EXPECT_POISONED(__builtin_ia32_pext_di(y, 0x1FF00000000));
4823 EXPECT_POISONED(__builtin_ia32_pext_di(y, 0x10000000000));
4824 EXPECT_POISONED(__builtin_ia32_pext_di(y, 0x100000000000));
4825 EXPECT_NOT_POISONED(__builtin_ia32_pext_di(y, 0x1000000000000));
4826
4827 EXPECT_POISONED(__builtin_ia32_pext_di(0xFF00, Poisoned<U8>(0xFF, 1)));
4828 }
4829
TEST(MemorySanitizer,Bmi)4830 TEST(MemorySanitizer, Bmi) {
4831 if (HaveBmi()) {
4832 TestBZHI();
4833 TestBEXTR();
4834 TestPDEP();
4835 TestPEXT();
4836 }
4837 }
4838 #endif // defined(__x86_64__)
4839
4840 namespace {
4841 volatile long z;
4842
f(long a,long b,long c,long d,long e,long f)4843 __attribute__((noinline,optnone)) void f(long a, long b, long c, long d, long e, long f) {
4844 z = a + b + c + d + e + f;
4845 }
4846
throw_stuff()4847 __attribute__((noinline,optnone)) void throw_stuff() {
4848 throw 5;
4849 }
4850
TEST(MemorySanitizer,throw_catch)4851 TEST(MemorySanitizer, throw_catch) {
4852 long x;
4853 // Poison __msan_param_tls.
4854 __msan_poison(&x, sizeof(x));
4855 f(x, x, x, x, x, x);
4856 try {
4857 // This calls __gxx_personality_v0 through some libgcc_s function.
4858 // __gxx_personality_v0 is instrumented, libgcc_s is not; as a result,
4859 // __msan_param_tls is not updated and __gxx_personality_v0 can find
4860 // leftover poison from the previous call.
4861 // A suppression in msan_ignorelist.txt makes it work.
4862 throw_stuff();
4863 } catch (const int &e) {
4864 // pass
4865 }
4866 }
4867 } // namespace
4868