1b0ddf227b25388ad836e560c00f0aec84026b0e5Alexey Samsonov//===-- asan_test.cc ------------------------------------------------------===// 21e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// 31e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// The LLVM Compiler Infrastructure 41e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// 51e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This file is distributed under the University of Illinois Open Source 61e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// License. See LICENSE.TXT for details. 71e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// 81e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany//===----------------------------------------------------------------------===// 91e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// 101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This file is a part of AddressSanitizer, an address sanity checker. 111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// 121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany//===----------------------------------------------------------------------===// 131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_test_utils.h" 141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_fff(size_t size) { 161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc/**/(size); break_optimization(0); return res;} 17938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_eee(size_t size) { 181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc_fff(size); break_optimization(0); return res;} 19938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_ddd(size_t size) { 201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc_eee(size); break_optimization(0); return res;} 21938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_ccc(size_t size) { 221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc_ddd(size); break_optimization(0); return res;} 23938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_bbb(size_t size) { 241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc_ccc(size); break_optimization(0); return res;} 25938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_aaa(size_t size) { 261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc_bbb(size); break_optimization(0); return res;} 271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 28938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void free_ccc(void *p) { free(p); break_optimization(0);} 29938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void free_bbb(void *p) { free_ccc(p); break_optimization(0);} 30938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void free_aaa(void *p) { free_bbb(p); break_optimization(0);} 311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 322dcf44991a8ec1ca7c8051eb27c5ff158530bdc3Timur Iskhodzhanovtemplate<typename T> 33938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void uaf_test(int size, int off) { 347c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga Nainar void *p = malloc_aaa(size); 351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(p); 361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 1; i < 100; i++) 371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(malloc_aaa(i)); 381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany fprintf(stderr, "writing %ld byte(s) at %p with offset %d\n", 391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany (long)sizeof(T), p, off); 407c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga Nainar asan_write((T *)((char *)p + off)); 411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4313ebae606b526399771e9cca1d6a9d24458ad0f1Kostya SerebryanyTEST(AddressSanitizer, HasFeatureAddressSanitizerTest) { 4413ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany#if defined(__has_feature) && __has_feature(address_sanitizer) 4513ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany bool asan = 1; 46badab16503e025326a46a45da8faa6fd20e5fc3dKostya Serebryany#elif defined(__SANITIZE_ADDRESS__) 47badab16503e025326a46a45da8faa6fd20e5fc3dKostya Serebryany bool asan = 1; 4813ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany#else 4913ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany bool asan = 0; 5013ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany#endif 5113ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany EXPECT_EQ(true, asan); 521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 541e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SimpleDeathTest) { 551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(exit(1), ""); 561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 581e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, VariousMallocsTest) { 591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = (int*)malloc(100 * sizeof(int)); 601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a[50] = 0; 611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *r = (int*)malloc(10); 641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany r = (int*)realloc(r, 2000 * sizeof(int)); 651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany r[1000] = 0; 661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(r); 671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *b = new int[100]; 691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany b[50] = 0; 701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete [] b; 711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *c = new int; 731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *c = 0; 741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete c; 751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 762d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if SANITIZER_TEST_HAS_POSIX_MEMALIGN 771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *pm; 781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int pm_res = posix_memalign((void**)&pm, kPageSize, kPageSize); 791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, pm_res); 801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(pm); 812d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif // SANITIZER_TEST_HAS_POSIX_MEMALIGN 821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 832d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if SANITIZER_TEST_HAS_MEMALIGN 841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *ma = (int*)memalign(kPageSize, kPageSize); 8576e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, (uintptr_t)ma % kPageSize); 861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ma[123] = 0; 871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(ma); 882d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif // SANITIZER_TEST_HAS_MEMALIGN 891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 911e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, CallocTest) { 921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = (int*)calloc(100, sizeof(int)); 931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, a[10]); 941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9705fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey SamsonovTEST(AddressSanitizer, CallocReturnsZeroMem) { 9805fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov size_t sizes[] = {16, 1000, 10000, 100000, 2100000}; 9905fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov for (size_t s = 0; s < sizeof(sizes)/sizeof(sizes[0]); s++) { 10005fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov size_t size = sizes[s]; 10105fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov for (size_t iter = 0; iter < 5; iter++) { 10205fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov char *x = Ident((char*)calloc(1, size)); 10305fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov EXPECT_EQ(x[0], 0); 10405fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov EXPECT_EQ(x[size - 1], 0); 10505fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov EXPECT_EQ(x[size / 2], 0); 10605fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov EXPECT_EQ(x[size / 3], 0); 10705fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov EXPECT_EQ(x[size / 4], 0); 10805fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov memset(x, 0x42, size); 10905fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov free(Ident(x)); 1102d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !defined(_WIN32) 1112d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // FIXME: OOM on Windows. We should just make this a lit test 1122d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // with quarantine size set to 1. 11305fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov free(Ident(malloc(Ident(1 << 27)))); // Try to drain the quarantine. 1142d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 11505fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov } 11605fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov } 11705fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov} 11805fa3808f6ac96023cdf583a1a1b7220e5b451b8Alexey Samsonov 11931a5cd83406be83bcdb91df03e16816e3af8c615Dan Albert// No valloc on Windows or Android. 120b625a87696a619962e3b62804b0b42d8d6f31f29Dan Albert#if !defined(_WIN32) && !defined(__ANDROID__) 1211e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, VallocTest) { 1221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *a = valloc(100); 12376e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, (uintptr_t)a % kPageSize); 1241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 1251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1262d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 1271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1282d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if SANITIZER_TEST_HAS_PVALLOC 1291e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, PvallocTest) { 1301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *a = (char*)pvalloc(kPageSize + 100); 13176e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, (uintptr_t)a % kPageSize); 1321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a[kPageSize + 101] = 1; // we should not report an error here. 1331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 1341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a = (char*)pvalloc(0); // pvalloc(0) should allocate at least one page. 13676e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, (uintptr_t)a % kPageSize); 1371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a[101] = 1; // we should not report an error here. 1381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 1391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1402d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif // SANITIZER_TEST_HAS_PVALLOC 1411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1422d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !defined(_WIN32) 1432d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// FIXME: Use an equivalent of pthread_setspecific on Windows. 1441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *TSDWorker(void *test_key) { 1451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (test_key) { 1461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_setspecific(*(pthread_key_t*)test_key, (void*)0xfeedface); 1471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 1481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return NULL; 1491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid TSDDestructor(void *tsd) { 1521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Spawning a thread will check that the current thread id is not -1. 1531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t th; 1542697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&th, NULL, TSDWorker, NULL); 1552697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(th, NULL); 1561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This tests triggers the thread-specific data destruction fiasco which occurs 1591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// if we don't manage the TSD destructors ourselves. We create a new pthread 1601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// key with a non-NULL destructor which is likely to be put after the destructor 1611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// of AsanThread in the list of destructors. 1621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// In this case the TSD for AsanThread will be destroyed before TSDDestructor 1631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// is called for the child thread, and a CHECK will fail when we call 1641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// pthread_create() to spawn the grandchild. 1651e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_TSDTest) { 1661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t th; 1671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_t test_key; 1681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_create(&test_key, TSDDestructor); 1692697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&th, NULL, TSDWorker, &test_key); 1702697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(th, NULL); 1711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_delete(test_key); 1721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1732d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 1741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1751e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UAF_char) { 176ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany const char *uaf_string = "AddressSanitizer:.*heap-use-after-free"; 1771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(1, 0), uaf_string); 1781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(10, 0), uaf_string); 1791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(10, 10), uaf_string); 1801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(kLargeMalloc, 0), uaf_string); 1811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(kLargeMalloc, kLargeMalloc / 2), uaf_string); 1821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 184366984e3aa286f7b4fb45f5c9e703f2768c407edKostya SerebryanyTEST(AddressSanitizer, UAF_long_double) { 1857f4df1a0e1e1b2ace94d4d78b03c222887dbb00cKostya Serebryany if (sizeof(long double) == sizeof(double)) return; 186366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany long double *p = Ident(new long double[10]); 1872d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines EXPECT_DEATH(Ident(p)[12] = 0, "WRITE of size 1[026]"); 1882d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines EXPECT_DEATH(Ident(p)[0] = Ident(p)[12], "READ of size 1[026]"); 189366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany delete [] Ident(p); 190366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany} 191366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany 1922d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !defined(_WIN32) 193366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryanystruct Packed5 { 194366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany int x; 195366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany char c; 196366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany} __attribute__((packed)); 1972d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#else 1982d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines# pragma pack(push, 1) 1992d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesstruct Packed5 { 2002d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines int x; 2012d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines char c; 2022d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines}; 2032d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines# pragma pack(pop) 2042d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 205366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany 206366984e3aa286f7b4fb45f5c9e703f2768c407edKostya SerebryanyTEST(AddressSanitizer, UAF_Packed5) { 2072d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines static_assert(sizeof(Packed5) == 5, "Please check the keywords used"); 208366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany Packed5 *p = Ident(new Packed5[2]); 209366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany EXPECT_DEATH(p[0] = p[3], "READ of size 5"); 210366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany EXPECT_DEATH(p[3] = p[0], "WRITE of size 5"); 211366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany delete [] Ident(p); 212366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany} 213366984e3aa286f7b4fb45f5c9e703f2768c407edKostya Serebryany 2141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_HAS_BLACKLIST 2151e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, IgnoreTest) { 2161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = Ident(new int); 2171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete Ident(x); 2181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *x = 0; 2191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // ASAN_HAS_BLACKLIST 2211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystruct StructWithBitField { 2231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf1:1; 2241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf2:1; 2251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf3:1; 2261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf4:29; 2271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}; 2281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2291e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, BitFieldPositiveTest) { 2301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StructWithBitField *x = new StructWithBitField; 2311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete Ident(x); 2321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf1 = 0, "use-after-free"); 2331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf2 = 0, "use-after-free"); 2341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf3 = 0, "use-after-free"); 2351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf4 = 0, "use-after-free"); 23676e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov} 2371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystruct StructWithBitFields_8_24 { 2391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a:8; 2401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b:24; 2411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}; 2421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2431e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, BitFieldNegativeTest) { 2441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StructWithBitFields_8_24 *x = Ident(new StructWithBitFields_8_24); 2451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x->a = 0; 2461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x->b = 0; 2471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete Ident(x); 2481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_NEEDS_SEGV 25158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenkonamespace { 25258b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko 2533d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainarconst char kSEGVCrash[] = "AddressSanitizer: SEGV on unknown address"; 25458b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenkoconst char kOverriddenHandler[] = "ASan signal handler has been overridden\n"; 25558b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko 2561e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, WildAddressTest) { 2571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *c = (char*)0x123; 2583d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainar EXPECT_DEATH(*c = 0, kSEGVCrash); 25958b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko} 26058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko 26158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenkovoid my_sigaction_sighandler(int, siginfo_t*, void*) { 26258b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko fprintf(stderr, kOverriddenHandler); 26358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko exit(1); 26458b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko} 26558b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko 266b0ddf227b25388ad836e560c00f0aec84026b0e5Alexey Samsonovvoid my_signal_sighandler(int signum) { 26758b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko fprintf(stderr, kOverriddenHandler); 26858b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko exit(1); 26958b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko} 27058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko 27158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander PotapenkoTEST(AddressSanitizer, SignalTest) { 27258b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko struct sigaction sigact; 27358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko memset(&sigact, 0, sizeof(sigact)); 27458b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko sigact.sa_sigaction = my_sigaction_sighandler; 27558b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko sigact.sa_flags = SA_SIGINFO; 27658b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko // ASan should silently ignore sigaction()... 27758b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko EXPECT_EQ(0, sigaction(SIGSEGV, &sigact, 0)); 27858b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko#ifdef __APPLE__ 27958b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko EXPECT_EQ(0, sigaction(SIGBUS, &sigact, 0)); 28058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko#endif 28158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko char *c = (char*)0x123; 2823d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainar EXPECT_DEATH(*c = 0, kSEGVCrash); 28358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko // ... and signal(). 28458b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko EXPECT_EQ(0, signal(SIGSEGV, my_signal_sighandler)); 2853d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainar EXPECT_DEATH(*c = 0, kSEGVCrash); 28658b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko} 287b0ddf227b25388ad836e560c00f0aec84026b0e5Alexey Samsonov} // namespace 2881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 2891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void TestLargeMalloc(size_t size) { 2911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char buff[1024]; 2921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sprintf(buff, "is located 1 bytes to the left of %lu-byte", (long)size); 2931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident((char*)malloc(size))[-1] = 0, buff); 2941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2961e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LargeMallocTest) { 29700545a3625aaa765eef2da9b3e197a0e00e94550Evgeniy Stepanov const int max_size = (SANITIZER_WORDSIZE == 32) ? 1 << 26 : 1 << 28; 29800545a3625aaa765eef2da9b3e197a0e00e94550Evgeniy Stepanov for (int i = 113; i < max_size; i = i * 2 + 13) { 2991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TestLargeMalloc(i); 3001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3031e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, HugeMallocTest) { 3042d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines if (SANITIZER_WORDSIZE != 64 || ASAN_AVOID_EXPENSIVE_TESTS) return; 305d39a34ee33aae73fdde065f784bdc19f67b91ae2Kostya Serebryany size_t n_megs = 4100; 3062d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines EXPECT_DEATH(Ident((char*)malloc(n_megs << 20))[-1] = 0, 3072d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines "is located 1 bytes to the left|" 3082d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines "AddressSanitizer failed to allocate"); 3091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3112d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if SANITIZER_TEST_HAS_MEMALIGN 312c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryanyvoid MemalignRun(size_t align, size_t size, int idx) { 313c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany char *p = (char *)memalign(align, size); 314c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany Ident(p)[idx] = 0; 315c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany free(p); 316c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany} 317c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany 318c311105fd64219bb96b6467c3707ebda355be87bKostya SerebryanyTEST(AddressSanitizer, memalign) { 319c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany for (int align = 16; align <= (1 << 23); align *= 2) { 320c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany size_t size = align * 5; 321c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany EXPECT_DEATH(MemalignRun(align, size, -1), 322c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany "is located 1 bytes to the left"); 323c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany EXPECT_DEATH(MemalignRun(align, size, size + 1), 324c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany "is located 1 bytes to the right"); 325c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany } 326c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany} 3272d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif // SANITIZER_TEST_HAS_MEMALIGN 328c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany 3291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ManyThreadsWorker(void *a) { 3301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int iter = 0; iter < 100; iter++) { 3311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t size = 100; size < 2000; size *= 2) { 3321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(Ident(malloc(size))); 3331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 3361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3383d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainar#if !defined(__aarch64__) 3393d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainar// FIXME: Infinite loop in AArch64 (PR24389). 3401e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ManyThreadsTest) { 3412697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany const size_t kNumThreads = 3422697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany (SANITIZER_WORDSIZE == 32 || ASAN_AVOID_EXPENSIVE_TESTS) ? 30 : 1000; 3431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t[kNumThreads]; 3441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < kNumThreads; i++) { 3452697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t[i], 0, ManyThreadsWorker, (void*)i); 3461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < kNumThreads; i++) { 3482697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t[i], 0); 3491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3513d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainar#endif 3521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3531e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ReallocTest) { 3541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kMinElem = 5; 3551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *ptr = (int*)malloc(sizeof(int) * kMinElem); 3561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr[3] = 3; 3571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 10000; i++) { 3581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr = (int*)realloc(ptr, 35948ddbef1d051875b2d0b204e8d78300b58d80a85Evgeniy Stepanov (my_rand() % 1000 + kMinElem) * sizeof(int)); 3601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(3, ptr[3]); 3611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 362a3ab1a7da70a5ef111257ba8887920c1fdcd7be5Alexey Samsonov free(ptr); 363a3ab1a7da70a5ef111257ba8887920c1fdcd7be5Alexey Samsonov // Realloc pointer returned by malloc(0). 364a3ab1a7da70a5ef111257ba8887920c1fdcd7be5Alexey Samsonov int *ptr2 = Ident((int*)malloc(0)); 365a3ab1a7da70a5ef111257ba8887920c1fdcd7be5Alexey Samsonov ptr2 = Ident((int*)realloc(ptr2, sizeof(*ptr2))); 366a3ab1a7da70a5ef111257ba8887920c1fdcd7be5Alexey Samsonov *ptr2 = 42; 367a3ab1a7da70a5ef111257ba8887920c1fdcd7be5Alexey Samsonov EXPECT_EQ(42, *ptr2); 368a3ab1a7da70a5ef111257ba8887920c1fdcd7be5Alexey Samsonov free(ptr2); 3691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 37141d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur IskhodzhanovTEST(AddressSanitizer, ReallocFreedPointerTest) { 37241d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur Iskhodzhanov void *ptr = Ident(malloc(42)); 37341d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur Iskhodzhanov ASSERT_TRUE(NULL != ptr); 37441d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur Iskhodzhanov free(ptr); 37541d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur Iskhodzhanov EXPECT_DEATH(ptr = realloc(ptr, 77), "attempting double-free"); 37641d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur Iskhodzhanov} 37741d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur Iskhodzhanov 37841d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur IskhodzhanovTEST(AddressSanitizer, ReallocInvalidPointerTest) { 37941d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur Iskhodzhanov void *ptr = Ident(malloc(42)); 38041d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur Iskhodzhanov EXPECT_DEATH(ptr = realloc((int*)ptr + 1, 77), "attempting free.*not malloc"); 3812ec879ebd7261c9182d4fdee95fb615439dda67dAlexey Samsonov free(ptr); 38241d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur Iskhodzhanov} 38341d69f4fd5454d5bf2614cbb3e8ed77a935c880bTimur Iskhodzhanov 384d91699339fd7e022aef0eaa8f401af0f8942068bAlexey SamsonovTEST(AddressSanitizer, ZeroSizeMallocTest) { 385d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov // Test that malloc(0) and similar functions don't return NULL. 386d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov void *ptr = Ident(malloc(0)); 387a180078ee0120c049f9fb495f930053f80f105aaAlexey Samsonov EXPECT_TRUE(NULL != ptr); 388d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov free(ptr); 3892d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if SANITIZER_TEST_HAS_POSIX_MEMALIGN 390d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov int pm_res = posix_memalign(&ptr, 1<<20, 0); 391d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov EXPECT_EQ(0, pm_res); 392a180078ee0120c049f9fb495f930053f80f105aaAlexey Samsonov EXPECT_TRUE(NULL != ptr); 393d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov free(ptr); 3942d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif // SANITIZER_TEST_HAS_POSIX_MEMALIGN 395a180078ee0120c049f9fb495f930053f80f105aaAlexey Samsonov int *int_ptr = new int[0]; 396d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov int *int_ptr2 = new int[0]; 397a180078ee0120c049f9fb495f930053f80f105aaAlexey Samsonov EXPECT_TRUE(NULL != int_ptr); 398a180078ee0120c049f9fb495f930053f80f105aaAlexey Samsonov EXPECT_TRUE(NULL != int_ptr2); 399a180078ee0120c049f9fb495f930053f80f105aaAlexey Samsonov EXPECT_NE(int_ptr, int_ptr2); 400d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov delete[] int_ptr; 401d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov delete[] int_ptr2; 402d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov} 403d91699339fd7e022aef0eaa8f401af0f8942068bAlexey Samsonov 4042d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if SANITIZER_TEST_HAS_MALLOC_USABLE_SIZE 4054fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonovstatic const char *kMallocUsableSizeErrorMsg = 406ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany "AddressSanitizer: attempting to call malloc_usable_size()"; 4074fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov 4084fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey SamsonovTEST(AddressSanitizer, MallocUsableSizeTest) { 4094fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov const size_t kArraySize = 100; 4104fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov char *array = Ident((char*)malloc(kArraySize)); 4114fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov int *int_ptr = Ident(new int); 41276e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, malloc_usable_size(NULL)); 4134fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov EXPECT_EQ(kArraySize, malloc_usable_size(array)); 4144fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov EXPECT_EQ(sizeof(int), malloc_usable_size(int_ptr)); 4154fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov EXPECT_DEATH(malloc_usable_size((void*)0x123), kMallocUsableSizeErrorMsg); 4164fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov EXPECT_DEATH(malloc_usable_size(array + kArraySize / 2), 4174fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov kMallocUsableSizeErrorMsg); 4184fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov free(array); 4194fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov EXPECT_DEATH(malloc_usable_size(array), kMallocUsableSizeErrorMsg); 4202ec879ebd7261c9182d4fdee95fb615439dda67dAlexey Samsonov delete int_ptr; 4214fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov} 4222d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif // SANITIZER_TEST_HAS_MALLOC_USABLE_SIZE 4234fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov 4241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid WrongFree() { 4251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = (int*)malloc(100 * sizeof(int)); 4261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Use the allocated memory, otherwise Clang will optimize it out. 4271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(x); 4281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(x + 1); 4291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4312d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !defined(_WIN32) // FIXME: This should be a lit test. 4321e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, WrongFreeTest) { 4337dd282c0c7d3ca32ee94092289bd802e16fe9867Alexey Samsonov EXPECT_DEATH(WrongFree(), ASAN_PCRE_DOTALL 4347dd282c0c7d3ca32ee94092289bd802e16fe9867Alexey Samsonov "ERROR: AddressSanitizer: attempting free.*not malloc" 4357dd282c0c7d3ca32ee94092289bd802e16fe9867Alexey Samsonov ".*is located 4 bytes inside of 400-byte region" 4367dd282c0c7d3ca32ee94092289bd802e16fe9867Alexey Samsonov ".*allocated by thread"); 4371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4382d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 4391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid DoubleFree() { 4411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = (int*)malloc(100 * sizeof(int)); 4427c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga Nainar fprintf(stderr, "DoubleFree: x=%p\n", (void *)x); 4431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(x); 4441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(x); 4457c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga Nainar fprintf(stderr, "should have failed in the second free(%p)\n", (void *)x); 4461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany abort(); 4471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4492d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !defined(_WIN32) // FIXME: This should be a lit test. 4501e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DoubleFreeTest) { 45127f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany EXPECT_DEATH(DoubleFree(), ASAN_PCRE_DOTALL 452ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany "ERROR: AddressSanitizer: attempting double-free" 45327f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany ".*is located 0 bytes inside of 400-byte region" 45427f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany ".*freed by thread T0 here" 45527f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany ".*previously allocated by thread T0 here"); 4561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4572d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 4581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate<int kSize> 460938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void SizedStackTest() { 4611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char a[kSize]; 4621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *A = Ident((char*)&a); 4632d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines const char *expected_death = "AddressSanitizer: stack-buffer-"; 4641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < kSize; i++) 4651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany A[i] = i; 4662d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines EXPECT_DEATH(A[-1] = 0, expected_death); 4672d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines EXPECT_DEATH(A[-5] = 0, expected_death); 4682d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines EXPECT_DEATH(A[kSize] = 0, expected_death); 4692d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines EXPECT_DEATH(A[kSize + 1] = 0, expected_death); 4702d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines EXPECT_DEATH(A[kSize + 5] = 0, expected_death); 4712d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines if (kSize > 16) 4722d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines EXPECT_DEATH(A[kSize + 31] = 0, expected_death); 4731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4751e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SimpleStackTest) { 4761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<1>(); 4771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<2>(); 4781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<3>(); 4791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<4>(); 4801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<5>(); 4811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<6>(); 4821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<7>(); 4831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<16>(); 4841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<25>(); 4851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<34>(); 4861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<43>(); 4871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<51>(); 4881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<62>(); 4891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<64>(); 4901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<128>(); 4911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4932d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !defined(_WIN32) 4942d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// FIXME: It's a bit hard to write multi-line death test expectations 4952d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// in a portable way. Anyways, this should just be turned into a lit test. 4961e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ManyStackObjectsTest) { 4971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char XXX[10]; 4981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char YYY[20]; 4991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char ZZZ[30]; 5001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(XXX); 5011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(YYY); 5021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(ZZZ)[-1] = 0, ASAN_PCRE_DOTALL "XXX.*YYY.*ZZZ"); 5031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5042d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 5051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 50650f3daa00d3da0a80c8798a3e977705e96ec106fKostya Serebryany#if 0 // This test requires online symbolizer. 50750f3daa00d3da0a80c8798a3e977705e96ec106fKostya Serebryany// Moved to lit_tests/stack-oob-frames.cc. 50850f3daa00d3da0a80c8798a3e977705e96ec106fKostya Serebryany// Reenable here once we have online symbolizer by default. 509938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame0(int frame, char *a, char *b, char *c) { 5101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char d[4] = {0}; 5111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *D = Ident(d); 5121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany switch (frame) { 5131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 3: a[5]++; break; 5141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 2: b[5]++; break; 5151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 1: c[5]++; break; 5161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 0: D[5]++; break; 5171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 519938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame1(int frame, char *a, char *b) { 5201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char c[4] = {0}; Frame0(frame, a, b, c); 5211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany break_optimization(0); 5221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 523938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame2(int frame, char *a) { 5241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char b[4] = {0}; Frame1(frame, a, b); 5251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany break_optimization(0); 5261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 527938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame3(int frame) { 5281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char a[4] = {0}; Frame2(frame, a); 5291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany break_optimization(0); 5301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5321e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame0Test) { 5331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(0), "located .*in frame <.*Frame0"); 5341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5351e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame1Test) { 5361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(1), "located .*in frame <.*Frame1"); 5371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5381e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame2Test) { 5391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(2), "located .*in frame <.*Frame2"); 5401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5411e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame3Test) { 5421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(3), "located .*in frame <.*Frame3"); 5431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 54450f3daa00d3da0a80c8798a3e977705e96ec106fKostya Serebryany#endif 5451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 546938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void LongJmpFunc1(jmp_buf buf) { 5471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 5481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 5491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 5501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 5521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 5531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 5541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany longjmp(buf, 1); 5551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5572d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen HinesNOINLINE void TouchStackFunc() { 5582d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines int a[100]; // long array will intersect with redzones from LongJmpFunc1. 5592d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines int *A = Ident(a); 5602d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines for (int i = 0; i < 100; i++) 5612d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines A[i] = i*i; 5622d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines} 5632d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 5642d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// Test that we handle longjmp and do not report false positives on stack. 5652d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen HinesTEST(AddressSanitizer, LongJmpTest) { 5662d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines static jmp_buf buf; 5672d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines if (!setjmp(buf)) { 5682d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines LongJmpFunc1(buf); 5692d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines } else { 5702d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines TouchStackFunc(); 5712d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines } 5722d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines} 5732d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 5742d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !defined(_WIN32) // Only basic longjmp is available on Windows. 5757c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga NainarNOINLINE void UnderscopeLongJmpFunc1(jmp_buf buf) { 576d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany // create three red zones for these two stack objects. 577d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany int a; 578d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany int b; 579d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany 580d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany int *A = Ident(&a); 581d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany int *B = Ident(&b); 582d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany *A = *B; 5837c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga Nainar _longjmp(buf, 1); 584d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany} 585d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany 5867c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga NainarNOINLINE void SigLongJmpFunc1(sigjmp_buf buf) { 5871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 5881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 5891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 5901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 5921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 5931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 5947c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga Nainar siglongjmp(buf, 1); 5951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5977c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga Nainar#if !defined(__ANDROID__) && !defined(__arm__) && \ 5987c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga Nainar !defined(__powerpc64__) && !defined(__powerpc__) && \ 599259f7063e3e4c4b94dded1e90ab0a943d0fa737bPirama Arumuga Nainar !defined(__aarch64__) && !defined(__mips__) && \ 600259f7063e3e4c4b94dded1e90ab0a943d0fa737bPirama Arumuga Nainar !defined(__mips64) 6017c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga NainarNOINLINE void BuiltinLongJmpFunc1(jmp_buf buf) { 6021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 6031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 6041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 6051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 6071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 6081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 6097c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga Nainar __builtin_longjmp((void**)buf, 1); 6101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6126d1862363c88c183b0ed7740fca876342cf0474bStephen Hines// Does not work on Power and ARM: 6133d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainar// https://github.com/google/sanitizers/issues/185 614c3a5c173f228cbb15e332e6bbc17c76ebd55d7a8Kostya SerebryanyTEST(AddressSanitizer, BuiltinLongJmpTest) { 615d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany static jmp_buf buf; 616c3a5c173f228cbb15e332e6bbc17c76ebd55d7a8Kostya Serebryany if (!__builtin_setjmp((void**)buf)) { 617d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany BuiltinLongJmpFunc1(buf); 618d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany } else { 619d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany TouchStackFunc(); 620d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany } 621d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany} 6222d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif // !defined(__ANDROID__) && !defined(__powerpc64__) && 623259f7063e3e4c4b94dded1e90ab0a943d0fa737bPirama Arumuga Nainar // !defined(__powerpc__) && !defined(__arm__) && 624259f7063e3e4c4b94dded1e90ab0a943d0fa737bPirama Arumuga Nainar // !defined(__mips__) && !defined(__mips64) 625d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany 6261e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UnderscopeLongJmpTest) { 6271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static jmp_buf buf; 6281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (!_setjmp(buf)) { 6291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany UnderscopeLongJmpFunc1(buf); 6301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 6311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 6321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 6331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6351e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SigLongJmpTest) { 6361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static sigjmp_buf buf; 6371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (!sigsetjmp(buf, 1)) { 6381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SigLongJmpFunc1(buf); 6391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 6401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 6411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 6421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6432d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 6441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6452d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// FIXME: Why does clang-cl define __EXCEPTIONS? 6462d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if defined(__EXCEPTIONS) && !defined(_WIN32) 647938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void ThrowFunc() { 6481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 6491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 6501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 6511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 6531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 6541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 6551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_THROW(1); 6561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6581e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, CxxExceptionTest) { 6591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (ASAN_UAR) return; 6601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // TODO(kcc): this test crashes on 32-bit for some reason... 6615af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany if (SANITIZER_WORDSIZE == 32) return; 6621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany try { 6631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ThrowFunc(); 6641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } catch(...) {} 6651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 6661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 6681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadStackReuseFunc1(void *unused) { 6701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 6711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 6721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 6731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 6751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 6761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 6771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_exit(0); 6781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 6791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadStackReuseFunc2(void *unused) { 6821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 6831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 6841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6861e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadStackReuseTest) { 6871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t; 6882697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadStackReuseFunc1, 0); 6892697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 6902697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadStackReuseFunc2, 0); 6912697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 6921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 694b37127085cbcc79f5f859bfab8e7204201c18287Kostya Serebryany#if defined(__i686__) || defined(__x86_64__) 695b37127085cbcc79f5f859bfab8e7204201c18287Kostya Serebryany#include <emmintrin.h> 6961e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, Store128Test) { 6971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *a = Ident((char*)malloc(Ident(12))); 6981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *p = a; 6991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (((uintptr_t)a % 16) != 0) 7001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany p = a + 8; 7011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany assert(((uintptr_t)p % 16) == 0); 7021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany __m128i value_wide = _mm_set1_epi16(0x1234); 7031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide), 704ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany "AddressSanitizer: heap-buffer-overflow"); 705acd5c617b219e0f059620c2a3928d2cc821d4534Kostya Serebryany EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide), 7061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "WRITE of size 16"); 7071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide), 7081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "located 0 bytes to the right of 12-byte"); 7091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 7101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 7121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7132d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// FIXME: All tests that use this function should be turned into lit tests. 7146cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring RightOOBErrorMessage(int oob_distance, bool is_write) { 7151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany assert(oob_distance >= 0); 7161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_str[100]; 7171b057b20db71ec6cc2bac460c8b2848f0889d47dKostya Serebryany sprintf(expected_str, ASAN_PCRE_DOTALL 7182d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !GTEST_USES_SIMPLE_RE 7192d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines "buffer-overflow.*%s.*" 7202d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 7212d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines "located %d bytes to the right", 7222d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !GTEST_USES_SIMPLE_RE 7232d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines is_write ? "WRITE" : "READ", 7242d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 7252d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines oob_distance); 7261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return string(expected_str); 7271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7296cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring RightOOBWriteMessage(int oob_distance) { 730ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko return RightOOBErrorMessage(oob_distance, /*is_write*/true); 731ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko} 732ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko 7336cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring RightOOBReadMessage(int oob_distance) { 734ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko return RightOOBErrorMessage(oob_distance, /*is_write*/false); 735ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko} 736ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko 7372d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// FIXME: All tests that use this function should be turned into lit tests. 7386cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring LeftOOBErrorMessage(int oob_distance, bool is_write) { 7391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany assert(oob_distance > 0); 7401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_str[100]; 7412d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines sprintf(expected_str, 7422d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !GTEST_USES_SIMPLE_RE 7432d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines ASAN_PCRE_DOTALL "%s.*" 7442d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 7452d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines "located %d bytes to the left", 7462d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !GTEST_USES_SIMPLE_RE 7472d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines is_write ? "WRITE" : "READ", 7482d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 7492d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines oob_distance); 7501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return string(expected_str); 7511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7536cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring LeftOOBWriteMessage(int oob_distance) { 754ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko return LeftOOBErrorMessage(oob_distance, /*is_write*/true); 755ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko} 756ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko 7576cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring LeftOOBReadMessage(int oob_distance) { 758ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko return LeftOOBErrorMessage(oob_distance, /*is_write*/false); 759ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko} 760ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko 7616cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring LeftOOBAccessMessage(int oob_distance) { 762ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko assert(oob_distance > 0); 763ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko char expected_str[100]; 764ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko sprintf(expected_str, "located %d bytes to the left", oob_distance); 765ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko return string(expected_str); 766ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko} 767ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko 7686cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanychar* MallocAndMemsetString(size_t size, char ch) { 76944997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany char *s = Ident((char*)malloc(size)); 77044997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany memset(s, ch, size); 77144997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany return s; 77244997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany} 7736cbfae439b81221d2250ffe0331958f130259755Kostya Serebryany 7746cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanychar* MallocAndMemsetString(size_t size) { 77544997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany return MallocAndMemsetString(size, 'z'); 77644997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany} 77744997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany 778b625a87696a619962e3b62804b0b42d8d6f31f29Dan Albert#if defined(__linux__) && !defined(__ANDROID__) 779c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany#define READ_TEST(READ_N_BYTES) \ 780c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany char *x = new char[10]; \ 781c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany int fd = open("/proc/self/stat", O_RDONLY); \ 782c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany ASSERT_GT(fd, 0); \ 783c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany EXPECT_DEATH(READ_N_BYTES, \ 784c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany ASAN_PCRE_DOTALL \ 785c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany "AddressSanitizer: heap-buffer-overflow" \ 786c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany ".* is located 0 bytes to the right of 10-byte region"); \ 787c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany close(fd); \ 788c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany delete [] x; \ 789c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany 7908530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya SerebryanyTEST(AddressSanitizer, pread) { 791c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany READ_TEST(pread(fd, x, 15, 0)); 7928530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany} 7938530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany 7948530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya SerebryanyTEST(AddressSanitizer, pread64) { 795c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany READ_TEST(pread64(fd, x, 15, 0)); 7968530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany} 7978530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany 7988530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya SerebryanyTEST(AddressSanitizer, read) { 799c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany READ_TEST(read(fd, x, 15)); 800c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany} 801b625a87696a619962e3b62804b0b42d8d6f31f29Dan Albert#endif // defined(__linux__) && !defined(__ANDROID__) 8028530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany 8031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This test case fails 8041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Clang optimizes memcpy/memset calls which lead to unaligned access 8051e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MemIntrinsicUnalignedAccessTest) { 8061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int size = Ident(4096); 8071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *s = Ident((char*)malloc(size)); 808ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(memset(s + size - 1, 0, 2), RightOOBWriteMessage(0)); 8091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s); 8101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(samsonov): Add a test with malloc(0) 8131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(samsonov): Add tests for str* and mem* functions. 8141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 815938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static int LargeFunction(bool do_bad_access) { 8161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = new int[100]; 8171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[0]++; 8181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[1]++; 8191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[2]++; 8201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[3]++; 8211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[4]++; 8221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[5]++; 8231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[6]++; 8241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[7]++; 8251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[8]++; 8261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[9]++; 8271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[do_bad_access ? 100 : 0]++; int res = __LINE__; 8291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[10]++; 8311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[11]++; 8321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[12]++; 8331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[13]++; 8341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[14]++; 8351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[15]++; 8361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[16]++; 8371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[17]++; 8381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[18]++; 8391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[19]++; 8401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8416d1862363c88c183b0ed7740fca876342cf0474bStephen Hines delete[] x; 8421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return res; 8431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Test the we have correct debug info for the failing instruction. 8461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This test requires the in-process symbolizer to be enabled by default. 8471e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_LargeFunctionSymbolizeTest) { 8481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int failing_line = LargeFunction(false); 8491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_warning[128]; 8505a15541fc2bbe46a5ce0cd802b5c1055f2ffb14eKostya Serebryany sprintf(expected_warning, "LargeFunction.*asan_test.*:%d", failing_line); 8511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(LargeFunction(true), expected_warning); 8521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Check that we unwind and symbolize correctly. 8551e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MallocFreeUnwindAndSymbolizeTest) { 8561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = (int*)malloc_aaa(sizeof(int)); 8571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *a = 1; 8581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(a); 8591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(*a = 1, "free_ccc.*free_bbb.*free_aaa.*" 8601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "malloc_fff.*malloc_eee.*malloc_ddd"); 8611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 863b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryanystatic bool TryToSetThreadName(const char *name) { 864b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany#if defined(__linux__) && defined(PR_SET_NAME) 865b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany return 0 == prctl(PR_SET_NAME, (unsigned long)name, 0, 0, 0); 866b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany#else 867b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany return false; 868716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany#endif 869716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany} 870716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany 8711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestAlloc(void *a) { 872b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany EXPECT_EQ(true, TryToSetThreadName("AllocThr")); 8731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int **p = (int**)a; 8741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *p = new int; 8751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 8761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestFree(void *a) { 879b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany EXPECT_EQ(true, TryToSetThreadName("FreeThr")); 8801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int **p = (int**)a; 8811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete *p; 8821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 8831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestUse(void *a) { 886b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany EXPECT_EQ(true, TryToSetThreadName("UseThr")); 8871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int **p = (int**)a; 8881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany **p = 1; 8891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 8901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid ThreadedTestSpawn() { 8931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t; 8941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x; 8952697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadedTestAlloc, &x); 8962697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 8972697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadedTestFree, &x); 8982697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 8992697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadedTestUse, &x); 9002697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 9011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9032d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !defined(_WIN32) // FIXME: This should be a lit test. 9041e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedTest) { 9051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(ThreadedTestSpawn(), 9061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_PCRE_DOTALL 9071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "Thread T.*created" 9081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ".*Thread T.*created" 9091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ".*Thread T.*created"); 9101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9112d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 9121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 913b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryanyvoid *ThreadedTestFunc(void *unused) { 914b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany // Check if prctl(PR_SET_NAME) is supported. Return if not. 915b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany if (!TryToSetThreadName("TestFunc")) 916b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany return 0; 917716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany EXPECT_DEATH(ThreadedTestSpawn(), 918716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany ASAN_PCRE_DOTALL 919a390ece58317a25ef26866cef6753df4b06a3e65Kostya Serebryany "WRITE .*thread T. .UseThr." 920a390ece58317a25ef26866cef6753df4b06a3e65Kostya Serebryany ".*freed by thread T. .FreeThr. here:" 921a390ece58317a25ef26866cef6753df4b06a3e65Kostya Serebryany ".*previously allocated by thread T. .AllocThr. here:" 922b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany ".*Thread T. .UseThr. created by T.*TestFunc" 923b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany ".*Thread T. .FreeThr. created by T" 924b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany ".*Thread T. .AllocThr. created by T" 925716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany ""); 926b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany return 0; 927b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany} 928b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany 929b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya SerebryanyTEST(AddressSanitizer, ThreadNamesTest) { 930b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany // Run ThreadedTestFunc in a separate thread because it tries to set a 931b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany // thread name and we don't want to change the main thread's name. 932b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany pthread_t t; 933b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadedTestFunc, 0); 934b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany PTHREAD_JOIN(t, 0); 935716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany} 936716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany 9371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_NEEDS_SEGV 9381e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ShadowGapTest) { 9395af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany#if SANITIZER_WORDSIZE == 32 9401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *addr = (char*)0x22000000; 9411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else 9429277b1ff831ad4e3979e7a6203e838d6d62266c6Kostya Serebryany# if defined(__powerpc64__) 9439277b1ff831ad4e3979e7a6203e838d6d62266c6Kostya Serebryany char *addr = (char*)0x024000800000; 9449277b1ff831ad4e3979e7a6203e838d6d62266c6Kostya Serebryany# else 9451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *addr = (char*)0x0000100000080000; 9469277b1ff831ad4e3979e7a6203e838d6d62266c6Kostya Serebryany# endif 9471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 948ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany EXPECT_DEATH(*addr = 1, "AddressSanitizer: SEGV on unknown"); 9491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // ASAN_NEEDS_SEGV 9511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyextern "C" { 953938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void UseThenFreeThenUse() { 9541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *x = Ident((char*)malloc(8)); 9551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *x = 1; 9561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(x); 9571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *x = 2; 9581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9611e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UseThenFreeThenUseTest) { 9621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(UseThenFreeThenUse(), "freed by thread"); 9631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9651e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrDupTest) { 9661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(strdup(Ident("123"))); 9671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Currently we create and poison redzone at right of global variables. 9701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic char static110[110]; 9711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyconst char ConstGlob[7] = {1, 2, 3, 4, 5, 6, 7}; 9721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic const char StaticConstGlob[3] = {9, 8, 7}; 9731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9741e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GlobalTest) { 9751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char func_static15[15]; 9761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char fs1[10]; 9781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char fs2[10]; 9791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char fs3[10]; 9801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(0)] = 0; 9821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(1)] = 0; 9831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(2)] = 0; 9841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(3)] = 0; 9851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(4)] = 0; 9861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(glob5[Ident(5)] = 0, 9881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "0 bytes to the right of global variable.*glob5.* size 5"); 9891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(glob5[Ident(5+6)] = 0, 9901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "6 bytes to the right of global variable.*glob5.* size 5"); 9911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(static110); // avoid optimizations 9921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static110[Ident(0)] = 0; 9931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static110[Ident(109)] = 0; 9941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(static110[Ident(110)] = 0, 9951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "0 bytes to the right of global variable"); 9961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(static110[Ident(110+7)] = 0, 9971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "7 bytes to the right of global variable"); 9981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(func_static15); // avoid optimizations 10001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany func_static15[Ident(0)] = 0; 10011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(func_static15[Ident(15)] = 0, 10021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "0 bytes to the right of global variable"); 10031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(func_static15[Ident(15 + 9)] = 0, 10041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "9 bytes to the right of global variable"); 10051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(fs1); 10071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(fs2); 10081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(fs3); 10091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // We don't create left redzones, so this is not 100% guaranteed to fail. 10111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // But most likely will. 10121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(fs2[Ident(-1)] = 0, "is located.*of global variable"); 10131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(Ident(ConstGlob)[8]), 10151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located 1 bytes to the right of .*ConstGlob"); 10161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(Ident(StaticConstGlob)[5]), 10171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located 2 bytes to the right of .*StaticConstGlob"); 10181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // call stuff from another file. 10201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany GlobalsTest(0); 10211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10231e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GlobalStringConstTest) { 10241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static const char *zoo = "FOOBAR123"; 10251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const char *p = Ident(zoo); 10261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(p[15]), "is ascii string 'FOOBAR123'"); 10271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1029c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya SerebryanyTEST(AddressSanitizer, FileNameInGlobalReportTest) { 1030c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany static char zoo[10]; 1031c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany const char *p = Ident(zoo); 1032c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany // The file name should be present in the report. 10335a15541fc2bbe46a5ce0cd802b5c1055f2ffb14eKostya Serebryany EXPECT_DEATH(Ident(p[15]), "zoo.*asan_test."); 1034c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany} 1035c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany 10361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyint *ReturnsPointerToALocalObject() { 10371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a = 0; 10381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return Ident(&a); 10391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1041918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany#if ASAN_UAR == 1 10421e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LocalReferenceReturnTest) { 10431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *(*f)() = Ident(ReturnsPointerToALocalObject); 1044918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany int *p = f(); 1045918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany // Call 'f' a few more times, 'p' should still be poisoned. 1046918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany for (int i = 0; i < 32; i++) 1047918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany f(); 1048ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany EXPECT_DEATH(*p = 1, "AddressSanitizer: stack-use-after-return"); 1049918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany EXPECT_DEATH(*p = 1, "is located.*in frame .*ReturnsPointerToALocal"); 10501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1051918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany#endif 10521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate <int kSize> 1054938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void FuncWithStack() { 10551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char x[kSize]; 10561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(x)[0] = 0; 10571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(x)[kSize-1] = 0; 10581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void LotsOfStackReuse() { 10611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int LargeStack[10000]; 10621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(LargeStack)[0] = 0; 10631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 10000; i++) { 10641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 1>(); 10651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 2>(); 10661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 4>(); 10671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 8>(); 10681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 16>(); 10691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 32>(); 10701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 64>(); 10711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 128>(); 10721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 256>(); 10731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 512>(); 10741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(LargeStack)[0] = 0; 10751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 10761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10781e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StressStackReuseTest) { 10791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LotsOfStackReuse(); 10801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10821e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedStressStackReuseTest) { 10831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kNumThreads = 20; 10841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t[kNumThreads]; 10851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < kNumThreads; i++) { 10862697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t[i], 0, (void* (*)(void *x))LotsOfStackReuse, 0); 10871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 10881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < kNumThreads; i++) { 10892697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t[i], 0); 10901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 10911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1093f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryanystatic void *PthreadExit(void *a) { 1094f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany pthread_exit(0); 10957b7b55e99166511ce1e66bf6b79c46ae4aa60d17Evgeniy Stepanov return 0; 1096f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany} 1097f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany 1098f58f998066db0231e521169d2f50af439ceecb49Kostya SerebryanyTEST(AddressSanitizer, PthreadExitTest) { 1099f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany pthread_t t; 1100f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany for (int i = 0; i < 1000; i++) { 11012697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, PthreadExit, 0); 11022697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 1103f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany } 1104f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany} 1105f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany 11062d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// FIXME: Why does clang-cl define __EXCEPTIONS? 11072d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if defined(__EXCEPTIONS) && !defined(_WIN32) 1108938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void StackReuseAndException() { 11091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int large_stack[1000]; 11101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(large_stack); 11111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_THROW(1); 11121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(kcc): support exceptions with use-after-return. 11151e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_StressStackReuseAndExceptionsTest) { 11161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 10000; i++) { 11171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany try { 11181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StackReuseAndException(); 11191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } catch(...) { 11201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 11211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 11221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 11241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11252d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !defined(_WIN32) 11261e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MlockTest) { 11271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, mlockall(MCL_CURRENT)); 11281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, mlock((void*)0x12345, 0x5678)); 11291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, munlockall()); 11301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, munlock((void*)0x987, 0x654)); 11311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11322d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 11331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1134c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryanystruct LargeStruct { 1135c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany int foo[100]; 1136c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany}; 1137c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany 1138c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany// Test for bug http://llvm.org/bugs/show_bug.cgi?id=11763. 1139c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany// Struct copy should not cause asan warning even if lhs == rhs. 1140c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya SerebryanyTEST(AddressSanitizer, LargeStructCopyTest) { 1141c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany LargeStruct a; 1142c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany *Ident(&a) = *Ident(&a); 1143c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany} 1144c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany 1145f7f2e431263cc0aa321218ce8978b289187a39a3Alexey SamsonovATTRIBUTE_NO_SANITIZE_ADDRESS 1146f7f2e431263cc0aa321218ce8978b289187a39a3Alexey Samsonovstatic void NoSanitizeAddress() { 11473be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany char *foo = new char[10]; 11483be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany Ident(foo)[10] = 0; 11493be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany delete [] foo; 11503be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany} 11513be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany 1152f7f2e431263cc0aa321218ce8978b289187a39a3Alexey SamsonovTEST(AddressSanitizer, AttributeNoSanitizeAddressTest) { 1153f7f2e431263cc0aa321218ce8978b289187a39a3Alexey Samsonov Ident(NoSanitizeAddress)(); 11543be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany} 11553be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany 11562d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// The new/delete/etc mismatch checks don't work on Android, 11572d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// as calls to new/delete go through malloc/free. 11582d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// OS X support is tracked here: 11593d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainar// https://github.com/google/sanitizers/issues/131 11602d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// Windows support is tracked here: 11613d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainar// https://github.com/google/sanitizers/issues/309 1162b625a87696a619962e3b62804b0b42d8d6f31f29Dan Albert#if !defined(__ANDROID__) && \ 11632d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines !defined(__APPLE__) && \ 11642d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines !defined(_WIN32) 1165fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryanystatic string MismatchStr(const string &str) { 1166fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany return string("AddressSanitizer: alloc-dealloc-mismatch \\(") + str; 1167fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany} 1168fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany 11698f0e311767b783db4a15139dddfe7a924fa3724eAlexey SamsonovTEST(AddressSanitizer, AllocDeallocMismatch) { 1170fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(free(Ident(new int)), 1171fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("operator new vs free")); 1172fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(free(Ident(new int[2])), 1173fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("operator new \\[\\] vs free")); 1174fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(delete (Ident(new int[2])), 1175fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("operator new \\[\\] vs operator delete")); 1176fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(delete (Ident((int*)malloc(2 * sizeof(int)))), 1177fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("malloc vs operator delete")); 1178fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(delete [] (Ident(new int)), 1179fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("operator new vs operator delete \\[\\]")); 1180fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(delete [] (Ident((int*)malloc(2 * sizeof(int)))), 1181fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("malloc vs operator delete \\[\\]")); 1182fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany} 118329e09223b9d4f53f1be528d6a572b66034c26611Alexey Samsonov#endif 1184fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany 11851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// ------------------ demo tests; run each one-by-one ------------- 11861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// e.g. --gtest_filter=*DemoOOBLeftHigh --gtest_also_run_disabled_tests 11871e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoThreadedTest) { 11881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ThreadedTestSpawn(); 11891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *SimpleBugOnSTack(void *x = 0) { 11921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char a[20]; 11931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[20] = 0; 11941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 11951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11971e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoStackTest) { 11981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SimpleBugOnSTack(); 11991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12011e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoThreadStackTest) { 12021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t; 12032697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, SimpleBugOnSTack, 0); 12042697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 12051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12071e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowIn) { 12081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(10, 0); 12091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12101e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowLeft) { 12111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(10, -2); 12121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12131e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowRight) { 12141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(10, 10); 12151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12171e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFHigh) { 12181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(kLargeMalloc, 0); 12191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12211e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOM) { 12225af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany size_t size = SANITIZER_WORDSIZE == 64 ? (size_t)(1ULL << 40) : (0xf0000000); 12231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany printf("%p\n", malloc(size)); 12241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12261e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoDoubleFreeTest) { 12271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany DoubleFree(); 12281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12301e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoNullDerefTest) { 12311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = 0; 12321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[10] = 0; 12331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12351e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoFunctionStaticTest) { 12361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char a[100]; 12371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char b[100]; 12381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char c[100]; 12391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a); 12401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(b); 12411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(c); 12421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[5] = 0; 12431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(b)[105] = 0; 12441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[5] = 0; 12451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12471e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoTooMuchMemoryTest) { 12481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const size_t kAllocSize = (1 << 28) - 1024; 12491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t total_size = 0; 12501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany while (true) { 12517c9150579ed0278492f51cc8434b1d63a44b9bd1Pirama Arumuga Nainar void *x = malloc(kAllocSize); 12521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(x, 0, kAllocSize); 12531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany total_size += kAllocSize; 12540aa04b3f432bc55e7c116d5280685ee3f243be8eKostya Serebryany fprintf(stderr, "total: %ldM %p\n", (long)total_size >> 20, x); 12551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 12561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12583d763c0d3700e73b3aead8e65e04ec28efc56138Pirama Arumuga Nainar// https://github.com/google/sanitizers/issues/66 12590796393f2088e3b75c4110934451160eeb037fabKostya SerebryanyTEST(AddressSanitizer, BufferOverflowAfterManyFrees) { 12604eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany for (int i = 0; i < 1000000; i++) { 12614eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany delete [] (Ident(new char [8644])); 12624eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany } 12634eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany char *x = new char[8192]; 1264ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany EXPECT_DEATH(x[Ident(8192)] = 0, "AddressSanitizer: heap-buffer-overflow"); 12654eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany delete [] Ident(x); 12664eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany} 12674eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany 12681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12695b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov// Test that instrumentation of stack allocations takes into account 12705b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov// AllocSize of a type, and not its StoreSize (16 vs 10 bytes for long double). 12715b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov// See http://llvm.org/bugs/show_bug.cgi?id=12047 for more details. 12725b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy StepanovTEST(AddressSanitizer, LongDoubleNegativeTest) { 12735b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov long double a, b; 12749b90e95d4dc59c6d97ed73b2470f5e21e7b346d5Kostya Serebryany static long double c; 12755b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov memcpy(Ident(&a), Ident(&b), sizeof(long double)); 12769b90e95d4dc59c6d97ed73b2470f5e21e7b346d5Kostya Serebryany memcpy(Ident(&c), Ident(&b), sizeof(long double)); 127776e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov} 127856d3472104dd9fec6578e02f4895f3254e038e8eEvgeniy Stepanov 12792d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#if !defined(_WIN32) 128056d3472104dd9fec6578e02f4895f3254e038e8eEvgeniy StepanovTEST(AddressSanitizer, pthread_getschedparam) { 128156d3472104dd9fec6578e02f4895f3254e038e8eEvgeniy Stepanov int policy; 128256d3472104dd9fec6578e02f4895f3254e038e8eEvgeniy Stepanov struct sched_param param; 128330e970f769ccf11e61e472c6f8b22f8e866c592fKostya Serebryany EXPECT_DEATH( 128430e970f769ccf11e61e472c6f8b22f8e866c592fKostya Serebryany pthread_getschedparam(pthread_self(), &policy, Ident(¶m) + 2), 1285722f2e6a6125a0d5c9d453278b0f292e3410124dAlexey Samsonov "AddressSanitizer: stack-buffer-.*flow"); 128630e970f769ccf11e61e472c6f8b22f8e866c592fKostya Serebryany EXPECT_DEATH( 128730e970f769ccf11e61e472c6f8b22f8e866c592fKostya Serebryany pthread_getschedparam(pthread_self(), Ident(&policy) - 1, ¶m), 1288722f2e6a6125a0d5c9d453278b0f292e3410124dAlexey Samsonov "AddressSanitizer: stack-buffer-.*flow"); 128956d3472104dd9fec6578e02f4895f3254e038e8eEvgeniy Stepanov int res = pthread_getschedparam(pthread_self(), &policy, ¶m); 129056d3472104dd9fec6578e02f4895f3254e038e8eEvgeniy Stepanov ASSERT_EQ(0, res); 129156d3472104dd9fec6578e02f4895f3254e038e8eEvgeniy Stepanov} 12922d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 129386277eb844c4983c81de62d7c050e92fe7155788Stephen Hines 129486277eb844c4983c81de62d7c050e92fe7155788Stephen Hines#if SANITIZER_TEST_HAS_PRINTF_L 129586277eb844c4983c81de62d7c050e92fe7155788Stephen Hinesstatic int vsnprintf_l_wrapper(char *s, size_t n, 129686277eb844c4983c81de62d7c050e92fe7155788Stephen Hines locale_t l, const char *format, ...) { 129786277eb844c4983c81de62d7c050e92fe7155788Stephen Hines va_list va; 129886277eb844c4983c81de62d7c050e92fe7155788Stephen Hines va_start(va, format); 129986277eb844c4983c81de62d7c050e92fe7155788Stephen Hines int res = vsnprintf_l(s, n , l, format, va); 130086277eb844c4983c81de62d7c050e92fe7155788Stephen Hines va_end(va); 130186277eb844c4983c81de62d7c050e92fe7155788Stephen Hines return res; 130286277eb844c4983c81de62d7c050e92fe7155788Stephen Hines} 130386277eb844c4983c81de62d7c050e92fe7155788Stephen Hines 130486277eb844c4983c81de62d7c050e92fe7155788Stephen HinesTEST(AddressSanitizer, snprintf_l) { 130586277eb844c4983c81de62d7c050e92fe7155788Stephen Hines char buff[5]; 130686277eb844c4983c81de62d7c050e92fe7155788Stephen Hines // Check that snprintf_l() works fine with Asan. 130786277eb844c4983c81de62d7c050e92fe7155788Stephen Hines int res = snprintf_l(buff, 5, 130886277eb844c4983c81de62d7c050e92fe7155788Stephen Hines _LIBCPP_GET_C_LOCALE, "%s", "snprintf_l()"); 130986277eb844c4983c81de62d7c050e92fe7155788Stephen Hines EXPECT_EQ(12, res); 131086277eb844c4983c81de62d7c050e92fe7155788Stephen Hines // Check that vsnprintf_l() works fine with Asan. 131186277eb844c4983c81de62d7c050e92fe7155788Stephen Hines res = vsnprintf_l_wrapper(buff, 5, 131286277eb844c4983c81de62d7c050e92fe7155788Stephen Hines _LIBCPP_GET_C_LOCALE, "%s", "vsnprintf_l()"); 131386277eb844c4983c81de62d7c050e92fe7155788Stephen Hines EXPECT_EQ(13, res); 131486277eb844c4983c81de62d7c050e92fe7155788Stephen Hines 131586277eb844c4983c81de62d7c050e92fe7155788Stephen Hines EXPECT_DEATH(snprintf_l(buff, 10, 131686277eb844c4983c81de62d7c050e92fe7155788Stephen Hines _LIBCPP_GET_C_LOCALE, "%s", "snprintf_l()"), 131786277eb844c4983c81de62d7c050e92fe7155788Stephen Hines "AddressSanitizer: stack-buffer-overflow"); 131886277eb844c4983c81de62d7c050e92fe7155788Stephen Hines EXPECT_DEATH(vsnprintf_l_wrapper(buff, 10, 131986277eb844c4983c81de62d7c050e92fe7155788Stephen Hines _LIBCPP_GET_C_LOCALE, "%s", "vsnprintf_l()"), 132086277eb844c4983c81de62d7c050e92fe7155788Stephen Hines "AddressSanitizer: stack-buffer-overflow"); 132186277eb844c4983c81de62d7c050e92fe7155788Stephen Hines} 132286277eb844c4983c81de62d7c050e92fe7155788Stephen Hines#endif 1323