asan_test.cc revision 6cbfae439b81221d2250ffe0331958f130259755
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 281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__ 29938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_fff(size_t alignment, size_t size) { 301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign/**/(alignment, size); break_optimization(0); return res;} 31938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_eee(size_t alignment, size_t size) { 321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign_fff(alignment, size); break_optimization(0); return res;} 33938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_ddd(size_t alignment, size_t size) { 341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign_eee(alignment, size); break_optimization(0); return res;} 35938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_ccc(size_t alignment, size_t size) { 361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign_ddd(alignment, size); break_optimization(0); return res;} 37938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_bbb(size_t alignment, size_t size) { 381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign_ccc(alignment, size); break_optimization(0); return res;} 39938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_aaa(size_t alignment, size_t size) { 401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign_bbb(alignment, size); break_optimization(0); return res;} 411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // __APPLE__ 421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 44938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void free_ccc(void *p) { free(p); break_optimization(0);} 45938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void free_bbb(void *p) { free_ccc(p); break_optimization(0);} 46938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void free_aaa(void *p) { free_bbb(p); break_optimization(0);} 471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 492dcf44991a8ec1ca7c8051eb27c5ff158530bdc3Timur Iskhodzhanovtemplate<typename T> 50938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void uaf_test(int size, int off) { 511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *p = (char *)malloc_aaa(size); 521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(p); 531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 1; i < 100; i++) 541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(malloc_aaa(i)); 551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany fprintf(stderr, "writing %ld byte(s) at %p with offset %d\n", 561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany (long)sizeof(T), p, off); 571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany asan_write((T*)(p + off)); 581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6013ebae606b526399771e9cca1d6a9d24458ad0f1Kostya SerebryanyTEST(AddressSanitizer, HasFeatureAddressSanitizerTest) { 6113ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany#if defined(__has_feature) && __has_feature(address_sanitizer) 6213ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany bool asan = 1; 63badab16503e025326a46a45da8faa6fd20e5fc3dKostya Serebryany#elif defined(__SANITIZE_ADDRESS__) 64badab16503e025326a46a45da8faa6fd20e5fc3dKostya Serebryany bool asan = 1; 6513ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany#else 6613ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany bool asan = 0; 6713ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany#endif 6813ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany EXPECT_EQ(true, asan); 691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 711e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SimpleDeathTest) { 721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(exit(1), ""); 731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 751e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, VariousMallocsTest) { 761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = (int*)malloc(100 * sizeof(int)); 771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a[50] = 0; 781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *r = (int*)malloc(10); 811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany r = (int*)realloc(r, 2000 * sizeof(int)); 821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany r[1000] = 0; 831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(r); 841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *b = new int[100]; 861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany b[50] = 0; 871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete [] b; 881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *c = new int; 901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *c = 0; 911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete c; 921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 93e0e9eea99d7a81a15c4bb15ff2e5ebd92b50817bEvgeniy Stepanov#if !defined(__APPLE__) && !defined(ANDROID) && !defined(__ANDROID__) 941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *pm; 951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int pm_res = posix_memalign((void**)&pm, kPageSize, kPageSize); 961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, pm_res); 971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(pm); 987274eafceb832e1088f30b71652992787ba8c456Evgeniy Stepanov#endif 991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1004dd8ba8238b1b698953628affe6e5b2edf3b3e3fAlexey Samsonov#if !defined(__APPLE__) 1011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *ma = (int*)memalign(kPageSize, kPageSize); 10276e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, (uintptr_t)ma % kPageSize); 1031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ma[123] = 0; 1041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(ma); 1051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // __APPLE__ 1061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1081e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, CallocTest) { 1091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = (int*)calloc(100, sizeof(int)); 1101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, a[10]); 1111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 1121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1141e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, VallocTest) { 1151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *a = valloc(100); 11676e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, (uintptr_t)a % kPageSize); 1171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 1181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__ 1211e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, PvallocTest) { 1221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *a = (char*)pvalloc(kPageSize + 100); 12376e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, (uintptr_t)a % kPageSize); 1241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a[kPageSize + 101] = 1; // we should not report an error here. 1251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 1261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a = (char*)pvalloc(0); // pvalloc(0) should allocate at least one page. 12876e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, (uintptr_t)a % kPageSize); 1291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a[101] = 1; // we should not report an error here. 1301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 1311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // __APPLE__ 1331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *TSDWorker(void *test_key) { 1351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (test_key) { 1361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_setspecific(*(pthread_key_t*)test_key, (void*)0xfeedface); 1371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 1381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return NULL; 1391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid TSDDestructor(void *tsd) { 1421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Spawning a thread will check that the current thread id is not -1. 1431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t th; 1442697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&th, NULL, TSDWorker, NULL); 1452697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(th, NULL); 1461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This tests triggers the thread-specific data destruction fiasco which occurs 1491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// if we don't manage the TSD destructors ourselves. We create a new pthread 1501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// key with a non-NULL destructor which is likely to be put after the destructor 1511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// of AsanThread in the list of destructors. 1521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// In this case the TSD for AsanThread will be destroyed before TSDDestructor 1531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// is called for the child thread, and a CHECK will fail when we call 1541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// pthread_create() to spawn the grandchild. 1551e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_TSDTest) { 1561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t th; 1571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_t test_key; 1581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_create(&test_key, TSDDestructor); 1592697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&th, NULL, TSDWorker, &test_key); 1602697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(th, NULL); 1611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_delete(test_key); 1621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1641e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UAF_char) { 165ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany const char *uaf_string = "AddressSanitizer:.*heap-use-after-free"; 1661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(1, 0), uaf_string); 1671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(10, 0), uaf_string); 1681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(10, 10), uaf_string); 1691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(kLargeMalloc, 0), uaf_string); 1701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(kLargeMalloc, kLargeMalloc / 2), uaf_string); 1711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_HAS_BLACKLIST 1741e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, IgnoreTest) { 1751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = Ident(new int); 1761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete Ident(x); 1771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *x = 0; 1781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // ASAN_HAS_BLACKLIST 1801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystruct StructWithBitField { 1821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf1:1; 1831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf2:1; 1841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf3:1; 1851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf4:29; 1861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}; 1871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1881e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, BitFieldPositiveTest) { 1891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StructWithBitField *x = new StructWithBitField; 1901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete Ident(x); 1911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf1 = 0, "use-after-free"); 1921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf2 = 0, "use-after-free"); 1931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf3 = 0, "use-after-free"); 1941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf4 = 0, "use-after-free"); 19576e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov} 1961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystruct StructWithBitFields_8_24 { 1981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a:8; 1991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b:24; 2001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}; 2011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2021e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, BitFieldNegativeTest) { 2031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StructWithBitFields_8_24 *x = Ident(new StructWithBitFields_8_24); 2041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x->a = 0; 2051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x->b = 0; 2061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete Ident(x); 2071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2091e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, OutOfMemoryTest) { 2105af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany size_t size = SANITIZER_WORDSIZE == 64 ? (size_t)(1ULL << 48) : (0xf0000000); 2111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, realloc(0, size)); 2121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, realloc(0, ~Ident(0))); 2131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, malloc(size)); 2141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, malloc(~Ident(0))); 2151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, calloc(1, size)); 2161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, calloc(1, ~Ident(0))); 2171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_NEEDS_SEGV 22058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenkonamespace { 22158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko 222ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryanyconst char kUnknownCrash[] = "AddressSanitizer: SEGV on unknown address"; 22358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenkoconst char kOverriddenHandler[] = "ASan signal handler has been overridden\n"; 22458b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko 2251e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, WildAddressTest) { 2261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *c = (char*)0x123; 22758b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko EXPECT_DEATH(*c = 0, kUnknownCrash); 22858b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko} 22958b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko 23058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenkovoid my_sigaction_sighandler(int, siginfo_t*, void*) { 23158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko fprintf(stderr, kOverriddenHandler); 23258b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko exit(1); 23358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko} 23458b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko 235b0ddf227b25388ad836e560c00f0aec84026b0e5Alexey Samsonovvoid my_signal_sighandler(int signum) { 23658b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko fprintf(stderr, kOverriddenHandler); 23758b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko exit(1); 23858b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko} 23958b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko 24058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander PotapenkoTEST(AddressSanitizer, SignalTest) { 24158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko struct sigaction sigact; 24258b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko memset(&sigact, 0, sizeof(sigact)); 24358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko sigact.sa_sigaction = my_sigaction_sighandler; 24458b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko sigact.sa_flags = SA_SIGINFO; 24558b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko // ASan should silently ignore sigaction()... 24658b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko EXPECT_EQ(0, sigaction(SIGSEGV, &sigact, 0)); 24758b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko#ifdef __APPLE__ 24858b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko EXPECT_EQ(0, sigaction(SIGBUS, &sigact, 0)); 24958b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko#endif 25058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko char *c = (char*)0x123; 25158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko EXPECT_DEATH(*c = 0, kUnknownCrash); 25258b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko // ... and signal(). 25358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko EXPECT_EQ(0, signal(SIGSEGV, my_signal_sighandler)); 25458b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko EXPECT_DEATH(*c = 0, kUnknownCrash); 25558b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko} 256b0ddf227b25388ad836e560c00f0aec84026b0e5Alexey Samsonov} // namespace 2571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 2581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void MallocStress(size_t n) { 26048ddbef1d051875b2d0b204e8d78300b58d80a85Evgeniy Stepanov uint32_t seed = my_rand(); 2611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t iter = 0; iter < 10; iter++) { 2621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany vector<void *> vec; 2631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < n; i++) { 2641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if ((i % 3) == 0) { 2651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (vec.empty()) continue; 26648ddbef1d051875b2d0b204e8d78300b58d80a85Evgeniy Stepanov size_t idx = my_rand_r(&seed) % vec.size(); 2671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *ptr = vec[idx]; 2681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany vec[idx] = vec.back(); 2691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany vec.pop_back(); 2701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(ptr); 2711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 27248ddbef1d051875b2d0b204e8d78300b58d80a85Evgeniy Stepanov size_t size = my_rand_r(&seed) % 1000 + 1; 2731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__ 27448ddbef1d051875b2d0b204e8d78300b58d80a85Evgeniy Stepanov size_t alignment = 1 << (my_rand_r(&seed) % 7 + 3); 2751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *ptr = (char*)memalign_aaa(alignment, size); 2761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else 2771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *ptr = (char*) malloc_aaa(size); 2781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 2791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany vec.push_back(ptr); 2801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr[0] = 0; 2811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr[size-1] = 0; 2821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr[size/2] = 0; 2831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 2841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 2851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < vec.size(); i++) 2861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(vec[i]); 2871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 2881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2901e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MallocStressTest) { 2918ae44ac678644265ba82a1b5696a402c9301a85cEvgeniy Stepanov MallocStress((ASAN_LOW_MEMORY) ? 20000 : 200000); 2921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void TestLargeMalloc(size_t size) { 2951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char buff[1024]; 2961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sprintf(buff, "is located 1 bytes to the left of %lu-byte", (long)size); 2971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident((char*)malloc(size))[-1] = 0, buff); 2981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3001e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LargeMallocTest) { 3011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 113; i < (1 << 28); i = i * 2 + 13) { 3021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TestLargeMalloc(i); 3031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 306788e1d704436065beb514fdde86070f61d0394edEvgeniy Stepanov#if ASAN_LOW_MEMORY != 1 3071e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, HugeMallocTest) { 3081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __APPLE__ 3091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // It was empirically found out that 1215 megabytes is the maximum amount of 310e4d141dbbaf5185f332a185c22308340657d243eKostya Serebryany // memory available to the process under AddressSanitizer on 32-bit Mac 10.6. 311e4d141dbbaf5185f332a185c22308340657d243eKostya Serebryany // 32-bit Mac 10.7 gives even less (< 1G). 3121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // (the libSystem malloc() allows allocating up to 2300 megabytes without 3131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // ASan). 3145af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany size_t n_megs = SANITIZER_WORDSIZE == 32 ? 500 : 4100; 3151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else 3165af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany size_t n_megs = SANITIZER_WORDSIZE == 32 ? 2600 : 4100; 3171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 3181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TestLargeMalloc(n_megs << 20); 3191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 320788e1d704436065beb514fdde86070f61d0394edEvgeniy Stepanov#endif 3211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 322c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany#ifndef __APPLE__ 323c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryanyvoid MemalignRun(size_t align, size_t size, int idx) { 324c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany char *p = (char *)memalign(align, size); 325c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany Ident(p)[idx] = 0; 326c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany free(p); 327c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany} 328c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany 329c311105fd64219bb96b6467c3707ebda355be87bKostya SerebryanyTEST(AddressSanitizer, memalign) { 330c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany for (int align = 16; align <= (1 << 23); align *= 2) { 331c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany size_t size = align * 5; 332c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany EXPECT_DEATH(MemalignRun(align, size, -1), 333c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany "is located 1 bytes to the left"); 334c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany EXPECT_DEATH(MemalignRun(align, size, size + 1), 335c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany "is located 1 bytes to the right"); 336c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany } 337c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany} 338c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany#endif 339c311105fd64219bb96b6467c3707ebda355be87bKostya Serebryany 3401e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedMallocStressTest) { 3411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kNumThreads = 4; 3428ae44ac678644265ba82a1b5696a402c9301a85cEvgeniy Stepanov const int kNumIterations = (ASAN_LOW_MEMORY) ? 10000 : 100000; 3431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t[kNumThreads]; 3441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < kNumThreads; i++) { 3452697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t[i], 0, (void* (*)(void *x))MallocStress, 3468ae44ac678644265ba82a1b5696a402c9301a85cEvgeniy Stepanov (void*)kNumIterations); 3471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < kNumThreads; i++) { 3492697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t[i], 0); 3501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ManyThreadsWorker(void *a) { 3541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int iter = 0; iter < 100; iter++) { 3551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t size = 100; size < 2000; size *= 2) { 3561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(Ident(malloc(size))); 3571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 3601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3621e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ManyThreadsTest) { 3632697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany const size_t kNumThreads = 3642697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany (SANITIZER_WORDSIZE == 32 || ASAN_AVOID_EXPENSIVE_TESTS) ? 30 : 1000; 3651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t[kNumThreads]; 3661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < kNumThreads; i++) { 3672697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t[i], 0, ManyThreadsWorker, (void*)i); 3681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < kNumThreads; i++) { 3702697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t[i], 0); 3711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3741e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ReallocTest) { 3751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kMinElem = 5; 3761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *ptr = (int*)malloc(sizeof(int) * kMinElem); 3771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr[3] = 3; 3781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 10000; i++) { 3791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr = (int*)realloc(ptr, 38048ddbef1d051875b2d0b204e8d78300b58d80a85Evgeniy Stepanov (my_rand() % 1000 + kMinElem) * sizeof(int)); 3811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(3, ptr[3]); 3821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3854fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov#ifndef __APPLE__ 3864fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonovstatic const char *kMallocUsableSizeErrorMsg = 387ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany "AddressSanitizer: attempting to call malloc_usable_size()"; 3884fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov 3894fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey SamsonovTEST(AddressSanitizer, MallocUsableSizeTest) { 3904fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov const size_t kArraySize = 100; 3914fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov char *array = Ident((char*)malloc(kArraySize)); 3924fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov int *int_ptr = Ident(new int); 39376e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, malloc_usable_size(NULL)); 3944fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov EXPECT_EQ(kArraySize, malloc_usable_size(array)); 3954fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov EXPECT_EQ(sizeof(int), malloc_usable_size(int_ptr)); 3964fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov EXPECT_DEATH(malloc_usable_size((void*)0x123), kMallocUsableSizeErrorMsg); 3974fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov EXPECT_DEATH(malloc_usable_size(array + kArraySize / 2), 3984fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov kMallocUsableSizeErrorMsg); 3994fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov free(array); 4004fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov EXPECT_DEATH(malloc_usable_size(array), kMallocUsableSizeErrorMsg); 4014fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov} 4024fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov#endif 4034fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov 4041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid WrongFree() { 4051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = (int*)malloc(100 * sizeof(int)); 4061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Use the allocated memory, otherwise Clang will optimize it out. 4071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(x); 4081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(x + 1); 4091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4111e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, WrongFreeTest) { 412c16201337a4bb974093ff75aa45682739a331d05Kostya Serebryany EXPECT_DEATH(WrongFree(), 413ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany "ERROR: AddressSanitizer: attempting free.*not malloc"); 4141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid DoubleFree() { 4171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = (int*)malloc(100 * sizeof(int)); 4181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany fprintf(stderr, "DoubleFree: x=%p\n", x); 4191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(x); 4201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(x); 4211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany fprintf(stderr, "should have failed in the second free(%p)\n", x); 4221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany abort(); 4231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4251e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DoubleFreeTest) { 42627f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany EXPECT_DEATH(DoubleFree(), ASAN_PCRE_DOTALL 427ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany "ERROR: AddressSanitizer: attempting double-free" 42827f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany ".*is located 0 bytes inside of 400-byte region" 42927f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany ".*freed by thread T0 here" 43027f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany ".*previously allocated by thread T0 here"); 4311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate<int kSize> 434938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void SizedStackTest() { 4351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char a[kSize]; 4361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *A = Ident((char*)&a); 4371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < kSize; i++) 4381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany A[i] = i; 4391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[-1] = 0, ""); 4401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[-20] = 0, ""); 4411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[-31] = 0, ""); 4421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[kSize] = 0, ""); 4431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[kSize + 1] = 0, ""); 4441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[kSize + 10] = 0, ""); 4451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[kSize + 31] = 0, ""); 4461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4481e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SimpleStackTest) { 4491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<1>(); 4501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<2>(); 4511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<3>(); 4521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<4>(); 4531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<5>(); 4541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<6>(); 4551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<7>(); 4561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<16>(); 4571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<25>(); 4581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<34>(); 4591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<43>(); 4601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<51>(); 4611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<62>(); 4621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<64>(); 4631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<128>(); 4641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4661e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ManyStackObjectsTest) { 4671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char XXX[10]; 4681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char YYY[20]; 4691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char ZZZ[30]; 4701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(XXX); 4711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(YYY); 4721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(ZZZ)[-1] = 0, ASAN_PCRE_DOTALL "XXX.*YYY.*ZZZ"); 4731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 475938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame0(int frame, char *a, char *b, char *c) { 4761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char d[4] = {0}; 4771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *D = Ident(d); 4781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany switch (frame) { 4791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 3: a[5]++; break; 4801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 2: b[5]++; break; 4811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 1: c[5]++; break; 4821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 0: D[5]++; break; 4831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 485938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame1(int frame, char *a, char *b) { 4861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char c[4] = {0}; Frame0(frame, a, b, c); 4871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany break_optimization(0); 4881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 489938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame2(int frame, char *a) { 4901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char b[4] = {0}; Frame1(frame, a, b); 4911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany break_optimization(0); 4921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 493938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame3(int frame) { 4941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char a[4] = {0}; Frame2(frame, a); 4951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany break_optimization(0); 4961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4981e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame0Test) { 4991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(0), "located .*in frame <.*Frame0"); 5001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5011e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame1Test) { 5021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(1), "located .*in frame <.*Frame1"); 5031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5041e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame2Test) { 5051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(2), "located .*in frame <.*Frame2"); 5061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5071e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame3Test) { 5081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(3), "located .*in frame <.*Frame3"); 5091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 511938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void LongJmpFunc1(jmp_buf buf) { 5121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 5131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 5141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 5151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 5171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 5181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 5191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany longjmp(buf, 1); 5201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 522d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya SerebryanyNOINLINE void BuiltinLongJmpFunc1(jmp_buf buf) { 523d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany // create three red zones for these two stack objects. 524d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany int a; 525d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany int b; 526d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany 527d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany int *A = Ident(&a); 528d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany int *B = Ident(&b); 529d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany *A = *B; 530d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany __builtin_longjmp((void**)buf, 1); 531d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany} 532d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany 533938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void UnderscopeLongJmpFunc1(jmp_buf buf) { 5341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 5351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 5361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 5371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 5391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 5401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 5411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany _longjmp(buf, 1); 5421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 544938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void SigLongJmpFunc1(sigjmp_buf buf) { 5451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 5461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 5471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 5481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 5501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 5511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 5521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany siglongjmp(buf, 1); 5531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 556938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void TouchStackFunc() { 5571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a[100]; // long array will intersect with redzones from LongJmpFunc1. 5581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(a); 5591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 100; i++) 5601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany A[i] = i*i; 5611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Test that we handle longjmp and do not report fals positives on stack. 5641e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LongJmpTest) { 5651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static jmp_buf buf; 5661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (!setjmp(buf)) { 5671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LongJmpFunc1(buf); 5681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 5691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 5701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 573b989143d0be56496e8d5fcf75969af35a058792aKostya Serebryany#if not defined(__ANDROID__) 574c3a5c173f228cbb15e332e6bbc17c76ebd55d7a8Kostya SerebryanyTEST(AddressSanitizer, BuiltinLongJmpTest) { 575d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany static jmp_buf buf; 576c3a5c173f228cbb15e332e6bbc17c76ebd55d7a8Kostya Serebryany if (!__builtin_setjmp((void**)buf)) { 577d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany BuiltinLongJmpFunc1(buf); 578d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany } else { 579d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany TouchStackFunc(); 580d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany } 581d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany} 582b989143d0be56496e8d5fcf75969af35a058792aKostya Serebryany#endif // not defined(__ANDROID__) 583d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany 5841e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UnderscopeLongJmpTest) { 5851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static jmp_buf buf; 5861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (!_setjmp(buf)) { 5871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany UnderscopeLongJmpFunc1(buf); 5881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 5891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 5901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5931e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SigLongJmpTest) { 5941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static sigjmp_buf buf; 5951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (!sigsetjmp(buf, 1)) { 5961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SigLongJmpFunc1(buf); 5971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 5981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 5991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 6001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __EXCEPTIONS 603938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void ThrowFunc() { 6041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 6051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 6061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 6071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 6091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 6101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 6111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_THROW(1); 6121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6141e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, CxxExceptionTest) { 6151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (ASAN_UAR) return; 6161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // TODO(kcc): this test crashes on 32-bit for some reason... 6175af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany if (SANITIZER_WORDSIZE == 32) return; 6181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany try { 6191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ThrowFunc(); 6201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } catch(...) {} 6211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 6221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 6241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadStackReuseFunc1(void *unused) { 6261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 6271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 6281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 6291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 6311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 6321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 6331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_exit(0); 6341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 6351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadStackReuseFunc2(void *unused) { 6381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 6391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 6401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6421e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadStackReuseTest) { 6431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t; 6442697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadStackReuseFunc1, 0); 6452697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 6462697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadStackReuseFunc2, 0); 6472697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 6481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 650f6607d097833cd53460735c1a5a2fd52b97613ebTimur Iskhodzhanov#if defined(__i386__) || defined(__x86_64__) 6511e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, Store128Test) { 6521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *a = Ident((char*)malloc(Ident(12))); 6531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *p = a; 6541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (((uintptr_t)a % 16) != 0) 6551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany p = a + 8; 6561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany assert(((uintptr_t)p % 16) == 0); 6571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany __m128i value_wide = _mm_set1_epi16(0x1234); 6581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide), 659ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany "AddressSanitizer: heap-buffer-overflow"); 660acd5c617b219e0f059620c2a3928d2cc821d4534Kostya Serebryany EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide), 6611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "WRITE of size 16"); 6621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide), 6631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "located 0 bytes to the right of 12-byte"); 6641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 6651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 6671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6686cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring RightOOBErrorMessage(int oob_distance, bool is_write) { 6691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany assert(oob_distance >= 0); 6701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_str[100]; 6710b770b48e4ae053a7d0610e1c682405afba58fdaKostya Serebryany sprintf(expected_str, ASAN_PCRE_DOTALL "%s.*located %d bytes to the right", 672ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko is_write ? "WRITE" : "READ", oob_distance); 6731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return string(expected_str); 6741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6766cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring RightOOBWriteMessage(int oob_distance) { 677ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko return RightOOBErrorMessage(oob_distance, /*is_write*/true); 678ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko} 679ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko 6806cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring RightOOBReadMessage(int oob_distance) { 681ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko return RightOOBErrorMessage(oob_distance, /*is_write*/false); 682ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko} 683ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko 6846cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring LeftOOBErrorMessage(int oob_distance, bool is_write) { 6851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany assert(oob_distance > 0); 6861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_str[100]; 6870b770b48e4ae053a7d0610e1c682405afba58fdaKostya Serebryany sprintf(expected_str, ASAN_PCRE_DOTALL "%s.*located %d bytes to the left", 688ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko is_write ? "WRITE" : "READ", oob_distance); 6891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return string(expected_str); 6901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6926cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring LeftOOBWriteMessage(int oob_distance) { 693ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko return LeftOOBErrorMessage(oob_distance, /*is_write*/true); 694ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko} 695ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko 6966cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring LeftOOBReadMessage(int oob_distance) { 697ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko return LeftOOBErrorMessage(oob_distance, /*is_write*/false); 698ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko} 699ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko 7006cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanystring LeftOOBAccessMessage(int oob_distance) { 701ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko assert(oob_distance > 0); 702ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko char expected_str[100]; 703ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko sprintf(expected_str, "located %d bytes to the left", oob_distance); 704ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko return string(expected_str); 705ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko} 706ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko 7071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Tests for string functions 7081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Used for string functions tests 7101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic char global_string[] = "global"; 7111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic size_t global_string_length = 6; 7121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Input to a test is a zero-terminated string str with given length 7141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Accesses to the bytes to the left and to the right of str 7151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// are presumed to produce OOB errors 7161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid StrLenOOBTestTemplate(char *str, size_t length, bool is_global) { 7171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Normal strlen calls 7181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(strlen(str), length); 7191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (length > 0) { 72076e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(length - 1, strlen(str + 1)); 72176e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov EXPECT_EQ(0U, strlen(str + length)); 7221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 7231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Arg of strlen is not malloced, OOB access 7241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (!is_global) { 7251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // We don't insert RedZones to the left of global variables 726ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strlen(str - 1)), LeftOOBReadMessage(1)); 727ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strlen(str - 5)), LeftOOBReadMessage(5)); 7281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 729ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strlen(str + length + 1)), RightOOBReadMessage(0)); 7301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite terminator 7311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[length] = 'a'; 7321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // String is not zero-terminated, strlen will lead to OOB access 733ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strlen(str)), RightOOBReadMessage(0)); 734ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strlen(str + length)), RightOOBReadMessage(0)); 7351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Restore terminator 7361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[length] = 0; 7371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7381e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrLenOOBTest) { 7391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Check heap-allocated string 7401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t length = Ident(10); 7411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *heap_string = Ident((char*)malloc(length + 1)); 7421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char stack_string[10 + 1]; 743badab16503e025326a46a45da8faa6fd20e5fc3dKostya Serebryany break_optimization(&stack_string); 74476e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov for (size_t i = 0; i < length; i++) { 7451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany heap_string[i] = 'a'; 7461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany stack_string[i] = 'b'; 7471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 7481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany heap_string[length] = 0; 7491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany stack_string[length] = 0; 7501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StrLenOOBTestTemplate(heap_string, length, false); 7511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // TODO(samsonov): Fix expected messages in StrLenOOBTestTemplate to 7521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // make test for stack_string work. Or move it to output tests. 7531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // StrLenOOBTestTemplate(stack_string, length, false); 7541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StrLenOOBTestTemplate(global_string, global_string_length, true); 7551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(heap_string); 7561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7586cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanychar* MallocAndMemsetString(size_t size, char ch) { 75944997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany char *s = Ident((char*)malloc(size)); 76044997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany memset(s, ch, size); 76144997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany return s; 76244997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany} 7636cbfae439b81221d2250ffe0331958f130259755Kostya Serebryany 7646cbfae439b81221d2250ffe0331958f130259755Kostya Serebryanychar* MallocAndMemsetString(size_t size) { 76544997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany return MallocAndMemsetString(size, 'z'); 76644997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany} 76744997c354c7cdb5257d9a41c837b12a6133f2d6bKostya Serebryany 7681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__ 7691e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrNLenOOBTest) { 7701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(123); 771af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany char *str = MallocAndMemsetString(size); 7721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Normal strnlen calls. 7731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strnlen(str - 1, 0)); 7741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strnlen(str, size)); 7751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strnlen(str + size - 1, 1)); 7761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[size - 1] = '\0'; 7771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strnlen(str, 2 * size)); 7781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Argument points to not allocated memory. 779ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strnlen(str - 1, 1)), LeftOOBReadMessage(1)); 780ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strnlen(str + size, 1)), RightOOBReadMessage(0)); 7811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite the terminating '\0' and hit unallocated memory. 7821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[size - 1] = 'z'; 783ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strnlen(str, size + 1)), RightOOBReadMessage(0)); 7841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(str); 7851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 7871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7881e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrDupOOBTest) { 7891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(42); 790af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany char *str = MallocAndMemsetString(size); 7911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *new_str; 7921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Normal strdup calls. 7931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[size - 1] = '\0'; 7941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany new_str = strdup(str); 7951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(new_str); 7961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany new_str = strdup(str + size - 1); 7971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(new_str); 7981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Argument points to not allocated memory. 799ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strdup(str - 1)), LeftOOBReadMessage(1)); 800ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strdup(str + size)), RightOOBReadMessage(0)); 8011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite the terminating '\0' and hit unallocated memory. 8021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[size - 1] = 'z'; 803ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strdup(str)), RightOOBReadMessage(0)); 8041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(str); 8051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8071e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrCpyOOBTest) { 8081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t to_size = Ident(30); 8091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t from_size = Ident(6); // less than to_size 8101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *to = Ident((char*)malloc(to_size)); 8111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *from = Ident((char*)malloc(from_size)); 8121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Normal strcpy calls. 8131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(from, "hello"); 8141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(to, from); 8151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(to + to_size - from_size, from); 8161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Length of "from" is too small. 817ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strcpy(from, "hello2")), RightOOBWriteMessage(0)); 8181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // "to" or "from" points to not allocated memory. 819ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strcpy(to - 1, from)), LeftOOBWriteMessage(1)); 820ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strcpy(to, from - 1)), LeftOOBReadMessage(1)); 821ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strcpy(to, from + from_size)), RightOOBReadMessage(0)); 822ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strcpy(to + to_size, from)), RightOOBWriteMessage(0)); 8231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite the terminating '\0' character and hit unallocated memory. 8241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany from[from_size - 1] = '!'; 825ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(strcpy(to, from)), RightOOBReadMessage(0)); 8261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(to); 8271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(from); 8281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8301e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrNCpyOOBTest) { 8311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t to_size = Ident(20); 8321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t from_size = Ident(6); // less than to_size 8331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *to = Ident((char*)malloc(to_size)); 8341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // From is a zero-terminated string "hello\0" of length 6 8351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *from = Ident((char*)malloc(from_size)); 8361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(from, "hello"); 8371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // copy 0 bytes 8381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to, from, 0); 8391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to - 1, from - 1, 0); 8401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // normal strncpy calls 8411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to, from, from_size); 8421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to, from, to_size); 8431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to, from + from_size - 1, to_size); 8441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to + to_size - 1, from, 1); 8451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // One of {to, from} points to not allocated memory 8461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to, from - 1, from_size)), 847ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko LeftOOBReadMessage(1)); 8481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to - 1, from, from_size)), 849ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko LeftOOBWriteMessage(1)); 8501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to, from + from_size, 1)), 851ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko RightOOBReadMessage(0)); 8521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to + to_size, from, 1)), 853ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko RightOOBWriteMessage(0)); 8541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Length of "to" is too small 8551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to + to_size - from_size + 1, from, from_size)), 856ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko RightOOBWriteMessage(0)); 8571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to + 1, from, to_size)), 858ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko RightOOBWriteMessage(0)); 8591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite terminator in from 8601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany from[from_size - 1] = '!'; 8611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // normal strncpy call 8621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to, from, from_size); 8631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Length of "from" is too small 8641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to, from, to_size)), 865ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko RightOOBReadMessage(0)); 8661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(to); 8671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(from); 8681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 870fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov// Users may have different definitions of "strchr" and "index", so provide 871fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov// function pointer typedefs and overload RunStrChrTest implementation. 872fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov// We can't use macro for RunStrChrTest body here, as this macro would 873fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov// confuse EXPECT_DEATH gtest macro. 874fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonovtypedef char*(*PointerToStrChr1)(const char*, int); 875fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonovtypedef char*(*PointerToStrChr2)(char*, int); 876fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov 877fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey SamsonovUSED static void RunStrChrTest(PointerToStrChr1 StrChr) { 8781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 879af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany char *str = MallocAndMemsetString(size); 8801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[10] = 'q'; 8811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[11] = '\0'; 8821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(str, StrChr(str, 'z')); 8831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(str + 10, StrChr(str, 'q')); 8841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(NULL, StrChr(str, 'a')); 8851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // StrChr argument points to not allocated memory. 886ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrChr(str - 1, 'z')), LeftOOBReadMessage(1)); 887ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrChr(str + size, 'z')), RightOOBReadMessage(0)); 8881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite the terminator and hit not allocated memory. 8891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[11] = 'z'; 890ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrChr(str, 'a')), RightOOBReadMessage(0)); 8911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(str); 8921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 893fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey SamsonovUSED static void RunStrChrTest(PointerToStrChr2 StrChr) { 894fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov size_t size = Ident(100); 895fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov char *str = MallocAndMemsetString(size); 896fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov str[10] = 'q'; 897fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov str[11] = '\0'; 898fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov EXPECT_EQ(str, StrChr(str, 'z')); 899fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov EXPECT_EQ(str + 10, StrChr(str, 'q')); 900fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov EXPECT_EQ(NULL, StrChr(str, 'a')); 901fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov // StrChr argument points to not allocated memory. 902ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrChr(str - 1, 'z')), LeftOOBReadMessage(1)); 903ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrChr(str + size, 'z')), RightOOBReadMessage(0)); 904fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov // Overwrite the terminator and hit not allocated memory. 905fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov str[11] = 'z'; 906ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrChr(str, 'a')), RightOOBReadMessage(0)); 907fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov free(str); 908fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov} 909fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov 9101e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrChrAndIndexOOBTest) { 9111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RunStrChrTest(&strchr); 9121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RunStrChrTest(&index); 9131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9151e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrCmpAndFriendsLogicTest) { 9161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // strcmp 9171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, strcmp("", "")); 9181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, strcmp("abcd", "abcd")); 919af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_GT(0, strcmp("ab", "ac")); 920af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_GT(0, strcmp("abc", "abcd")); 921af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_LT(0, strcmp("acc", "abc")); 922af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_LT(0, strcmp("abcd", "abc")); 9231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // strncmp 9251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, strncmp("a", "b", 0)); 9261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, strncmp("abcd", "abcd", 10)); 9271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, strncmp("abcd", "abcef", 3)); 928af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_GT(0, strncmp("abcde", "abcfa", 4)); 929af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_GT(0, strncmp("a", "b", 5)); 930af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_GT(0, strncmp("bc", "bcde", 4)); 931af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_LT(0, strncmp("xyz", "xyy", 10)); 932af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_LT(0, strncmp("baa", "aaa", 1)); 933af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_LT(0, strncmp("zyx", "", 2)); 934af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany 935af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany // strcasecmp 936af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_EQ(0, strcasecmp("", "")); 937af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_EQ(0, strcasecmp("zzz", "zzz")); 938af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_EQ(0, strcasecmp("abCD", "ABcd")); 939af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_GT(0, strcasecmp("aB", "Ac")); 940af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_GT(0, strcasecmp("ABC", "ABCd")); 941af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_LT(0, strcasecmp("acc", "abc")); 942af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_LT(0, strcasecmp("ABCd", "abc")); 943af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany 944af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany // strncasecmp 945af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_EQ(0, strncasecmp("a", "b", 0)); 946af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_EQ(0, strncasecmp("abCD", "ABcd", 10)); 947af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_EQ(0, strncasecmp("abCd", "ABcef", 3)); 948af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_GT(0, strncasecmp("abcde", "ABCfa", 4)); 949af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_GT(0, strncasecmp("a", "B", 5)); 950af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_GT(0, strncasecmp("bc", "BCde", 4)); 951af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_LT(0, strncasecmp("xyz", "xyy", 10)); 952af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_LT(0, strncasecmp("Baa", "aaa", 1)); 953af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany EXPECT_LT(0, strncasecmp("zyx", "", 2)); 95452fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany 95552fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany // memcmp 95652fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany EXPECT_EQ(0, memcmp("a", "b", 0)); 95752fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany EXPECT_EQ(0, memcmp("ab\0c", "ab\0c", 4)); 95852fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany EXPECT_GT(0, memcmp("\0ab", "\0ac", 3)); 95952fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany EXPECT_GT(0, memcmp("abb\0", "abba", 4)); 96052fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany EXPECT_LT(0, memcmp("ab\0cd", "ab\0c\0", 5)); 96152fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany EXPECT_LT(0, memcmp("zza", "zyx", 3)); 962af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany} 963af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany 964af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryanytypedef int(*PointerToStrCmp)(const char*, const char*); 965af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryanyvoid RunStrCmpTest(PointerToStrCmp StrCmp) { 9661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 967b3ef8a4521954d1ca5e728446c389e1f8cc01fc4Kostya Serebryany int fill = 'o'; 968b3ef8a4521954d1ca5e728446c389e1f8cc01fc4Kostya Serebryany char *s1 = MallocAndMemsetString(size, fill); 969b3ef8a4521954d1ca5e728446c389e1f8cc01fc4Kostya Serebryany char *s2 = MallocAndMemsetString(size, fill); 9701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s1[size - 1] = '\0'; 9711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = '\0'; 972af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany // Normal StrCmp calls 973af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany Ident(StrCmp(s1, s2)); 974af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany Ident(StrCmp(s1, s2 + size - 1)); 975af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany Ident(StrCmp(s1 + size - 1, s2 + size - 1)); 9761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s1[size - 1] = 'z'; 9771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = 'x'; 978af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany Ident(StrCmp(s1, s2)); 9791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // One of arguments points to not allocated memory. 980ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrCmp)(s1 - 1, s2), LeftOOBReadMessage(1)); 981ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrCmp)(s1, s2 - 1), LeftOOBReadMessage(1)); 982ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrCmp)(s1 + size, s2), RightOOBReadMessage(0)); 983ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrCmp)(s1, s2 + size), RightOOBReadMessage(0)); 9841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Hit unallocated memory and die. 985b3ef8a4521954d1ca5e728446c389e1f8cc01fc4Kostya Serebryany s1[size - 1] = fill; 986ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrCmp)(s1, s1), RightOOBReadMessage(0)); 987ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrCmp)(s1 + size - 1, s2), RightOOBReadMessage(0)); 9881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s1); 9891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s2); 9901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 992af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya SerebryanyTEST(AddressSanitizer, StrCmpOOBTest) { 993af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany RunStrCmpTest(&strcmp); 994af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany} 995af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany 996af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya SerebryanyTEST(AddressSanitizer, StrCaseCmpOOBTest) { 997af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany RunStrCmpTest(&strcasecmp); 998af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany} 999af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany 1000af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryanytypedef int(*PointerToStrNCmp)(const char*, const char*, size_t); 1001af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryanyvoid RunStrNCmpTest(PointerToStrNCmp StrNCmp) { 10021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 10031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *s1 = MallocAndMemsetString(size); 10041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *s2 = MallocAndMemsetString(size); 10051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s1[size - 1] = '\0'; 10061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = '\0'; 1007af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany // Normal StrNCmp calls 1008af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany Ident(StrNCmp(s1, s2, size + 2)); 10091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s1[size - 1] = 'z'; 10101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = 'x'; 1011af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany Ident(StrNCmp(s1 + size - 2, s2 + size - 2, size)); 10121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = 'z'; 1013af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany Ident(StrNCmp(s1 - 1, s2 - 1, 0)); 1014af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany Ident(StrNCmp(s1 + size - 1, s2 + size - 1, 1)); 10151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // One of arguments points to not allocated memory. 1016ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrNCmp)(s1 - 1, s2, 1), LeftOOBReadMessage(1)); 1017ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrNCmp)(s1, s2 - 1, 1), LeftOOBReadMessage(1)); 1018ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrNCmp)(s1 + size, s2, 1), RightOOBReadMessage(0)); 1019ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrNCmp)(s1, s2 + size, 1), RightOOBReadMessage(0)); 10201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Hit unallocated memory and die. 1021ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrNCmp)(s1 + 1, s2 + 1, size), RightOOBReadMessage(0)); 1022ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Ident(StrNCmp)(s1 + size - 1, s2, 2), RightOOBReadMessage(0)); 10231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s1); 10241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s2); 10251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1027af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya SerebryanyTEST(AddressSanitizer, StrNCmpOOBTest) { 1028af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany RunStrNCmpTest(&strncmp); 1029af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany} 1030af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany 1031af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya SerebryanyTEST(AddressSanitizer, StrNCaseCmpOOBTest) { 1032af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany RunStrNCmpTest(&strncasecmp); 1033af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany} 10340985ca240812ac5519168a6aecbccf4c513ae243Kostya SerebryanyTEST(AddressSanitizer, StrCatOOBTest) { 1035ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko // strcat() reads strlen(to) bytes from |to| before concatenating. 10360985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany size_t to_size = Ident(100); 10370985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany char *to = MallocAndMemsetString(to_size); 10380985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany to[0] = '\0'; 10390985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany size_t from_size = Ident(20); 10400985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany char *from = MallocAndMemsetString(from_size); 10410985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany from[from_size - 1] = '\0'; 10420985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany // Normal strcat calls. 10430985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany strcat(to, from); 10440985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany strcat(to, from); 10450985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany strcat(to + from_size, from + from_size - 2); 104637b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko // Passing an invalid pointer is an error even when concatenating an empty 104737b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko // string. 1048ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko EXPECT_DEATH(strcat(to - 1, from + from_size - 1), LeftOOBAccessMessage(1)); 10490985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany // One of arguments points to not allocated memory. 1050ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko EXPECT_DEATH(strcat(to - 1, from), LeftOOBAccessMessage(1)); 1051ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strcat(to, from - 1), LeftOOBReadMessage(1)); 1052ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strcat(to + to_size, from), RightOOBWriteMessage(0)); 1053ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strcat(to, from + from_size), RightOOBReadMessage(0)); 10540985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany 10550985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany // "from" is not zero-terminated. 10560985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany from[from_size - 1] = 'z'; 1057ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strcat(to, from), RightOOBReadMessage(0)); 10580985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany from[from_size - 1] = '\0'; 10590985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany // "to" is not zero-terminated. 10600985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany memset(to, 'z', to_size); 1061ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strcat(to, from), RightOOBWriteMessage(0)); 10620985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany // "to" is too short to fit "from". 10630985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany to[to_size - from_size + 1] = '\0'; 1064ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strcat(to, from), RightOOBWriteMessage(0)); 10650985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany // length of "to" is just enough. 10660985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany strcat(to, from + 1); 1067c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov 1068c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov free(to); 1069c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov free(from); 1070c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov} 1071c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov 1072c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey SamsonovTEST(AddressSanitizer, StrNCatOOBTest) { 1073ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko // strncat() reads strlen(to) bytes from |to| before concatenating. 1074c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov size_t to_size = Ident(100); 1075c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov char *to = MallocAndMemsetString(to_size); 1076c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov to[0] = '\0'; 1077c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov size_t from_size = Ident(20); 1078c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov char *from = MallocAndMemsetString(from_size); 1079c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov // Normal strncat calls. 1080c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov strncat(to, from, 0); 1081c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov strncat(to, from, from_size); 1082c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov from[from_size - 1] = '\0'; 1083c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov strncat(to, from, 2 * from_size); 108437b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko // Catenating empty string with an invalid string is still an error. 1085ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko EXPECT_DEATH(strncat(to - 1, from, 0), LeftOOBAccessMessage(1)); 1086c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov strncat(to, from + from_size - 1, 10); 1087c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov // One of arguments points to not allocated memory. 1088ada9ba14325df9e206f454c50bd1b55ea9ecdbb9Alexander Potapenko EXPECT_DEATH(strncat(to - 1, from, 2), LeftOOBAccessMessage(1)); 1089ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strncat(to, from - 1, 2), LeftOOBReadMessage(1)); 1090ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strncat(to + to_size, from, 2), RightOOBWriteMessage(0)); 1091ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strncat(to, from + from_size, 2), RightOOBReadMessage(0)); 1092c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov 1093c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov memset(from, 'z', from_size); 1094c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov memset(to, 'z', to_size); 1095c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov to[0] = '\0'; 1096c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov // "from" is too short. 1097ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strncat(to, from, from_size + 1), RightOOBReadMessage(0)); 1098c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov // "to" is not zero-terminated. 1099ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strncat(to + 1, from, 1), RightOOBWriteMessage(0)); 1100c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov // "to" is too short to fit "from". 1101c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov to[0] = 'z'; 1102c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov to[to_size - from_size + 1] = '\0'; 1103ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(strncat(to, from, from_size - 1), RightOOBWriteMessage(0)); 1104c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov // "to" is just enough. 1105c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov strncat(to, from, from_size - 2); 1106c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov 1107c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov free(to); 1108c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov free(from); 11090985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany} 11100985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany 1111c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryanystatic string OverlapErrorMessage(const string &func) { 1112c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany return func + "-param-overlap"; 1113c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany} 11141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11151e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrArgsOverlapTest) { 11161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 11171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *str = Ident((char*)malloc(size)); 11181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11190503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko// Do not check memcpy() on OS X 10.7 and later, where it actually aliases 11200503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko// memmove(). 11210503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko#if !defined(__APPLE__) || !defined(MAC_OS_X_VERSION_10_7) || \ 11220503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko (MAC_OS_X_VERSION_MAX_ALLOWED < MAC_OS_X_VERSION_10_7) 11231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Check "memcpy". Use Ident() to avoid inlining. 11241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(str, 'z', size); 11251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(memcpy)(str + 1, str + 11, 10); 11261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(memcpy)(str, str, 0); 1127c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany EXPECT_DEATH(Ident(memcpy)(str, str + 14, 15), OverlapErrorMessage("memcpy")); 1128c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany EXPECT_DEATH(Ident(memcpy)(str + 14, str, 15), OverlapErrorMessage("memcpy")); 11290503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko#endif 1130c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany 1131c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany // We do not treat memcpy with to==from as a bug. 1132c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany // See http://llvm.org/bugs/show_bug.cgi?id=11763. 1133c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany // EXPECT_DEATH(Ident(memcpy)(str + 20, str + 20, 1), 1134c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany // OverlapErrorMessage("memcpy")); 11351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Check "strcpy". 11371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(str, 'z', size); 11381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[9] = '\0'; 11391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(str + 10, str); 1140c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany EXPECT_DEATH(strcpy(str + 9, str), OverlapErrorMessage("strcpy")); 1141c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany EXPECT_DEATH(strcpy(str, str + 4), OverlapErrorMessage("strcpy")); 11421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(str, str + 5); 11431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Check "strncpy". 11451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(str, 'z', size); 11461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(str, str + 10, 10); 1147c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany EXPECT_DEATH(strncpy(str, str + 9, 10), OverlapErrorMessage("strncpy")); 1148c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany EXPECT_DEATH(strncpy(str + 9, str, 10), OverlapErrorMessage("strncpy")); 11491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[10] = '\0'; 11501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(str + 11, str, 20); 1151c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany EXPECT_DEATH(strncpy(str + 10, str, 20), OverlapErrorMessage("strncpy")); 11521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11530985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany // Check "strcat". 11540985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany memset(str, 'z', size); 11550985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany str[10] = '\0'; 11560985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany str[20] = '\0'; 11570985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany strcat(str, str + 10); 115837b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko EXPECT_DEATH(strcat(str, str + 11), OverlapErrorMessage("strcat")); 11590985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany str[10] = '\0'; 11600985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany strcat(str + 11, str); 1161c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany EXPECT_DEATH(strcat(str, str + 9), OverlapErrorMessage("strcat")); 1162c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany EXPECT_DEATH(strcat(str + 9, str), OverlapErrorMessage("strcat")); 1163c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany EXPECT_DEATH(strcat(str + 10, str), OverlapErrorMessage("strcat")); 11640985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany 1165c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov // Check "strncat". 1166c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov memset(str, 'z', size); 1167c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov str[10] = '\0'; 1168c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov strncat(str, str + 10, 10); // from is empty 116937b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko EXPECT_DEATH(strncat(str, str + 11, 10), OverlapErrorMessage("strncat")); 1170c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov str[10] = '\0'; 1171c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov str[20] = '\0'; 1172c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov strncat(str + 5, str, 5); 1173c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov str[10] = '\0'; 1174c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov EXPECT_DEATH(strncat(str + 5, str, 6), OverlapErrorMessage("strncat")); 1175c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov EXPECT_DEATH(strncat(str, str + 9, 10), OverlapErrorMessage("strncat")); 1176c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov 11771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(str); 11781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1180847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovvoid CallAtoi(const char *nptr) { 1181847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov Ident(atoi(nptr)); 1182847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 1183847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovvoid CallAtol(const char *nptr) { 1184847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov Ident(atol(nptr)); 1185847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 1186847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovvoid CallAtoll(const char *nptr) { 1187847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov Ident(atoll(nptr)); 1188847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 1189847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovtypedef void(*PointerToCallAtoi)(const char*); 1190847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov 1191847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovvoid RunAtoiOOBTest(PointerToCallAtoi Atoi) { 1192847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov char *array = MallocAndMemsetString(10, '1'); 1193847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // Invalid pointer to the string. 1194ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Atoi(array + 11), RightOOBReadMessage(1)); 1195ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Atoi(array - 1), LeftOOBReadMessage(1)); 1196847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // Die if a buffer doesn't have terminating NULL. 1197ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Atoi(array), RightOOBReadMessage(0)); 1198847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // Make last symbol a terminating NULL or other non-digit. 1199847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov array[9] = '\0'; 1200847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov Atoi(array); 1201847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov array[9] = 'a'; 1202847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov Atoi(array); 1203847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov Atoi(array + 9); 1204847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // Sometimes we need to detect overflow if no digits are found. 1205847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov memset(array, ' ', 10); 1206ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Atoi(array), RightOOBReadMessage(0)); 1207847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov array[9] = '-'; 1208ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Atoi(array), RightOOBReadMessage(0)); 1209ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Atoi(array + 9), RightOOBReadMessage(0)); 1210847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov array[8] = '-'; 1211847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov Atoi(array); 1212fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany free(array); 1213847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 1214847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov 1215847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovTEST(AddressSanitizer, AtoiAndFriendsOOBTest) { 1216847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov RunAtoiOOBTest(&CallAtoi); 1217847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov RunAtoiOOBTest(&CallAtol); 1218847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov RunAtoiOOBTest(&CallAtoll); 1219847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 1220847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov 12218f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovvoid CallStrtol(const char *nptr, char **endptr, int base) { 12228f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov Ident(strtol(nptr, endptr, base)); 12238f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov} 12248f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovvoid CallStrtoll(const char *nptr, char **endptr, int base) { 12258f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov Ident(strtoll(nptr, endptr, base)); 12268f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov} 12278f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovtypedef void(*PointerToCallStrtol)(const char*, char**, int); 12288f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov 12298f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovvoid RunStrtolOOBTest(PointerToCallStrtol Strtol) { 123084ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov char *array = MallocAndMemsetString(3); 123184ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov char *endptr = NULL; 123284ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov array[0] = '1'; 123384ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov array[1] = '2'; 123484ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov array[2] = '3'; 123584ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov // Invalid pointer to the string. 1236ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Strtol(array + 3, NULL, 0), RightOOBReadMessage(0)); 1237ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Strtol(array - 1, NULL, 0), LeftOOBReadMessage(1)); 123884ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov // Buffer overflow if there is no terminating null (depends on base). 12398f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov Strtol(array, &endptr, 3); 124084ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov EXPECT_EQ(array + 2, endptr); 1241ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Strtol(array, NULL, 0), RightOOBReadMessage(0)); 124284ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov array[2] = 'z'; 12438f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov Strtol(array, &endptr, 35); 124484ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov EXPECT_EQ(array + 2, endptr); 1245ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Strtol(array, NULL, 36), RightOOBReadMessage(0)); 124684ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov // Add terminating zero to get rid of overflow. 124784ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov array[2] = '\0'; 12488f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov Strtol(array, NULL, 36); 124984ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov // Don't check for overflow if base is invalid. 12508f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov Strtol(array - 1, NULL, -1); 12518f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov Strtol(array + 3, NULL, 1); 125284ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov // Sometimes we need to detect overflow if no digits are found. 125384ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov array[0] = array[1] = array[2] = ' '; 1254ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Strtol(array, NULL, 0), RightOOBReadMessage(0)); 125584ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov array[2] = '+'; 1256ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Strtol(array, NULL, 0), RightOOBReadMessage(0)); 125784ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov array[2] = '-'; 1258ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(Strtol(array, NULL, 0), RightOOBReadMessage(0)); 125984ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov array[1] = '+'; 12608f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov Strtol(array, NULL, 0); 126184ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov array[1] = array[2] = 'z'; 12628f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov Strtol(array, &endptr, 0); 126384ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov EXPECT_EQ(array, endptr); 12648f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov Strtol(array + 2, NULL, 0); 126584ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov EXPECT_EQ(array, endptr); 1266fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany free(array); 126784ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov} 126884ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov 12698f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey SamsonovTEST(AddressSanitizer, StrtollOOBTest) { 12708f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov RunStrtolOOBTest(&CallStrtoll); 12718f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov} 12728f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey SamsonovTEST(AddressSanitizer, StrtolOOBTest) { 12738f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov RunStrtolOOBTest(&CallStrtol); 12748f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov} 12758f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov 12761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// At the moment we instrument memcpy/memove/memset calls at compile time so we 12771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// can't handle OOB error if these functions are called by pointer, see disabled 12781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// MemIntrinsicCallByPointerTest below 12791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef void*(*PointerToMemTransfer)(void*, const void*, size_t); 12801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef void*(*PointerToMemSet)(void*, int, size_t); 12811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid CallMemSetByPointer(PointerToMemSet MemSet) { 12831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 12841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *array = Ident((char*)malloc(size)); 1285ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(MemSet(array, 0, 101), RightOOBWriteMessage(0)); 12861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(array); 12871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid CallMemTransferByPointer(PointerToMemTransfer MemTransfer) { 12901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 12911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *src = Ident((char*)malloc(size)); 12921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *dst = Ident((char*)malloc(size)); 1293ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(MemTransfer(dst, src, 101), RightOOBWriteMessage(0)); 12941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(src); 12951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(dst); 12961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12981e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MemIntrinsicCallByPointerTest) { 12991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany CallMemSetByPointer(&memset); 13001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany CallMemTransferByPointer(&memcpy); 13011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany CallMemTransferByPointer(&memmove); 13021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1304ca2849c2819b5c7a8771a1e8bc449cf8f5ef6527Alexey Samsonov#if defined(__linux__) && !defined(ANDROID) && !defined(__ANDROID__) 1305c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany#define READ_TEST(READ_N_BYTES) \ 1306c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany char *x = new char[10]; \ 1307c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany int fd = open("/proc/self/stat", O_RDONLY); \ 1308c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany ASSERT_GT(fd, 0); \ 1309c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany EXPECT_DEATH(READ_N_BYTES, \ 1310c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany ASAN_PCRE_DOTALL \ 1311c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany "AddressSanitizer: heap-buffer-overflow" \ 1312c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany ".* is located 0 bytes to the right of 10-byte region"); \ 1313c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany close(fd); \ 1314c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany delete [] x; \ 1315c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany 13168530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya SerebryanyTEST(AddressSanitizer, pread) { 1317c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany READ_TEST(pread(fd, x, 15, 0)); 13188530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany} 13198530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany 13208530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya SerebryanyTEST(AddressSanitizer, pread64) { 1321c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany READ_TEST(pread64(fd, x, 15, 0)); 13228530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany} 13238530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany 13248530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya SerebryanyTEST(AddressSanitizer, read) { 1325c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany READ_TEST(read(fd, x, 15)); 1326c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany} 1327ca2849c2819b5c7a8771a1e8bc449cf8f5ef6527Alexey Samsonov#endif // defined(__linux__) && !defined(ANDROID) && !defined(__ANDROID__) 13288530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany 13291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This test case fails 13301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Clang optimizes memcpy/memset calls which lead to unaligned access 13311e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MemIntrinsicUnalignedAccessTest) { 13321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int size = Ident(4096); 13331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *s = Ident((char*)malloc(size)); 1334ef8dfd8dffbf4385baf24e5aaea6c2cc7c6c936aAlexander Potapenko EXPECT_DEATH(memset(s + size - 1, 0, 2), RightOOBWriteMessage(0)); 13351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s); 13361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(samsonov): Add a test with malloc(0) 13391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(samsonov): Add tests for str* and mem* functions. 13401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1341938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static int LargeFunction(bool do_bad_access) { 13421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = new int[100]; 13431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[0]++; 13441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[1]++; 13451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[2]++; 13461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[3]++; 13471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[4]++; 13481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[5]++; 13491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[6]++; 13501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[7]++; 13511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[8]++; 13521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[9]++; 13531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[do_bad_access ? 100 : 0]++; int res = __LINE__; 13551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[10]++; 13571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[11]++; 13581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[12]++; 13591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[13]++; 13601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[14]++; 13611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[15]++; 13621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[16]++; 13631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[17]++; 13641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[18]++; 13651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[19]++; 13661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete x; 13681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return res; 13691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Test the we have correct debug info for the failing instruction. 13721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This test requires the in-process symbolizer to be enabled by default. 13731e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_LargeFunctionSymbolizeTest) { 13741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int failing_line = LargeFunction(false); 13751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_warning[128]; 13765a15541fc2bbe46a5ce0cd802b5c1055f2ffb14eKostya Serebryany sprintf(expected_warning, "LargeFunction.*asan_test.*:%d", failing_line); 13771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(LargeFunction(true), expected_warning); 13781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Check that we unwind and symbolize correctly. 13811e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MallocFreeUnwindAndSymbolizeTest) { 13821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = (int*)malloc_aaa(sizeof(int)); 13831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *a = 1; 13841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(a); 13851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(*a = 1, "free_ccc.*free_bbb.*free_aaa.*" 13861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "malloc_fff.*malloc_eee.*malloc_ddd"); 13871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1389b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryanystatic bool TryToSetThreadName(const char *name) { 1390b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany#if defined(__linux__) && defined(PR_SET_NAME) 1391b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany return 0 == prctl(PR_SET_NAME, (unsigned long)name, 0, 0, 0); 1392b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany#else 1393b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany return false; 1394716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany#endif 1395716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany} 1396716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany 13971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestAlloc(void *a) { 1398b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany EXPECT_EQ(true, TryToSetThreadName("AllocThr")); 13991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int **p = (int**)a; 14001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *p = new int; 14011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 14021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestFree(void *a) { 1405b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany EXPECT_EQ(true, TryToSetThreadName("FreeThr")); 14061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int **p = (int**)a; 14071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete *p; 14081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 14091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestUse(void *a) { 1412b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany EXPECT_EQ(true, TryToSetThreadName("UseThr")); 14131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int **p = (int**)a; 14141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany **p = 1; 14151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 14161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid ThreadedTestSpawn() { 14191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t; 14201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x; 14212697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadedTestAlloc, &x); 14222697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 14232697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadedTestFree, &x); 14242697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 14252697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadedTestUse, &x); 14262697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 14271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14291e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedTest) { 14301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(ThreadedTestSpawn(), 14311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_PCRE_DOTALL 14321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "Thread T.*created" 14331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ".*Thread T.*created" 14341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ".*Thread T.*created"); 14351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1437b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryanyvoid *ThreadedTestFunc(void *unused) { 1438b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany // Check if prctl(PR_SET_NAME) is supported. Return if not. 1439b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany if (!TryToSetThreadName("TestFunc")) 1440b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany return 0; 1441716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany EXPECT_DEATH(ThreadedTestSpawn(), 1442716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany ASAN_PCRE_DOTALL 1443a390ece58317a25ef26866cef6753df4b06a3e65Kostya Serebryany "WRITE .*thread T. .UseThr." 1444a390ece58317a25ef26866cef6753df4b06a3e65Kostya Serebryany ".*freed by thread T. .FreeThr. here:" 1445a390ece58317a25ef26866cef6753df4b06a3e65Kostya Serebryany ".*previously allocated by thread T. .AllocThr. here:" 1446b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany ".*Thread T. .UseThr. created by T.*TestFunc" 1447b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany ".*Thread T. .FreeThr. created by T" 1448b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany ".*Thread T. .AllocThr. created by T" 1449716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany ""); 1450b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany return 0; 1451b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany} 1452b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany 1453b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya SerebryanyTEST(AddressSanitizer, ThreadNamesTest) { 1454b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany // Run ThreadedTestFunc in a separate thread because it tries to set a 1455b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany // thread name and we don't want to change the main thread's name. 1456b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany pthread_t t; 1457b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany PTHREAD_CREATE(&t, 0, ThreadedTestFunc, 0); 1458b8a59a0e030d0aacf4df1fe8f7fb4e6f82bab654Kostya Serebryany PTHREAD_JOIN(t, 0); 1459716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany} 1460716e2f25123bf9b20fbc6b582803a3929b78b96dKostya Serebryany 14611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_NEEDS_SEGV 14621e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ShadowGapTest) { 14635af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany#if SANITIZER_WORDSIZE == 32 14641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *addr = (char*)0x22000000; 14651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else 14661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *addr = (char*)0x0000100000080000; 14671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 1468ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany EXPECT_DEATH(*addr = 1, "AddressSanitizer: SEGV on unknown"); 14691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // ASAN_NEEDS_SEGV 14711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyextern "C" { 1473938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void UseThenFreeThenUse() { 14741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *x = Ident((char*)malloc(8)); 14751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *x = 1; 14761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(x); 14771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *x = 2; 14781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14811e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UseThenFreeThenUseTest) { 14821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(UseThenFreeThenUse(), "freed by thread"); 14831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14851e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrDupTest) { 14861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(strdup(Ident("123"))); 14871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Currently we create and poison redzone at right of global variables. 14901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanychar glob5[5]; 14911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic char static110[110]; 14921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyconst char ConstGlob[7] = {1, 2, 3, 4, 5, 6, 7}; 14931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic const char StaticConstGlob[3] = {9, 8, 7}; 14941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyextern int GlobalsTest(int x); 14951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14961e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GlobalTest) { 14971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char func_static15[15]; 14981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char fs1[10]; 15001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char fs2[10]; 15011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char fs3[10]; 15021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(0)] = 0; 15041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(1)] = 0; 15051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(2)] = 0; 15061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(3)] = 0; 15071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(4)] = 0; 15081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(glob5[Ident(5)] = 0, 15101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "0 bytes to the right of global variable.*glob5.* size 5"); 15111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(glob5[Ident(5+6)] = 0, 15121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "6 bytes to the right of global variable.*glob5.* size 5"); 15131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(static110); // avoid optimizations 15141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static110[Ident(0)] = 0; 15151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static110[Ident(109)] = 0; 15161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(static110[Ident(110)] = 0, 15171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "0 bytes to the right of global variable"); 15181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(static110[Ident(110+7)] = 0, 15191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "7 bytes to the right of global variable"); 15201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(func_static15); // avoid optimizations 15221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany func_static15[Ident(0)] = 0; 15231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(func_static15[Ident(15)] = 0, 15241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "0 bytes to the right of global variable"); 15251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(func_static15[Ident(15 + 9)] = 0, 15261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "9 bytes to the right of global variable"); 15271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(fs1); 15291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(fs2); 15301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(fs3); 15311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // We don't create left redzones, so this is not 100% guaranteed to fail. 15331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // But most likely will. 15341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(fs2[Ident(-1)] = 0, "is located.*of global variable"); 15351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(Ident(ConstGlob)[8]), 15371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located 1 bytes to the right of .*ConstGlob"); 15381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(Ident(StaticConstGlob)[5]), 15391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located 2 bytes to the right of .*StaticConstGlob"); 15401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // call stuff from another file. 15421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany GlobalsTest(0); 15431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 15441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15451e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GlobalStringConstTest) { 15461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static const char *zoo = "FOOBAR123"; 15471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const char *p = Ident(zoo); 15481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(p[15]), "is ascii string 'FOOBAR123'"); 15491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 15501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1551c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya SerebryanyTEST(AddressSanitizer, FileNameInGlobalReportTest) { 1552c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany static char zoo[10]; 1553c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany const char *p = Ident(zoo); 1554c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany // The file name should be present in the report. 15555a15541fc2bbe46a5ce0cd802b5c1055f2ffb14eKostya Serebryany EXPECT_DEATH(Ident(p[15]), "zoo.*asan_test."); 1556c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany} 1557c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany 15581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyint *ReturnsPointerToALocalObject() { 15591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a = 0; 15601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return Ident(&a); 15611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 15621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1563918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany#if ASAN_UAR == 1 15641e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LocalReferenceReturnTest) { 15651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *(*f)() = Ident(ReturnsPointerToALocalObject); 1566918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany int *p = f(); 1567918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany // Call 'f' a few more times, 'p' should still be poisoned. 1568918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany for (int i = 0; i < 32; i++) 1569918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany f(); 1570ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany EXPECT_DEATH(*p = 1, "AddressSanitizer: stack-use-after-return"); 1571918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany EXPECT_DEATH(*p = 1, "is located.*in frame .*ReturnsPointerToALocal"); 15721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1573918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany#endif 15741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate <int kSize> 1576938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void FuncWithStack() { 15771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char x[kSize]; 15781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(x)[0] = 0; 15791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(x)[kSize-1] = 0; 15801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 15811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void LotsOfStackReuse() { 15831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int LargeStack[10000]; 15841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(LargeStack)[0] = 0; 15851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 10000; i++) { 15861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 1>(); 15871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 2>(); 15881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 4>(); 15891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 8>(); 15901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 16>(); 15911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 32>(); 15921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 64>(); 15931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 128>(); 15941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 256>(); 15951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 512>(); 15961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(LargeStack)[0] = 0; 15971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 15981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 15991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16001e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StressStackReuseTest) { 16011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LotsOfStackReuse(); 16021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16041e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedStressStackReuseTest) { 16051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kNumThreads = 20; 16061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t[kNumThreads]; 16071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < kNumThreads; i++) { 16082697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t[i], 0, (void* (*)(void *x))LotsOfStackReuse, 0); 16091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 16101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < kNumThreads; i++) { 16112697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t[i], 0); 16121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 16131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1615f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryanystatic void *PthreadExit(void *a) { 1616f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany pthread_exit(0); 16177b7b55e99166511ce1e66bf6b79c46ae4aa60d17Evgeniy Stepanov return 0; 1618f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany} 1619f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany 1620f58f998066db0231e521169d2f50af439ceecb49Kostya SerebryanyTEST(AddressSanitizer, PthreadExitTest) { 1621f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany pthread_t t; 1622f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany for (int i = 0; i < 1000; i++) { 16232697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, PthreadExit, 0); 16242697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 1625f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany } 1626f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany} 1627f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany 16281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __EXCEPTIONS 1629938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void StackReuseAndException() { 16301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int large_stack[1000]; 16311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(large_stack); 16321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_THROW(1); 16331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(kcc): support exceptions with use-after-return. 16361e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_StressStackReuseAndExceptionsTest) { 16371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 10000; i++) { 16381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany try { 16391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StackReuseAndException(); 16401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } catch(...) { 16411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 16421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 16431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 16451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16461e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MlockTest) { 16471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, mlockall(MCL_CURRENT)); 16481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, mlock((void*)0x12345, 0x5678)); 16491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, munlockall()); 16501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, munlock((void*)0x987, 0x654)); 16511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1653c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryanystruct LargeStruct { 1654c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany int foo[100]; 1655c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany}; 1656c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany 1657c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany// Test for bug http://llvm.org/bugs/show_bug.cgi?id=11763. 1658c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany// Struct copy should not cause asan warning even if lhs == rhs. 1659c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya SerebryanyTEST(AddressSanitizer, LargeStructCopyTest) { 1660c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany LargeStruct a; 1661c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany *Ident(&a) = *Ident(&a); 1662c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany} 1663c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany 16641cffef3e39cad4eb33606afbebac78d6637361acAlexey SamsonovATTRIBUTE_NO_ADDRESS_SAFETY_ANALYSIS 16653be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryanystatic void NoAddressSafety() { 16663be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany char *foo = new char[10]; 16673be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany Ident(foo)[10] = 0; 16683be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany delete [] foo; 16693be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany} 16703be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany 16713be19f4fa3519e358fd41a5feda82c39a22ef107Kostya SerebryanyTEST(AddressSanitizer, AttributeNoAddressSafetyTest) { 16723be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany Ident(NoAddressSafety)(); 16733be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany} 16743be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany 167529e09223b9d4f53f1be528d6a572b66034c26611Alexey Samsonov// TODO(glider): Enable this test on Mac. 167629e09223b9d4f53f1be528d6a572b66034c26611Alexey Samsonov// It doesn't work on Android, as calls to new/delete go through malloc/free. 167729e09223b9d4f53f1be528d6a572b66034c26611Alexey Samsonov#if !defined(__APPLE__) && !defined(ANDROID) && !defined(__ANDROID__) 1678fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryanystatic string MismatchStr(const string &str) { 1679fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany return string("AddressSanitizer: alloc-dealloc-mismatch \\(") + str; 1680fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany} 1681fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany 16828f0e311767b783db4a15139dddfe7a924fa3724eAlexey SamsonovTEST(AddressSanitizer, AllocDeallocMismatch) { 1683fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(free(Ident(new int)), 1684fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("operator new vs free")); 1685fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(free(Ident(new int[2])), 1686fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("operator new \\[\\] vs free")); 1687fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(delete (Ident(new int[2])), 1688fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("operator new \\[\\] vs operator delete")); 1689fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(delete (Ident((int*)malloc(2 * sizeof(int)))), 1690fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("malloc vs operator delete")); 1691fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(delete [] (Ident(new int)), 1692fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("operator new vs operator delete \\[\\]")); 1693fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany EXPECT_DEATH(delete [] (Ident((int*)malloc(2 * sizeof(int)))), 1694fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany MismatchStr("malloc vs operator delete \\[\\]")); 1695fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany} 169629e09223b9d4f53f1be528d6a572b66034c26611Alexey Samsonov#endif 1697fe6d91684bcda766593800f6307233f1a33d31f6Kostya Serebryany 16981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// ------------------ demo tests; run each one-by-one ------------- 16991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// e.g. --gtest_filter=*DemoOOBLeftHigh --gtest_also_run_disabled_tests 17001e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoThreadedTest) { 17011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ThreadedTestSpawn(); 17021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *SimpleBugOnSTack(void *x = 0) { 17051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char a[20]; 17061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[20] = 0; 17071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 17081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17101e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoStackTest) { 17111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SimpleBugOnSTack(); 17121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17141e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoThreadStackTest) { 17151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t; 17162697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_CREATE(&t, 0, SimpleBugOnSTack, 0); 17172697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany PTHREAD_JOIN(t, 0); 17181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17201e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowIn) { 17211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(10, 0); 17221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17231e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowLeft) { 17241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(10, -2); 17251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17261e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowRight) { 17271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(10, 10); 17281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17301e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFHigh) { 17311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(kLargeMalloc, 0); 17321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17341e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOM) { 17355af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany size_t size = SANITIZER_WORDSIZE == 64 ? (size_t)(1ULL << 40) : (0xf0000000); 17361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany printf("%p\n", malloc(size)); 17371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17391e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoDoubleFreeTest) { 17401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany DoubleFree(); 17411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17431e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoNullDerefTest) { 17441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = 0; 17451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[10] = 0; 17461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17481e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoFunctionStaticTest) { 17491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char a[100]; 17501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char b[100]; 17511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char c[100]; 17521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a); 17531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(b); 17541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(c); 17551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[5] = 0; 17561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(b)[105] = 0; 17571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[5] = 0; 17581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17601e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoTooMuchMemoryTest) { 17611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const size_t kAllocSize = (1 << 28) - 1024; 17621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t total_size = 0; 17631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany while (true) { 17641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *x = (char*)malloc(kAllocSize); 17651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(x, 0, kAllocSize); 17661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany total_size += kAllocSize; 17670aa04b3f432bc55e7c116d5280685ee3f243be8eKostya Serebryany fprintf(stderr, "total: %ldM %p\n", (long)total_size >> 20, x); 17681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 17691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17714eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany// http://code.google.com/p/address-sanitizer/issues/detail?id=66 17720796393f2088e3b75c4110934451160eeb037fabKostya SerebryanyTEST(AddressSanitizer, BufferOverflowAfterManyFrees) { 17734eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany for (int i = 0; i < 1000000; i++) { 17744eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany delete [] (Ident(new char [8644])); 17754eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany } 17764eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany char *x = new char[8192]; 1777ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany EXPECT_DEATH(x[Ident(8192)] = 0, "AddressSanitizer: heap-buffer-overflow"); 17784eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany delete [] Ident(x); 17794eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany} 17804eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany 17811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17825b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov// Test that instrumentation of stack allocations takes into account 17835b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov// AllocSize of a type, and not its StoreSize (16 vs 10 bytes for long double). 17845b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov// See http://llvm.org/bugs/show_bug.cgi?id=12047 for more details. 17855b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy StepanovTEST(AddressSanitizer, LongDoubleNegativeTest) { 17865b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov long double a, b; 17879b90e95d4dc59c6d97ed73b2470f5e21e7b346d5Kostya Serebryany static long double c; 17885b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov memcpy(Ident(&a), Ident(&b), sizeof(long double)); 17899b90e95d4dc59c6d97ed73b2470f5e21e7b346d5Kostya Serebryany memcpy(Ident(&c), Ident(&b), sizeof(long double)); 179076e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov} 1791