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