asan_test.cc revision 2697687059e64a4f1319dc23a0a3ca59982d53f6
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 <stdio.h>
141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <signal.h>
151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <stdlib.h>
161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <string.h>
17af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany#include <strings.h>
181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <pthread.h>
191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <stdint.h>
201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <setjmp.h>
211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <assert.h>
221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
23f6607d097833cd53460735c1a5a2fd52b97613ebTimur Iskhodzhanov#if defined(__i386__) || defined(__x86_64__)
241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <emmintrin.h>
251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif
261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_test_utils.h"
281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__
301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <malloc.h>
31fb506cb56c7f47a9f0aa515d6f5ca3ed6533422fAlexander Potapenko#else
32ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko#include <malloc/malloc.h>
330503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko#include <AvailabilityMacros.h>  // For MAC_OS_X_VERSION_*
34fb506cb56c7f47a9f0aa515d6f5ca3ed6533422fAlexander Potapenko#include <CoreFoundation/CFString.h>
351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif  // __APPLE__
361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_HAS_EXCEPTIONS
381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany# define ASAN_THROW(x) throw (x)
391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else
401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany# define ASAN_THROW(x)
411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif
421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <sys/mman.h>
441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef uint8_t   U1;
461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef uint16_t  U2;
471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef uint32_t  U4;
481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef uint64_t  U8;
491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic const int kPageSize = 4096;
511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Simple stand-alone pseudorandom number generator.
531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Current algorithm is ANSI C linear congruential PRNG.
541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic inline uint32_t my_rand(uint32_t* state) {
551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return (*state = *state * 1103515245 + 12345) >> 16;
561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic uint32_t global_seed = 0;
591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyconst size_t kLargeMalloc = 1 << 24;
611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
622dcf44991a8ec1ca7c8051eb27c5ff158530bdc3Timur Iskhodzhanovtemplate<typename T>
63938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void asan_write(T *a) {
641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *a = 0;
651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
67938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void asan_write_sized_aligned(uint8_t *p, size_t size) {
6876e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov  EXPECT_EQ(0U, ((uintptr_t)p % size));
691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if      (size == 1) asan_write((uint8_t*)p);
701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  else if (size == 2) asan_write((uint16_t*)p);
711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  else if (size == 4) asan_write((uint32_t*)p);
721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  else if (size == 8) asan_write((uint64_t*)p);
731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
75938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_fff(size_t size) {
761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = malloc/**/(size); break_optimization(0); return res;}
77938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_eee(size_t size) {
781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = malloc_fff(size); break_optimization(0); return res;}
79938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_ddd(size_t size) {
801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = malloc_eee(size); break_optimization(0); return res;}
81938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_ccc(size_t size) {
821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = malloc_ddd(size); break_optimization(0); return res;}
83938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_bbb(size_t size) {
841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = malloc_ccc(size); break_optimization(0); return res;}
85938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *malloc_aaa(size_t size) {
861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = malloc_bbb(size); break_optimization(0); return res;}
871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__
89938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_fff(size_t alignment, size_t size) {
901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = memalign/**/(alignment, size); break_optimization(0); return res;}
91938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_eee(size_t alignment, size_t size) {
921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = memalign_fff(alignment, size); break_optimization(0); return res;}
93938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_ddd(size_t alignment, size_t size) {
941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = memalign_eee(alignment, size); break_optimization(0); return res;}
95938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_ccc(size_t alignment, size_t size) {
961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = memalign_ddd(alignment, size); break_optimization(0); return res;}
97938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_bbb(size_t alignment, size_t size) {
981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = memalign_ccc(alignment, size); break_optimization(0); return res;}
99938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void *memalign_aaa(size_t alignment, size_t size) {
1001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *res = memalign_bbb(alignment, size); break_optimization(0); return res;}
1011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif  // __APPLE__
1021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
104938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void free_ccc(void *p) { free(p); break_optimization(0);}
105938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void free_bbb(void *p) { free_ccc(p); break_optimization(0);}
106938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void free_aaa(void *p) { free_bbb(p); break_optimization(0);}
1071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1082dcf44991a8ec1ca7c8051eb27c5ff158530bdc3Timur Iskhodzhanovtemplate<typename T>
109938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void oob_test(int size, int off) {
1101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *p = (char*)malloc_aaa(size);
1111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // fprintf(stderr, "writing %d byte(s) into [%p,%p) with offset %d\n",
1121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  //        sizeof(T), p, p + size, off);
1131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  asan_write((T*)(p + off));
1141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free_aaa(p);
1151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
1161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1182dcf44991a8ec1ca7c8051eb27c5ff158530bdc3Timur Iskhodzhanovtemplate<typename T>
119938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void uaf_test(int size, int off) {
1201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *p = (char *)malloc_aaa(size);
1211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free_aaa(p);
1221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int i = 1; i < 100; i++)
1231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    free_aaa(malloc_aaa(i));
1241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  fprintf(stderr, "writing %ld byte(s) at %p with offset %d\n",
1251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          (long)sizeof(T), p, off);
1261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  asan_write((T*)(p + off));
1271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
1281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
12913ebae606b526399771e9cca1d6a9d24458ad0f1Kostya SerebryanyTEST(AddressSanitizer, HasFeatureAddressSanitizerTest) {
13013ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany#if defined(__has_feature) && __has_feature(address_sanitizer)
13113ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany  bool asan = 1;
132badab16503e025326a46a45da8faa6fd20e5fc3dKostya Serebryany#elif defined(__SANITIZE_ADDRESS__)
133badab16503e025326a46a45da8faa6fd20e5fc3dKostya Serebryany  bool asan = 1;
13413ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany#else
13513ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany  bool asan = 0;
13613ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany#endif
13713ebae606b526399771e9cca1d6a9d24458ad0f1Kostya Serebryany  EXPECT_EQ(true, asan);
1381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
1391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1401e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SimpleDeathTest) {
1411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(exit(1), "");
1421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
1431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1441e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, VariousMallocsTest) {
1451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *a = (int*)malloc(100 * sizeof(int));
1461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  a[50] = 0;
1471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(a);
1481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *r = (int*)malloc(10);
1501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  r = (int*)realloc(r, 2000 * sizeof(int));
1511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  r[1000] = 0;
1521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(r);
1531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *b = new int[100];
1551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  b[50] = 0;
1561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  delete [] b;
1571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *c = new int;
1591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *c = 0;
1601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  delete c;
1611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
162e0e9eea99d7a81a15c4bb15ff2e5ebd92b50817bEvgeniy Stepanov#if !defined(__APPLE__) && !defined(ANDROID) && !defined(__ANDROID__)
1631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *pm;
1641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int pm_res = posix_memalign((void**)&pm, kPageSize, kPageSize);
1651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, pm_res);
1661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(pm);
1677274eafceb832e1088f30b71652992787ba8c456Evgeniy Stepanov#endif
1681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1694dd8ba8238b1b698953628affe6e5b2edf3b3e3fAlexey Samsonov#if !defined(__APPLE__)
1701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *ma = (int*)memalign(kPageSize, kPageSize);
17176e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov  EXPECT_EQ(0U, (uintptr_t)ma % kPageSize);
1721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  ma[123] = 0;
1731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(ma);
1741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif  // __APPLE__
1751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
1761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1771e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, CallocTest) {
1781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *a = (int*)calloc(100, sizeof(int));
1791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, a[10]);
1801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(a);
1811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
1821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1831e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, VallocTest) {
1841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *a = valloc(100);
18576e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov  EXPECT_EQ(0U, (uintptr_t)a % kPageSize);
1861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(a);
1871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
1881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__
1901e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, PvallocTest) {
1911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *a = (char*)pvalloc(kPageSize + 100);
19276e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov  EXPECT_EQ(0U, (uintptr_t)a % kPageSize);
1931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  a[kPageSize + 101] = 1;  // we should not report an error here.
1941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(a);
1951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  a = (char*)pvalloc(0);  // pvalloc(0) should allocate at least one page.
19776e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov  EXPECT_EQ(0U, (uintptr_t)a % kPageSize);
1981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  a[101] = 1;  // we should not report an error here.
1991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(a);
2001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
2011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif  // __APPLE__
2021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
2031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *TSDWorker(void *test_key) {
2041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (test_key) {
2051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    pthread_setspecific(*(pthread_key_t*)test_key, (void*)0xfeedface);
2061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
2071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return NULL;
2081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
2091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
2101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid TSDDestructor(void *tsd) {
2111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Spawning a thread will check that the current thread id is not -1.
2121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_t th;
2132697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&th, NULL, TSDWorker, NULL);
2142697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(th, NULL);
2151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
2161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
2171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This tests triggers the thread-specific data destruction fiasco which occurs
2181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// if we don't manage the TSD destructors ourselves. We create a new pthread
2191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// key with a non-NULL destructor which is likely to be put after the destructor
2201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// of AsanThread in the list of destructors.
2211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// In this case the TSD for AsanThread will be destroyed before TSDDestructor
2221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// is called for the child thread, and a CHECK will fail when we call
2231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// pthread_create() to spawn the grandchild.
2241e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_TSDTest) {
2251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_t th;
2261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_key_t test_key;
2271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_key_create(&test_key, TSDDestructor);
2282697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&th, NULL, TSDWorker, &test_key);
2292697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(th, NULL);
2301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_key_delete(test_key);
2311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
2321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
2332dcf44991a8ec1ca7c8051eb27c5ff158530bdc3Timur Iskhodzhanovtemplate<typename T>
2341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid OOBTest() {
2351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char expected_str[100];
2361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int size = sizeof(T); size < 20; size += 5) {
2371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    for (int i = -5; i < 0; i++) {
2381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      const char *str =
2391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          "is located.*%d byte.*to the left";
2401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      sprintf(expected_str, str, abs(i));
2411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      EXPECT_DEATH(oob_test<T>(size, i), expected_str);
2421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    }
2431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
24476e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov    for (int i = 0; i < (int)(size - sizeof(T) + 1); i++)
2451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      oob_test<T>(size, i);
2461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
24776e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov    for (int i = size - sizeof(T) + 1; i <= (int)(size + 3 * sizeof(T)); i++) {
2481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      const char *str =
2491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          "is located.*%d byte.*to the right";
2501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      int off = i >= size ? (i - size) : 0;
2511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      // we don't catch unaligned partially OOB accesses.
2521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      if (i % sizeof(T)) continue;
2531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      sprintf(expected_str, str, off);
2541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      EXPECT_DEATH(oob_test<T>(size, i), expected_str);
2551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    }
2561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
2571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
2581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(oob_test<T>(kLargeMalloc, -1),
2591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          "is located.*1 byte.*to the left");
2601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(oob_test<T>(kLargeMalloc, kLargeMalloc),
2611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          "is located.*0 byte.*to the right");
2621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
2631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
2641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(glider): the following tests are EXTREMELY slow on Darwin:
2651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany//   AddressSanitizer.OOB_char (125503 ms)
2661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany//   AddressSanitizer.OOB_int (126890 ms)
2671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany//   AddressSanitizer.OOBRightTest (315605 ms)
2681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany//   AddressSanitizer.SimpleStackTest (366559 ms)
2691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
2701e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, OOB_char) {
2711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  OOBTest<U1>();
2721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
2731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
2741e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, OOB_int) {
2751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  OOBTest<U4>();
2761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
2771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
2781e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, OOBRightTest) {
2791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (size_t access_size = 1; access_size <= 8; access_size *= 2) {
2801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    for (size_t alloc_size = 1; alloc_size <= 8; alloc_size++) {
2811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      for (size_t offset = 0; offset <= 8; offset += access_size) {
2821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        void *p = malloc(alloc_size);
2831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        // allocated: [p, p + alloc_size)
2841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        // accessed:  [p + offset, p + offset + access_size)
2851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        uint8_t *addr = (uint8_t*)p + offset;
2861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        if (offset + access_size <= alloc_size) {
2871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          asan_write_sized_aligned(addr, access_size);
2881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        } else {
2891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          int outside_bytes = offset > alloc_size ? (offset - alloc_size) : 0;
2901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          const char *str =
2911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany              "is located.%d *byte.*to the right";
2921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          char expected_str[100];
2931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          sprintf(expected_str, str, outside_bytes);
2941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany          EXPECT_DEATH(asan_write_sized_aligned(addr, access_size),
2951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany                       expected_str);
2961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        }
2971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        free(p);
2981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      }
2991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    }
3001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
3011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
3021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
3031e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UAF_char) {
304ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany  const char *uaf_string = "AddressSanitizer:.*heap-use-after-free";
3051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(uaf_test<U1>(1, 0), uaf_string);
3061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(uaf_test<U1>(10, 0), uaf_string);
3071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(uaf_test<U1>(10, 10), uaf_string);
3081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(uaf_test<U1>(kLargeMalloc, 0), uaf_string);
3091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(uaf_test<U1>(kLargeMalloc, kLargeMalloc / 2), uaf_string);
3101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
3111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
3121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_HAS_BLACKLIST
3131e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, IgnoreTest) {
3141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *x = Ident(new int);
3151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  delete Ident(x);
3161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *x = 0;
3171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
3181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif  // ASAN_HAS_BLACKLIST
3191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
3201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystruct StructWithBitField {
3211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int bf1:1;
3221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int bf2:1;
3231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int bf3:1;
3241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int bf4:29;
3251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany};
3261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
3271e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, BitFieldPositiveTest) {
3281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  StructWithBitField *x = new StructWithBitField;
3291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  delete Ident(x);
3301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(x->bf1 = 0, "use-after-free");
3311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(x->bf2 = 0, "use-after-free");
3321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(x->bf3 = 0, "use-after-free");
3331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(x->bf4 = 0, "use-after-free");
33476e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov}
3351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
3361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystruct StructWithBitFields_8_24 {
3371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int a:8;
3381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int b:24;
3391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany};
3401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
3411e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, BitFieldNegativeTest) {
3421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  StructWithBitFields_8_24 *x = Ident(new StructWithBitFields_8_24);
3431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x->a = 0;
3441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x->b = 0;
3451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  delete Ident(x);
3461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
3471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
3481e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, OutOfMemoryTest) {
3495af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany  size_t size = SANITIZER_WORDSIZE == 64 ? (size_t)(1ULL << 48) : (0xf0000000);
3501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, realloc(0, size));
3511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, realloc(0, ~Ident(0)));
3521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, malloc(size));
3531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, malloc(~Ident(0)));
3541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, calloc(1, size));
3551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, calloc(1, ~Ident(0)));
3561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
3571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
3581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_NEEDS_SEGV
35958b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenkonamespace {
36058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko
361ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryanyconst char kUnknownCrash[] = "AddressSanitizer: SEGV on unknown address";
36258b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenkoconst char kOverriddenHandler[] = "ASan signal handler has been overridden\n";
36358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko
3641e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, WildAddressTest) {
3651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *c = (char*)0x123;
36658b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  EXPECT_DEATH(*c = 0, kUnknownCrash);
36758b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko}
36858b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko
36958b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenkovoid my_sigaction_sighandler(int, siginfo_t*, void*) {
37058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  fprintf(stderr, kOverriddenHandler);
37158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  exit(1);
37258b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko}
37358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko
374b0ddf227b25388ad836e560c00f0aec84026b0e5Alexey Samsonovvoid my_signal_sighandler(int signum) {
37558b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  fprintf(stderr, kOverriddenHandler);
37658b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  exit(1);
37758b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko}
37858b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko
37958b017bb286a8f4413a9348d2c87c52de38cff6dAlexander PotapenkoTEST(AddressSanitizer, SignalTest) {
38058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  struct sigaction sigact;
38158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  memset(&sigact, 0, sizeof(sigact));
38258b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  sigact.sa_sigaction = my_sigaction_sighandler;
38358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  sigact.sa_flags = SA_SIGINFO;
38458b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  // ASan should silently ignore sigaction()...
38558b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  EXPECT_EQ(0, sigaction(SIGSEGV, &sigact, 0));
38658b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko#ifdef __APPLE__
38758b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  EXPECT_EQ(0, sigaction(SIGBUS, &sigact, 0));
38858b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko#endif
38958b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  char *c = (char*)0x123;
39058b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  EXPECT_DEATH(*c = 0, kUnknownCrash);
39158b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  // ... and signal().
39258b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  EXPECT_EQ(0, signal(SIGSEGV, my_signal_sighandler));
39358b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko  EXPECT_DEATH(*c = 0, kUnknownCrash);
39458b017bb286a8f4413a9348d2c87c52de38cff6dAlexander Potapenko}
395b0ddf227b25388ad836e560c00f0aec84026b0e5Alexey Samsonov}  // namespace
3961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif
3971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
3981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void MallocStress(size_t n) {
3991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  uint32_t seed = my_rand(&global_seed);
4001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (size_t iter = 0; iter < 10; iter++) {
4011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    vector<void *> vec;
4021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    for (size_t i = 0; i < n; i++) {
4031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      if ((i % 3) == 0) {
4041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        if (vec.empty()) continue;
4051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        size_t idx = my_rand(&seed) % vec.size();
4061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        void *ptr = vec[idx];
4071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        vec[idx] = vec.back();
4081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        vec.pop_back();
4091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        free_aaa(ptr);
4101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      } else {
4111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        size_t size = my_rand(&seed) % 1000 + 1;
4121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__
4131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        size_t alignment = 1 << (my_rand(&seed) % 7 + 3);
4141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        char *ptr = (char*)memalign_aaa(alignment, size);
4151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else
4161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        char *ptr = (char*) malloc_aaa(size);
4171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif
4181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        vec.push_back(ptr);
4191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        ptr[0] = 0;
4201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        ptr[size-1] = 0;
4211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        ptr[size/2] = 0;
4221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      }
4231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    }
4241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    for (size_t i = 0; i < vec.size(); i++)
4251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      free_aaa(vec[i]);
4261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
4271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
4281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
4291e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MallocStressTest) {
4308ae44ac678644265ba82a1b5696a402c9301a85cEvgeniy Stepanov  MallocStress((ASAN_LOW_MEMORY) ? 20000 : 200000);
4311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
4321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
4331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void TestLargeMalloc(size_t size) {
4341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char buff[1024];
4351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  sprintf(buff, "is located 1 bytes to the left of %lu-byte", (long)size);
4361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident((char*)malloc(size))[-1] = 0, buff);
4371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
4381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
4391e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LargeMallocTest) {
4401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int i = 113; i < (1 << 28); i = i * 2 + 13) {
4411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    TestLargeMalloc(i);
4421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
4431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
4441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
445788e1d704436065beb514fdde86070f61d0394edEvgeniy Stepanov#if ASAN_LOW_MEMORY != 1
4461e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, HugeMallocTest) {
4471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __APPLE__
4481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // It was empirically found out that 1215 megabytes is the maximum amount of
449e4d141dbbaf5185f332a185c22308340657d243eKostya Serebryany  // memory available to the process under AddressSanitizer on 32-bit Mac 10.6.
450e4d141dbbaf5185f332a185c22308340657d243eKostya Serebryany  // 32-bit Mac 10.7 gives even less (< 1G).
4511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // (the libSystem malloc() allows allocating up to 2300 megabytes without
4521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // ASan).
4535af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany  size_t n_megs = SANITIZER_WORDSIZE == 32 ? 500 : 4100;
4541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else
4555af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany  size_t n_megs = SANITIZER_WORDSIZE == 32 ? 2600 : 4100;
4561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif
4571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  TestLargeMalloc(n_megs << 20);
4581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
459788e1d704436065beb514fdde86070f61d0394edEvgeniy Stepanov#endif
4601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
4611e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedMallocStressTest) {
4621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  const int kNumThreads = 4;
4638ae44ac678644265ba82a1b5696a402c9301a85cEvgeniy Stepanov  const int kNumIterations = (ASAN_LOW_MEMORY) ? 10000 : 100000;
4641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_t t[kNumThreads];
4651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int i = 0; i < kNumThreads; i++) {
4662697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany    PTHREAD_CREATE(&t[i], 0, (void* (*)(void *x))MallocStress,
4678ae44ac678644265ba82a1b5696a402c9301a85cEvgeniy Stepanov        (void*)kNumIterations);
4681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
4691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int i = 0; i < kNumThreads; i++) {
4702697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany    PTHREAD_JOIN(t[i], 0);
4711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
4721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
4731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
4741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ManyThreadsWorker(void *a) {
4751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int iter = 0; iter < 100; iter++) {
4761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    for (size_t size = 100; size < 2000; size *= 2) {
4771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      free(Ident(malloc(size)));
4781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    }
4791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
4801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return 0;
4811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
4821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
4831e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ManyThreadsTest) {
4842697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  const size_t kNumThreads =
4852697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany      (SANITIZER_WORDSIZE == 32 || ASAN_AVOID_EXPENSIVE_TESTS) ? 30 : 1000;
4861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_t t[kNumThreads];
4871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (size_t i = 0; i < kNumThreads; i++) {
4882697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany    PTHREAD_CREATE(&t[i], 0, ManyThreadsWorker, (void*)i);
4891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
4901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (size_t i = 0; i < kNumThreads; i++) {
4912697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany    PTHREAD_JOIN(t[i], 0);
4921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
4931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
4941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
4951e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ReallocTest) {
4961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  const int kMinElem = 5;
4971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *ptr = (int*)malloc(sizeof(int) * kMinElem);
4981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  ptr[3] = 3;
4991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int i = 0; i < 10000; i++) {
5001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    ptr = (int*)realloc(ptr,
5011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany        (my_rand(&global_seed) % 1000 + kMinElem) * sizeof(int));
5021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    EXPECT_EQ(3, ptr[3]);
5031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
5041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
5051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
5064fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov#ifndef __APPLE__
5074fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonovstatic const char *kMallocUsableSizeErrorMsg =
508ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany  "AddressSanitizer: attempting to call malloc_usable_size()";
5094fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov
5104fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey SamsonovTEST(AddressSanitizer, MallocUsableSizeTest) {
5114fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov  const size_t kArraySize = 100;
5124fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov  char *array = Ident((char*)malloc(kArraySize));
5134fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov  int *int_ptr = Ident(new int);
51476e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov  EXPECT_EQ(0U, malloc_usable_size(NULL));
5154fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov  EXPECT_EQ(kArraySize, malloc_usable_size(array));
5164fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov  EXPECT_EQ(sizeof(int), malloc_usable_size(int_ptr));
5174fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov  EXPECT_DEATH(malloc_usable_size((void*)0x123), kMallocUsableSizeErrorMsg);
5184fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov  EXPECT_DEATH(malloc_usable_size(array + kArraySize / 2),
5194fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov               kMallocUsableSizeErrorMsg);
5204fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov  free(array);
5214fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov  EXPECT_DEATH(malloc_usable_size(array), kMallocUsableSizeErrorMsg);
5224fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov}
5234fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov#endif
5244fd95f141f78906570c15a8a3b4cf0a7b50a201dAlexey Samsonov
5251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid WrongFree() {
5261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *x = (int*)malloc(100 * sizeof(int));
5271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Use the allocated memory, otherwise Clang will optimize it out.
5281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(x);
5291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(x + 1);
5301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
5311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
5321e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, WrongFreeTest) {
533c16201337a4bb974093ff75aa45682739a331d05Kostya Serebryany  EXPECT_DEATH(WrongFree(),
534ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany               "ERROR: AddressSanitizer: attempting free.*not malloc");
5351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
5361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
5371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid DoubleFree() {
5381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *x = (int*)malloc(100 * sizeof(int));
5391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  fprintf(stderr, "DoubleFree: x=%p\n", x);
5401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(x);
5411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(x);
5421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  fprintf(stderr, "should have failed in the second free(%p)\n", x);
5431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  abort();
5441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
5451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
5461e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DoubleFreeTest) {
54727f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany  EXPECT_DEATH(DoubleFree(), ASAN_PCRE_DOTALL
548ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany               "ERROR: AddressSanitizer: attempting double-free"
54927f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany               ".*is located 0 bytes inside of 400-byte region"
55027f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany               ".*freed by thread T0 here"
55127f4932a8a0845303b33d69ddce096c445002e60Kostya Serebryany               ".*previously allocated by thread T0 here");
5521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
5531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
5541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate<int kSize>
555938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void SizedStackTest() {
5561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char a[kSize];
5571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char  *A = Ident((char*)&a);
5581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (size_t i = 0; i < kSize; i++)
5591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    A[i] = i;
5601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(A[-1] = 0, "");
5611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(A[-20] = 0, "");
5621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(A[-31] = 0, "");
5631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(A[kSize] = 0, "");
5641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(A[kSize + 1] = 0, "");
5651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(A[kSize + 10] = 0, "");
5661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(A[kSize + 31] = 0, "");
5671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
5681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
5691e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SimpleStackTest) {
5701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<1>();
5711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<2>();
5721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<3>();
5731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<4>();
5741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<5>();
5751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<6>();
5761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<7>();
5771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<16>();
5781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<25>();
5791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<34>();
5801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<43>();
5811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<51>();
5821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<62>();
5831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<64>();
5841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SizedStackTest<128>();
5851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
5861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
5871e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ManyStackObjectsTest) {
5881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char XXX[10];
5891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char YYY[20];
5901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char ZZZ[30];
5911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(XXX);
5921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(YYY);
5931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(ZZZ)[-1] = 0, ASAN_PCRE_DOTALL "XXX.*YYY.*ZZZ");
5941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
5951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
596938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame0(int frame, char *a, char *b, char *c) {
5971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char d[4] = {0};
5981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *D = Ident(d);
5991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  switch (frame) {
6001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    case 3: a[5]++; break;
6011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    case 2: b[5]++; break;
6021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    case 1: c[5]++; break;
6031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    case 0: D[5]++; break;
6041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
6051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
606938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame1(int frame, char *a, char *b) {
6071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char c[4] = {0}; Frame0(frame, a, b, c);
6081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  break_optimization(0);
6091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
610938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame2(int frame, char *a) {
6111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char b[4] = {0}; Frame1(frame, a, b);
6121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  break_optimization(0);
6131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
614938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void Frame3(int frame) {
6151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char a[4] = {0}; Frame2(frame, a);
6161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  break_optimization(0);
6171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
6181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
6191e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame0Test) {
6201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Frame3(0), "located .*in frame <.*Frame0");
6211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
6221e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame1Test) {
6231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Frame3(1), "located .*in frame <.*Frame1");
6241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
6251e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame2Test) {
6261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Frame3(2), "located .*in frame <.*Frame2");
6271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
6281e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame3Test) {
6291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Frame3(3), "located .*in frame <.*Frame3");
6301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
6311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
632938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void LongJmpFunc1(jmp_buf buf) {
6331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // create three red zones for these two stack objects.
6341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int a;
6351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int b;
6361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
6371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *A = Ident(&a);
6381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *B = Ident(&b);
6391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *A = *B;
6401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  longjmp(buf, 1);
6411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
6421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
643d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya SerebryanyNOINLINE void BuiltinLongJmpFunc1(jmp_buf buf) {
644d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany  // create three red zones for these two stack objects.
645d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany  int a;
646d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany  int b;
647d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany
648d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany  int *A = Ident(&a);
649d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany  int *B = Ident(&b);
650d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany  *A = *B;
651d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany  __builtin_longjmp((void**)buf, 1);
652d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany}
653d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany
654938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void UnderscopeLongJmpFunc1(jmp_buf buf) {
6551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // create three red zones for these two stack objects.
6561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int a;
6571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int b;
6581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
6591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *A = Ident(&a);
6601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *B = Ident(&b);
6611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *A = *B;
6621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  _longjmp(buf, 1);
6631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
6641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
665938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void SigLongJmpFunc1(sigjmp_buf buf) {
6661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // create three red zones for these two stack objects.
6671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int a;
6681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int b;
6691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
6701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *A = Ident(&a);
6711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *B = Ident(&b);
6721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *A = *B;
6731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  siglongjmp(buf, 1);
6741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
6751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
6761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
677938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void TouchStackFunc() {
6781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int a[100];  // long array will intersect with redzones from LongJmpFunc1.
6791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *A = Ident(a);
6801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int i = 0; i < 100; i++)
6811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    A[i] = i*i;
6821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
6831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
6841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Test that we handle longjmp and do not report fals positives on stack.
6851e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LongJmpTest) {
6861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static jmp_buf buf;
6871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (!setjmp(buf)) {
6881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    LongJmpFunc1(buf);
6891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  } else {
6901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    TouchStackFunc();
6911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
6921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
6931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
694b989143d0be56496e8d5fcf75969af35a058792aKostya Serebryany#if not defined(__ANDROID__)
695c3a5c173f228cbb15e332e6bbc17c76ebd55d7a8Kostya SerebryanyTEST(AddressSanitizer, BuiltinLongJmpTest) {
696d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany  static jmp_buf buf;
697c3a5c173f228cbb15e332e6bbc17c76ebd55d7a8Kostya Serebryany  if (!__builtin_setjmp((void**)buf)) {
698d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany    BuiltinLongJmpFunc1(buf);
699d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany  } else {
700d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany    TouchStackFunc();
701d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany  }
702d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany}
703b989143d0be56496e8d5fcf75969af35a058792aKostya Serebryany#endif  // not defined(__ANDROID__)
704d3ca78fdb296d2a51fc224da673ebfff508acf44Kostya Serebryany
7051e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UnderscopeLongJmpTest) {
7061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static jmp_buf buf;
7071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (!_setjmp(buf)) {
7081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    UnderscopeLongJmpFunc1(buf);
7091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  } else {
7101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    TouchStackFunc();
7111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
7121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
7131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
7141e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SigLongJmpTest) {
7151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static sigjmp_buf buf;
7161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (!sigsetjmp(buf, 1)) {
7171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    SigLongJmpFunc1(buf);
7181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  } else {
7191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    TouchStackFunc();
7201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
7211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
7221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
7231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __EXCEPTIONS
724938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE void ThrowFunc() {
7251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // create three red zones for these two stack objects.
7261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int a;
7271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int b;
7281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
7291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *A = Ident(&a);
7301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *B = Ident(&b);
7311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *A = *B;
7321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  ASAN_THROW(1);
7331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
7341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
7351e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, CxxExceptionTest) {
7361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (ASAN_UAR) return;
7371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // TODO(kcc): this test crashes on 32-bit for some reason...
7385af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany  if (SANITIZER_WORDSIZE == 32) return;
7391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  try {
7401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    ThrowFunc();
7411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  } catch(...) {}
7421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  TouchStackFunc();
7431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
7441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif
7451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
7461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadStackReuseFunc1(void *unused) {
7471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // create three red zones for these two stack objects.
7481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int a;
7491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int b;
7501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
7511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *A = Ident(&a);
7521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *B = Ident(&b);
7531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *A = *B;
7541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_exit(0);
7551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return 0;
7561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
7571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
7581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadStackReuseFunc2(void *unused) {
7591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  TouchStackFunc();
7601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return 0;
7611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
7621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
7631e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadStackReuseTest) {
7641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_t t;
7652697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&t, 0, ThreadStackReuseFunc1, 0);
7662697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(t, 0);
7672697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&t, 0, ThreadStackReuseFunc2, 0);
7682697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(t, 0);
7691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
7701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
771f6607d097833cd53460735c1a5a2fd52b97613ebTimur Iskhodzhanov#if defined(__i386__) || defined(__x86_64__)
7721e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, Store128Test) {
7731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *a = Ident((char*)malloc(Ident(12)));
7741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *p = a;
7751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (((uintptr_t)a % 16) != 0)
7761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    p = a + 8;
7771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  assert(((uintptr_t)p % 16) == 0);
7781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  __m128i value_wide = _mm_set1_epi16(0x1234);
7791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide),
780ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany               "AddressSanitizer: heap-buffer-overflow");
781acd5c617b219e0f059620c2a3928d2cc821d4534Kostya Serebryany  EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide),
7821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "WRITE of size 16");
7831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide),
7841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "located 0 bytes to the right of 12-byte");
7851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(a);
7861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
7871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif
7881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
7891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic string RightOOBErrorMessage(int oob_distance) {
7901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  assert(oob_distance >= 0);
7911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char expected_str[100];
7921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  sprintf(expected_str, "located %d bytes to the right", oob_distance);
7931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return string(expected_str);
7941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
7951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
7961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic string LeftOOBErrorMessage(int oob_distance) {
7971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  assert(oob_distance > 0);
7981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char expected_str[100];
7991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  sprintf(expected_str, "located %d bytes to the left", oob_distance);
8001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return string(expected_str);
8011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
8021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8032dcf44991a8ec1ca7c8051eb27c5ff158530bdc3Timur Iskhodzhanovtemplate<typename T>
8041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid MemSetOOBTestTemplate(size_t length) {
8051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (length == 0) return;
8061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t size = Ident(sizeof(T) * length);
8071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  T *array = Ident((T*)malloc(size));
8081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int element = Ident(42);
8091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int zero = Ident(0);
8101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // memset interval inside array
8111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(array, element, size);
8121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(array, element, size - 1);
8131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(array + length - 1, element, sizeof(T));
8141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(array, element, 1);
8151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // memset 0 bytes
8171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(array - 10, element, zero);
8181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(array - 1, element, zero);
8191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(array, element, zero);
8201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(array + length, 0, zero);
8211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(array + length + 1, 0, zero);
8221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // try to memset bytes to the right of array
8241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(memset(array, 0, size + 1),
8251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(0));
8261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(memset((char*)(array + length) - 1, element, 6),
8271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(4));
8281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(memset(array + 1, element, size + sizeof(T)),
8291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(2 * sizeof(T) - 1));
8301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // whole interval is to the right
8311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(memset(array + length + 1, 0, 10),
8321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(sizeof(T)));
8331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // try to memset bytes to the left of array
8351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(memset((char*)array - 1, element, size),
8361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(1));
8371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(memset((char*)array - 5, 0, 6),
8381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(5));
8391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(memset(array - 5, element, size + 5 * sizeof(T)),
8401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(5 * sizeof(T)));
8411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // whole interval is to the left
8421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(memset(array - 2, 0, sizeof(T)),
8431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(2 * sizeof(T)));
8441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // try to memset bytes both to the left & to the right
8461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(memset((char*)array - 2, element, size + 4),
8471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(2));
8481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(array);
8501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
8511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8521e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MemSetOOBTest) {
8531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  MemSetOOBTestTemplate<char>(100);
8541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  MemSetOOBTestTemplate<int>(5);
8551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  MemSetOOBTestTemplate<double>(256);
8561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // We can test arrays of structres/classes here, but what for?
8571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
8581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Same test for memcpy and memmove functions
8602dcf44991a8ec1ca7c8051eb27c5ff158530bdc3Timur Iskhodzhanovtemplate <typename T, class M>
8611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid MemTransferOOBTestTemplate(size_t length) {
8621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (length == 0) return;
8631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t size = Ident(sizeof(T) * length);
8641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  T *src = Ident((T*)malloc(size));
8651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  T *dest = Ident((T*)malloc(size));
8661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int zero = Ident(0);
8671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // valid transfer of bytes between arrays
8691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  M::transfer(dest, src, size);
8701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  M::transfer(dest + 1, src, size - sizeof(T));
8711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  M::transfer(dest, src + length - 1, sizeof(T));
8721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  M::transfer(dest, src, 1);
8731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // transfer zero bytes
8751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  M::transfer(dest - 1, src, 0);
8761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  M::transfer(dest + length, src, zero);
8771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  M::transfer(dest, src - 1, zero);
8781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  M::transfer(dest, src, zero);
8791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // try to change mem to the right of dest
8811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(M::transfer(dest + 1, src, size),
8821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(sizeof(T) - 1));
8831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(M::transfer((char*)(dest + length) - 1, src, 5),
8841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(3));
8851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // try to change mem to the left of dest
8871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(M::transfer(dest - 2, src, size),
8881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(2 * sizeof(T)));
8891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(M::transfer((char*)dest - 3, src, 4),
8901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(3));
8911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // try to access mem to the right of src
8931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(M::transfer(dest, src + 2, size),
8941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(2 * sizeof(T) - 1));
8951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(M::transfer(dest, (char*)(src + length) - 3, 6),
8961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(2));
8971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
8981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // try to access mem to the left of src
8991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(M::transfer(dest, src - 1, size),
9001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(sizeof(T)));
9011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(M::transfer(dest, (char*)src - 6, 7),
9021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(6));
9031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
9041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Generally we don't need to test cases where both accessing src and writing
9051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // to dest address to poisoned memory.
9061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
9071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  T *big_src = Ident((T*)malloc(size * 2));
9081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  T *big_dest = Ident((T*)malloc(size * 2));
9091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // try to change mem to both sides of dest
9101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(M::transfer(dest - 1, big_src, size * 2),
9111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(sizeof(T)));
9121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // try to access mem to both sides of src
9131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(M::transfer(big_dest, src - 2, size * 2),
9141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(2 * sizeof(T)));
9151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
9161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(src);
9171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(dest);
9181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(big_src);
9191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(big_dest);
9201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
9211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
9221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyclass MemCpyWrapper {
9231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany public:
9241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static void* transfer(void *to, const void *from, size_t size) {
9251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    return memcpy(to, from, size);
9261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
9271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany};
9281e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MemCpyOOBTest) {
9291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  MemTransferOOBTestTemplate<char, MemCpyWrapper>(100);
9301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  MemTransferOOBTestTemplate<int, MemCpyWrapper>(1024);
9311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
9321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
9331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyclass MemMoveWrapper {
9341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany public:
9351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static void* transfer(void *to, const void *from, size_t size) {
9361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    return memmove(to, from, size);
9371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
9381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany};
9391e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MemMoveOOBTest) {
9401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  MemTransferOOBTestTemplate<char, MemMoveWrapper>(100);
9411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  MemTransferOOBTestTemplate<int, MemMoveWrapper>(1024);
9421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
9431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
9441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Tests for string functions
9451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
9461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Used for string functions tests
9471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic char global_string[] = "global";
9481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic size_t global_string_length = 6;
9491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
9501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Input to a test is a zero-terminated string str with given length
9511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Accesses to the bytes to the left and to the right of str
9521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// are presumed to produce OOB errors
9531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid StrLenOOBTestTemplate(char *str, size_t length, bool is_global) {
9541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Normal strlen calls
9551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(strlen(str), length);
9561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (length > 0) {
95776e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov    EXPECT_EQ(length - 1, strlen(str + 1));
95876e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov    EXPECT_EQ(0U, strlen(str + length));
9591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
9601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Arg of strlen is not malloced, OOB access
9611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (!is_global) {
9621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    // We don't insert RedZones to the left of global variables
9631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    EXPECT_DEATH(Ident(strlen(str - 1)), LeftOOBErrorMessage(1));
9641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    EXPECT_DEATH(Ident(strlen(str - 5)), LeftOOBErrorMessage(5));
9651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
9661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strlen(str + length + 1)), RightOOBErrorMessage(0));
9671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Overwrite terminator
9681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[length] = 'a';
9691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // String is not zero-terminated, strlen will lead to OOB access
9701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strlen(str)), RightOOBErrorMessage(0));
9711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strlen(str + length)), RightOOBErrorMessage(0));
9721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Restore terminator
9731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[length] = 0;
9741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
9751e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrLenOOBTest) {
9761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Check heap-allocated string
9771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t length = Ident(10);
9781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *heap_string = Ident((char*)malloc(length + 1));
9791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char stack_string[10 + 1];
980badab16503e025326a46a45da8faa6fd20e5fc3dKostya Serebryany  break_optimization(&stack_string);
98176e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov  for (size_t i = 0; i < length; i++) {
9821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    heap_string[i] = 'a';
9831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    stack_string[i] = 'b';
9841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
9851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  heap_string[length] = 0;
9861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  stack_string[length] = 0;
9871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  StrLenOOBTestTemplate(heap_string, length, false);
9881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // TODO(samsonov): Fix expected messages in StrLenOOBTestTemplate to
9891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  //      make test for stack_string work. Or move it to output tests.
9901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // StrLenOOBTestTemplate(stack_string, length, false);
9911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  StrLenOOBTestTemplate(global_string, global_string_length, true);
9921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(heap_string);
9931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
9941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
995847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovstatic inline char* MallocAndMemsetString(size_t size, char ch) {
996af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  char *s = Ident((char*)malloc(size));
997847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  memset(s, ch, size);
998af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  return s;
999af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany}
1000847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovstatic inline char* MallocAndMemsetString(size_t size) {
1001847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  return MallocAndMemsetString(size, 'z');
1002847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov}
1003af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany
10041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__
10051e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrNLenOOBTest) {
10061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t size = Ident(123);
1007af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  char *str = MallocAndMemsetString(size);
10081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Normal strnlen calls.
10091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(strnlen(str - 1, 0));
10101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(strnlen(str, size));
10111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(strnlen(str + size - 1, 1));
10121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[size - 1] = '\0';
10131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(strnlen(str, 2 * size));
10141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Argument points to not allocated memory.
10151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strnlen(str - 1, 1)), LeftOOBErrorMessage(1));
10161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strnlen(str + size, 1)), RightOOBErrorMessage(0));
10171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Overwrite the terminating '\0' and hit unallocated memory.
10181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[size - 1] = 'z';
10191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strnlen(str, size + 1)), RightOOBErrorMessage(0));
10201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(str);
10211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
10221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif
10231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
10241e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrDupOOBTest) {
10251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t size = Ident(42);
1026af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  char *str = MallocAndMemsetString(size);
10271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *new_str;
10281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Normal strdup calls.
10291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[size - 1] = '\0';
10301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  new_str = strdup(str);
10311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(new_str);
10321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  new_str = strdup(str + size - 1);
10331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(new_str);
10341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Argument points to not allocated memory.
10351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strdup(str - 1)), LeftOOBErrorMessage(1));
10361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strdup(str + size)), RightOOBErrorMessage(0));
10371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Overwrite the terminating '\0' and hit unallocated memory.
10381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[size - 1] = 'z';
10391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strdup(str)), RightOOBErrorMessage(0));
10401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(str);
10411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
10421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
10431e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrCpyOOBTest) {
10441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t to_size = Ident(30);
10451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t from_size = Ident(6);  // less than to_size
10461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *to = Ident((char*)malloc(to_size));
10471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *from = Ident((char*)malloc(from_size));
10481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Normal strcpy calls.
10491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strcpy(from, "hello");
10501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strcpy(to, from);
10511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strcpy(to + to_size - from_size, from);
10521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Length of "from" is too small.
10531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strcpy(from, "hello2")), RightOOBErrorMessage(0));
10541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // "to" or "from" points to not allocated memory.
10551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strcpy(to - 1, from)), LeftOOBErrorMessage(1));
10561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strcpy(to, from - 1)), LeftOOBErrorMessage(1));
10571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strcpy(to, from + from_size)), RightOOBErrorMessage(0));
10581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strcpy(to + to_size, from)), RightOOBErrorMessage(0));
10591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Overwrite the terminating '\0' character and hit unallocated memory.
10601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  from[from_size - 1] = '!';
10611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strcpy(to, from)), RightOOBErrorMessage(0));
10621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(to);
10631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(from);
10641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
10651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
10661e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrNCpyOOBTest) {
10671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t to_size = Ident(20);
10681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t from_size = Ident(6);  // less than to_size
10691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *to = Ident((char*)malloc(to_size));
10701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // From is a zero-terminated string "hello\0" of length 6
10711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *from = Ident((char*)malloc(from_size));
10721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strcpy(from, "hello");
10731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // copy 0 bytes
10741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strncpy(to, from, 0);
10751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strncpy(to - 1, from - 1, 0);
10761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // normal strncpy calls
10771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strncpy(to, from, from_size);
10781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strncpy(to, from, to_size);
10791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strncpy(to, from + from_size - 1, to_size);
10801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strncpy(to + to_size - 1, from, 1);
10811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // One of {to, from} points to not allocated memory
10821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strncpy(to, from - 1, from_size)),
10831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(1));
10841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strncpy(to - 1, from, from_size)),
10851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               LeftOOBErrorMessage(1));
10861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strncpy(to, from + from_size, 1)),
10871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(0));
10881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strncpy(to + to_size, from, 1)),
10891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(0));
10901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Length of "to" is too small
10911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strncpy(to + to_size - from_size + 1, from, from_size)),
10921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(0));
10931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strncpy(to + 1, from, to_size)),
10941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(0));
10951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Overwrite terminator in from
10961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  from[from_size - 1] = '!';
10971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // normal strncpy call
10981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strncpy(to, from, from_size);
10991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Length of "from" is too small
11001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(strncpy(to, from, to_size)),
11011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               RightOOBErrorMessage(0));
11021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(to);
11031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(from);
11041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
11051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1106fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov// Users may have different definitions of "strchr" and "index", so provide
1107fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov// function pointer typedefs and overload RunStrChrTest implementation.
1108fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov// We can't use macro for RunStrChrTest body here, as this macro would
1109fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov// confuse EXPECT_DEATH gtest macro.
1110fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonovtypedef char*(*PointerToStrChr1)(const char*, int);
1111fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonovtypedef char*(*PointerToStrChr2)(char*, int);
1112fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov
1113fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey SamsonovUSED static void RunStrChrTest(PointerToStrChr1 StrChr) {
11141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t size = Ident(100);
1115af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  char *str = MallocAndMemsetString(size);
11161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[10] = 'q';
11171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[11] = '\0';
11181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(str, StrChr(str, 'z'));
11191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(str + 10, StrChr(str, 'q'));
11201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(NULL, StrChr(str, 'a'));
11211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // StrChr argument points to not allocated memory.
11221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(StrChr(str - 1, 'z')), LeftOOBErrorMessage(1));
11231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(StrChr(str + size, 'z')), RightOOBErrorMessage(0));
11241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Overwrite the terminator and hit not allocated memory.
11251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[11] = 'z';
11261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(StrChr(str, 'a')), RightOOBErrorMessage(0));
11271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(str);
11281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
1129fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey SamsonovUSED static void RunStrChrTest(PointerToStrChr2 StrChr) {
1130fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  size_t size = Ident(100);
1131fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  char *str = MallocAndMemsetString(size);
1132fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  str[10] = 'q';
1133fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  str[11] = '\0';
1134fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  EXPECT_EQ(str, StrChr(str, 'z'));
1135fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  EXPECT_EQ(str + 10, StrChr(str, 'q'));
1136fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  EXPECT_EQ(NULL, StrChr(str, 'a'));
1137fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  // StrChr argument points to not allocated memory.
1138fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  EXPECT_DEATH(Ident(StrChr(str - 1, 'z')), LeftOOBErrorMessage(1));
1139fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  EXPECT_DEATH(Ident(StrChr(str + size, 'z')), RightOOBErrorMessage(0));
1140fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  // Overwrite the terminator and hit not allocated memory.
1141fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  str[11] = 'z';
1142fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  EXPECT_DEATH(Ident(StrChr(str, 'a')), RightOOBErrorMessage(0));
1143fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov  free(str);
1144fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov}
1145fa7e95da75c30b7111224e68cb4405357bdc0f4bAlexey Samsonov
11461e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrChrAndIndexOOBTest) {
11471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  RunStrChrTest(&strchr);
11481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  RunStrChrTest(&index);
11491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
11501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
11511e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrCmpAndFriendsLogicTest) {
11521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // strcmp
11531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, strcmp("", ""));
11541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, strcmp("abcd", "abcd"));
1155af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_GT(0, strcmp("ab", "ac"));
1156af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_GT(0, strcmp("abc", "abcd"));
1157af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_LT(0, strcmp("acc", "abc"));
1158af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_LT(0, strcmp("abcd", "abc"));
11591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
11601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // strncmp
11611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, strncmp("a", "b", 0));
11621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, strncmp("abcd", "abcd", 10));
11631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, strncmp("abcd", "abcef", 3));
1164af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_GT(0, strncmp("abcde", "abcfa", 4));
1165af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_GT(0, strncmp("a", "b", 5));
1166af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_GT(0, strncmp("bc", "bcde", 4));
1167af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_LT(0, strncmp("xyz", "xyy", 10));
1168af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_LT(0, strncmp("baa", "aaa", 1));
1169af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_LT(0, strncmp("zyx", "", 2));
1170af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany
1171af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  // strcasecmp
1172af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_EQ(0, strcasecmp("", ""));
1173af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_EQ(0, strcasecmp("zzz", "zzz"));
1174af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_EQ(0, strcasecmp("abCD", "ABcd"));
1175af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_GT(0, strcasecmp("aB", "Ac"));
1176af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_GT(0, strcasecmp("ABC", "ABCd"));
1177af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_LT(0, strcasecmp("acc", "abc"));
1178af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_LT(0, strcasecmp("ABCd", "abc"));
1179af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany
1180af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  // strncasecmp
1181af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_EQ(0, strncasecmp("a", "b", 0));
1182af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_EQ(0, strncasecmp("abCD", "ABcd", 10));
1183af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_EQ(0, strncasecmp("abCd", "ABcef", 3));
1184af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_GT(0, strncasecmp("abcde", "ABCfa", 4));
1185af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_GT(0, strncasecmp("a", "B", 5));
1186af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_GT(0, strncasecmp("bc", "BCde", 4));
1187af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_LT(0, strncasecmp("xyz", "xyy", 10));
1188af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_LT(0, strncasecmp("Baa", "aaa", 1));
1189af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_LT(0, strncasecmp("zyx", "", 2));
119052fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany
119152fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  // memcmp
119252fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_EQ(0, memcmp("a", "b", 0));
119352fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_EQ(0, memcmp("ab\0c", "ab\0c", 4));
119452fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_GT(0, memcmp("\0ab", "\0ac", 3));
119552fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_GT(0, memcmp("abb\0", "abba", 4));
119652fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_LT(0, memcmp("ab\0cd", "ab\0c\0", 5));
119752fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_LT(0, memcmp("zza", "zyx", 3));
1198af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany}
1199af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany
1200af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryanytypedef int(*PointerToStrCmp)(const char*, const char*);
1201af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryanyvoid RunStrCmpTest(PointerToStrCmp StrCmp) {
12021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t size = Ident(100);
12031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *s1 = MallocAndMemsetString(size);
12041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *s2 = MallocAndMemsetString(size);
12051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  s1[size - 1] = '\0';
12061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  s2[size - 1] = '\0';
1207af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  // Normal StrCmp calls
1208af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  Ident(StrCmp(s1, s2));
1209af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  Ident(StrCmp(s1, s2 + size - 1));
1210af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  Ident(StrCmp(s1 + size - 1, s2 + size - 1));
12111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  s1[size - 1] = 'z';
12121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  s2[size - 1] = 'x';
1213af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  Ident(StrCmp(s1, s2));
12141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // One of arguments points to not allocated memory.
1215af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrCmp)(s1 - 1, s2), LeftOOBErrorMessage(1));
1216af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrCmp)(s1, s2 - 1), LeftOOBErrorMessage(1));
1217af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrCmp)(s1 + size, s2), RightOOBErrorMessage(0));
1218af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrCmp)(s1, s2 + size), RightOOBErrorMessage(0));
12191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Hit unallocated memory and die.
12201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  s2[size - 1] = 'z';
1221af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrCmp)(s1, s1), RightOOBErrorMessage(0));
1222af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrCmp)(s1 + size - 1, s2), RightOOBErrorMessage(0));
12231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(s1);
12241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(s2);
12251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
12261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1227af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya SerebryanyTEST(AddressSanitizer, StrCmpOOBTest) {
1228af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  RunStrCmpTest(&strcmp);
1229af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany}
1230af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany
1231af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya SerebryanyTEST(AddressSanitizer, StrCaseCmpOOBTest) {
1232af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  RunStrCmpTest(&strcasecmp);
1233af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany}
1234af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany
1235af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryanytypedef int(*PointerToStrNCmp)(const char*, const char*, size_t);
1236af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryanyvoid RunStrNCmpTest(PointerToStrNCmp StrNCmp) {
12371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t size = Ident(100);
12381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *s1 = MallocAndMemsetString(size);
12391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *s2 = MallocAndMemsetString(size);
12401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  s1[size - 1] = '\0';
12411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  s2[size - 1] = '\0';
1242af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  // Normal StrNCmp calls
1243af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  Ident(StrNCmp(s1, s2, size + 2));
12441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  s1[size - 1] = 'z';
12451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  s2[size - 1] = 'x';
1246af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  Ident(StrNCmp(s1 + size - 2, s2 + size - 2, size));
12471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  s2[size - 1] = 'z';
1248af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  Ident(StrNCmp(s1 - 1, s2 - 1, 0));
1249af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  Ident(StrNCmp(s1 + size - 1, s2 + size - 1, 1));
12501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // One of arguments points to not allocated memory.
1251af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrNCmp)(s1 - 1, s2, 1), LeftOOBErrorMessage(1));
1252af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrNCmp)(s1, s2 - 1, 1), LeftOOBErrorMessage(1));
1253af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrNCmp)(s1 + size, s2, 1), RightOOBErrorMessage(0));
1254af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrNCmp)(s1, s2 + size, 1), RightOOBErrorMessage(0));
12551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Hit unallocated memory and die.
1256af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrNCmp)(s1 + 1, s2 + 1, size), RightOOBErrorMessage(0));
1257af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  EXPECT_DEATH(Ident(StrNCmp)(s1 + size - 1, s2, 2), RightOOBErrorMessage(0));
12581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(s1);
12591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(s2);
12601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
12611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1262af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya SerebryanyTEST(AddressSanitizer, StrNCmpOOBTest) {
1263af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  RunStrNCmpTest(&strncmp);
1264af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany}
1265af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany
1266af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya SerebryanyTEST(AddressSanitizer, StrNCaseCmpOOBTest) {
1267af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany  RunStrNCmpTest(&strncasecmp);
1268af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany}
1269af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany
127052fb238ccc45781e4e1d097ae1ee748c898b5825Kostya SerebryanyTEST(AddressSanitizer, MemCmpOOBTest) {
127152fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  size_t size = Ident(100);
127252fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  char *s1 = MallocAndMemsetString(size);
127352fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  char *s2 = MallocAndMemsetString(size);
127452fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  // Normal memcmp calls.
127552fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  Ident(memcmp(s1, s2, size));
127652fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  Ident(memcmp(s1 + size - 1, s2 + size - 1, 1));
127752fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  Ident(memcmp(s1 - 1, s2 - 1, 0));
127852fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  // One of arguments points to not allocated memory.
127952fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_DEATH(Ident(memcmp)(s1 - 1, s2, 1), LeftOOBErrorMessage(1));
128052fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_DEATH(Ident(memcmp)(s1, s2 - 1, 1), LeftOOBErrorMessage(1));
128152fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_DEATH(Ident(memcmp)(s1 + size, s2, 1), RightOOBErrorMessage(0));
128252fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_DEATH(Ident(memcmp)(s1, s2 + size, 1), RightOOBErrorMessage(0));
128352fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  // Hit unallocated memory and die.
128452fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_DEATH(Ident(memcmp)(s1 + 1, s2 + 1, size), RightOOBErrorMessage(0));
128552fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_DEATH(Ident(memcmp)(s1 + size - 1, s2, 2), RightOOBErrorMessage(0));
128652fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  // Zero bytes are not terminators and don't prevent from OOB.
128752fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  s1[size - 1] = '\0';
128852fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  s2[size - 1] = '\0';
128952fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  EXPECT_DEATH(Ident(memcmp)(s1, s2, size + 1), RightOOBErrorMessage(0));
129052fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  free(s1);
129152fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany  free(s2);
129252fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany}
129352fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany
12940985ca240812ac5519168a6aecbccf4c513ae243Kostya SerebryanyTEST(AddressSanitizer, StrCatOOBTest) {
12950985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  size_t to_size = Ident(100);
12960985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  char *to = MallocAndMemsetString(to_size);
12970985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  to[0] = '\0';
12980985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  size_t from_size = Ident(20);
12990985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  char *from = MallocAndMemsetString(from_size);
13000985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  from[from_size - 1] = '\0';
13010985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  // Normal strcat calls.
13020985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  strcat(to, from);
13030985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  strcat(to, from);
13040985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  strcat(to + from_size, from + from_size - 2);
130537b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko  // Passing an invalid pointer is an error even when concatenating an empty
130637b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko  // string.
130737b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko  EXPECT_DEATH(strcat(to - 1, from + from_size - 1), LeftOOBErrorMessage(1));
13080985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  // One of arguments points to not allocated memory.
13090985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  EXPECT_DEATH(strcat(to - 1, from), LeftOOBErrorMessage(1));
13100985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  EXPECT_DEATH(strcat(to, from - 1), LeftOOBErrorMessage(1));
13110985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  EXPECT_DEATH(strcat(to + to_size, from), RightOOBErrorMessage(0));
13120985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  EXPECT_DEATH(strcat(to, from + from_size), RightOOBErrorMessage(0));
13130985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany
13140985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  // "from" is not zero-terminated.
13150985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  from[from_size - 1] = 'z';
13160985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  EXPECT_DEATH(strcat(to, from), RightOOBErrorMessage(0));
13170985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  from[from_size - 1] = '\0';
13180985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  // "to" is not zero-terminated.
13190985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  memset(to, 'z', to_size);
13200985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  EXPECT_DEATH(strcat(to, from), RightOOBErrorMessage(0));
13210985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  // "to" is too short to fit "from".
13220985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  to[to_size - from_size + 1] = '\0';
13230985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  EXPECT_DEATH(strcat(to, from), RightOOBErrorMessage(0));
13240985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  // length of "to" is just enough.
13250985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  strcat(to, from + 1);
1326c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov
1327c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  free(to);
1328c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  free(from);
1329c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov}
1330c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov
1331c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey SamsonovTEST(AddressSanitizer, StrNCatOOBTest) {
1332c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  size_t to_size = Ident(100);
1333c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  char *to = MallocAndMemsetString(to_size);
1334c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  to[0] = '\0';
1335c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  size_t from_size = Ident(20);
1336c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  char *from = MallocAndMemsetString(from_size);
1337c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  // Normal strncat calls.
1338c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  strncat(to, from, 0);
1339c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  strncat(to, from, from_size);
1340c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  from[from_size - 1] = '\0';
1341c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  strncat(to, from, 2 * from_size);
134237b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko  // Catenating empty string with an invalid string is still an error.
134337b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko  EXPECT_DEATH(strncat(to - 1, from, 0), LeftOOBErrorMessage(1));
1344c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  strncat(to, from + from_size - 1, 10);
1345c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  // One of arguments points to not allocated memory.
1346c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  EXPECT_DEATH(strncat(to - 1, from, 2), LeftOOBErrorMessage(1));
1347c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  EXPECT_DEATH(strncat(to, from - 1, 2), LeftOOBErrorMessage(1));
1348c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  EXPECT_DEATH(strncat(to + to_size, from, 2), RightOOBErrorMessage(0));
1349c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  EXPECT_DEATH(strncat(to, from + from_size, 2), RightOOBErrorMessage(0));
1350c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov
1351c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  memset(from, 'z', from_size);
1352c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  memset(to, 'z', to_size);
1353c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  to[0] = '\0';
1354c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  // "from" is too short.
1355c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  EXPECT_DEATH(strncat(to, from, from_size + 1), RightOOBErrorMessage(0));
1356c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  // "to" is not zero-terminated.
1357c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  EXPECT_DEATH(strncat(to + 1, from, 1), RightOOBErrorMessage(0));
1358c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  // "to" is too short to fit "from".
1359c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  to[0] = 'z';
1360c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  to[to_size - from_size + 1] = '\0';
1361c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  EXPECT_DEATH(strncat(to, from, from_size - 1), RightOOBErrorMessage(0));
1362c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  // "to" is just enough.
1363c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  strncat(to, from, from_size - 2);
1364c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov
1365c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  free(to);
1366c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  free(from);
13670985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany}
13680985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany
1369c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryanystatic string OverlapErrorMessage(const string &func) {
1370c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  return func + "-param-overlap";
1371c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany}
13721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
13731e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrArgsOverlapTest) {
13741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t size = Ident(100);
13751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *str = Ident((char*)malloc(size));
13761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
13770503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko// Do not check memcpy() on OS X 10.7 and later, where it actually aliases
13780503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko// memmove().
13790503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko#if !defined(__APPLE__) || !defined(MAC_OS_X_VERSION_10_7) || \
13800503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko    (MAC_OS_X_VERSION_MAX_ALLOWED < MAC_OS_X_VERSION_10_7)
13811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Check "memcpy". Use Ident() to avoid inlining.
13821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(str, 'z', size);
13831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(memcpy)(str + 1, str + 11, 10);
13841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(memcpy)(str, str, 0);
1385c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  EXPECT_DEATH(Ident(memcpy)(str, str + 14, 15), OverlapErrorMessage("memcpy"));
1386c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  EXPECT_DEATH(Ident(memcpy)(str + 14, str, 15), OverlapErrorMessage("memcpy"));
13870503ce8824393174c17acb26d62551f18a0fd82aAlexander Potapenko#endif
1388c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany
1389c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany  // We do not treat memcpy with to==from as a bug.
1390c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany  // See http://llvm.org/bugs/show_bug.cgi?id=11763.
1391c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany  // EXPECT_DEATH(Ident(memcpy)(str + 20, str + 20, 1),
1392c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany  //              OverlapErrorMessage("memcpy"));
13931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
13941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Check "strcpy".
13951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(str, 'z', size);
13961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[9] = '\0';
13971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strcpy(str + 10, str);
1398c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  EXPECT_DEATH(strcpy(str + 9, str), OverlapErrorMessage("strcpy"));
1399c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  EXPECT_DEATH(strcpy(str, str + 4), OverlapErrorMessage("strcpy"));
14001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strcpy(str, str + 5);
14011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
14021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Check "strncpy".
14031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  memset(str, 'z', size);
14041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strncpy(str, str + 10, 10);
1405c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  EXPECT_DEATH(strncpy(str, str + 9, 10), OverlapErrorMessage("strncpy"));
1406c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  EXPECT_DEATH(strncpy(str + 9, str, 10), OverlapErrorMessage("strncpy"));
14071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  str[10] = '\0';
14081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  strncpy(str + 11, str, 20);
1409c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  EXPECT_DEATH(strncpy(str + 10, str, 20), OverlapErrorMessage("strncpy"));
14101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
14110985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  // Check "strcat".
14120985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  memset(str, 'z', size);
14130985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  str[10] = '\0';
14140985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  str[20] = '\0';
14150985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  strcat(str, str + 10);
141637b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko  EXPECT_DEATH(strcat(str, str + 11), OverlapErrorMessage("strcat"));
14170985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  str[10] = '\0';
14180985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany  strcat(str + 11, str);
1419c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  EXPECT_DEATH(strcat(str, str + 9), OverlapErrorMessage("strcat"));
1420c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  EXPECT_DEATH(strcat(str + 9, str), OverlapErrorMessage("strcat"));
1421c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany  EXPECT_DEATH(strcat(str + 10, str), OverlapErrorMessage("strcat"));
14220985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany
1423c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  // Check "strncat".
1424c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  memset(str, 'z', size);
1425c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  str[10] = '\0';
1426c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  strncat(str, str + 10, 10);  // from is empty
142737b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko  EXPECT_DEATH(strncat(str, str + 11, 10), OverlapErrorMessage("strncat"));
1428c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  str[10] = '\0';
1429c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  str[20] = '\0';
1430c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  strncat(str + 5, str, 5);
1431c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  str[10] = '\0';
1432c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  EXPECT_DEATH(strncat(str + 5, str, 6), OverlapErrorMessage("strncat"));
1433c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov  EXPECT_DEATH(strncat(str, str + 9, 10), OverlapErrorMessage("strncat"));
1434c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov
14351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(str);
14361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
14371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1438847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovvoid CallAtoi(const char *nptr) {
1439847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  Ident(atoi(nptr));
1440847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov}
1441847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovvoid CallAtol(const char *nptr) {
1442847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  Ident(atol(nptr));
1443847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov}
1444847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovvoid CallAtoll(const char *nptr) {
1445847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  Ident(atoll(nptr));
1446847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov}
1447847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovtypedef void(*PointerToCallAtoi)(const char*);
1448847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov
1449847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonovvoid RunAtoiOOBTest(PointerToCallAtoi Atoi) {
1450847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  char *array = MallocAndMemsetString(10, '1');
1451847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  // Invalid pointer to the string.
1452847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  EXPECT_DEATH(Atoi(array + 11), RightOOBErrorMessage(1));
1453847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  EXPECT_DEATH(Atoi(array - 1), LeftOOBErrorMessage(1));
1454847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  // Die if a buffer doesn't have terminating NULL.
1455847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  EXPECT_DEATH(Atoi(array), RightOOBErrorMessage(0));
1456847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  // Make last symbol a terminating NULL or other non-digit.
1457847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  array[9] = '\0';
1458847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  Atoi(array);
1459847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  array[9] = 'a';
1460847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  Atoi(array);
1461847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  Atoi(array + 9);
1462847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  // Sometimes we need to detect overflow if no digits are found.
1463847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  memset(array, ' ', 10);
1464847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  EXPECT_DEATH(Atoi(array), RightOOBErrorMessage(0));
1465847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  array[9] = '-';
1466847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  EXPECT_DEATH(Atoi(array), RightOOBErrorMessage(0));
1467847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  EXPECT_DEATH(Atoi(array + 9), RightOOBErrorMessage(0));
1468847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  array[8] = '-';
1469847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  Atoi(array);
1470847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  delete array;
1471847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov}
1472847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov
1473847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovTEST(AddressSanitizer, AtoiAndFriendsOOBTest) {
1474847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  RunAtoiOOBTest(&CallAtoi);
1475847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  RunAtoiOOBTest(&CallAtol);
1476847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov  RunAtoiOOBTest(&CallAtoll);
1477847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov}
1478847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov
14798f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovvoid CallStrtol(const char *nptr, char **endptr, int base) {
14808f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  Ident(strtol(nptr, endptr, base));
14818f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov}
14828f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovvoid CallStrtoll(const char *nptr, char **endptr, int base) {
14838f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  Ident(strtoll(nptr, endptr, base));
14848f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov}
14858f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovtypedef void(*PointerToCallStrtol)(const char*, char**, int);
14868f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov
14878f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovvoid RunStrtolOOBTest(PointerToCallStrtol Strtol) {
148884ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  char *array = MallocAndMemsetString(3);
148984ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  char *endptr = NULL;
149084ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  array[0] = '1';
149184ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  array[1] = '2';
149284ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  array[2] = '3';
149384ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  // Invalid pointer to the string.
14948f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  EXPECT_DEATH(Strtol(array + 3, NULL, 0), RightOOBErrorMessage(0));
14958f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  EXPECT_DEATH(Strtol(array - 1, NULL, 0), LeftOOBErrorMessage(1));
149684ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  // Buffer overflow if there is no terminating null (depends on base).
14978f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  Strtol(array, &endptr, 3);
149884ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  EXPECT_EQ(array + 2, endptr);
14998f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  EXPECT_DEATH(Strtol(array, NULL, 0), RightOOBErrorMessage(0));
150084ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  array[2] = 'z';
15018f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  Strtol(array, &endptr, 35);
150284ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  EXPECT_EQ(array + 2, endptr);
15038f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  EXPECT_DEATH(Strtol(array, NULL, 36), RightOOBErrorMessage(0));
150484ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  // Add terminating zero to get rid of overflow.
150584ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  array[2] = '\0';
15068f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  Strtol(array, NULL, 36);
150784ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  // Don't check for overflow if base is invalid.
15088f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  Strtol(array - 1, NULL, -1);
15098f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  Strtol(array + 3, NULL, 1);
151084ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  // Sometimes we need to detect overflow if no digits are found.
151184ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  array[0] = array[1] = array[2] = ' ';
15128f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  EXPECT_DEATH(Strtol(array, NULL, 0), RightOOBErrorMessage(0));
151384ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  array[2] = '+';
15148f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  EXPECT_DEATH(Strtol(array, NULL, 0), RightOOBErrorMessage(0));
151584ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  array[2] = '-';
15168f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  EXPECT_DEATH(Strtol(array, NULL, 0), RightOOBErrorMessage(0));
151784ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  array[1] = '+';
15188f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  Strtol(array, NULL, 0);
151984ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  array[1] = array[2] = 'z';
15208f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  Strtol(array, &endptr, 0);
152184ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  EXPECT_EQ(array, endptr);
15228f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  Strtol(array + 2, NULL, 0);
152384ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  EXPECT_EQ(array, endptr);
152484ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov  delete array;
152584ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov}
152684ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov
15278f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey SamsonovTEST(AddressSanitizer, StrtollOOBTest) {
15288f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  RunStrtolOOBTest(&CallStrtoll);
15298f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov}
15308f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey SamsonovTEST(AddressSanitizer, StrtolOOBTest) {
15318f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov  RunStrtolOOBTest(&CallStrtol);
15328f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov}
15338f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov
15341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// At the moment we instrument memcpy/memove/memset calls at compile time so we
15351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// can't handle OOB error if these functions are called by pointer, see disabled
15361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// MemIntrinsicCallByPointerTest below
15371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef void*(*PointerToMemTransfer)(void*, const void*, size_t);
15381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef void*(*PointerToMemSet)(void*, int, size_t);
15391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
15401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid CallMemSetByPointer(PointerToMemSet MemSet) {
15411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t size = Ident(100);
15421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *array = Ident((char*)malloc(size));
15431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(MemSet(array, 0, 101), RightOOBErrorMessage(0));
15441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(array);
15451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
15461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
15471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid CallMemTransferByPointer(PointerToMemTransfer MemTransfer) {
15481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t size = Ident(100);
15491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *src = Ident((char*)malloc(size));
15501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *dst = Ident((char*)malloc(size));
15511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(MemTransfer(dst, src, 101), RightOOBErrorMessage(0));
15521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(src);
15531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(dst);
15541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
15551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
15561e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MemIntrinsicCallByPointerTest) {
15571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  CallMemSetByPointer(&memset);
15581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  CallMemTransferByPointer(&memcpy);
15591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  CallMemTransferByPointer(&memmove);
15601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
15611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
15621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This test case fails
15631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Clang optimizes memcpy/memset calls which lead to unaligned access
15641e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MemIntrinsicUnalignedAccessTest) {
15651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int size = Ident(4096);
15661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *s = Ident((char*)malloc(size));
15671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(memset(s + size - 1, 0, 2), RightOOBErrorMessage(0));
15681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(s);
15691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
15701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
15711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(samsonov): Add a test with malloc(0)
15721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(samsonov): Add tests for str* and mem* functions.
15731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1574938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static int LargeFunction(bool do_bad_access) {
15751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *x = new int[100];
15761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[0]++;
15771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[1]++;
15781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[2]++;
15791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[3]++;
15801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[4]++;
15811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[5]++;
15821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[6]++;
15831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[7]++;
15841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[8]++;
15851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[9]++;
15861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
15871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[do_bad_access ? 100 : 0]++; int res = __LINE__;
15881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
15891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[10]++;
15901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[11]++;
15911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[12]++;
15921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[13]++;
15931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[14]++;
15941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[15]++;
15951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[16]++;
15961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[17]++;
15971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[18]++;
15981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  x[19]++;
15991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  delete x;
16011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return res;
16021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Test the we have correct debug info for the failing instruction.
16051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This test requires the in-process symbolizer to be enabled by default.
16061e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_LargeFunctionSymbolizeTest) {
16071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int failing_line = LargeFunction(false);
16081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char expected_warning[128];
16091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  sprintf(expected_warning, "LargeFunction.*asan_test.cc:%d", failing_line);
16101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(LargeFunction(true), expected_warning);
16111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Check that we unwind and symbolize correctly.
16141e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MallocFreeUnwindAndSymbolizeTest) {
16151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *a = (int*)malloc_aaa(sizeof(int));
16161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *a = 1;
16171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free_aaa(a);
16181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(*a = 1, "free_ccc.*free_bbb.*free_aaa.*"
16191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "malloc_fff.*malloc_eee.*malloc_ddd");
16201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestAlloc(void *a) {
16231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int **p = (int**)a;
16241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *p = new int;
16251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return 0;
16261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestFree(void *a) {
16291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int **p = (int**)a;
16301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  delete *p;
16311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return 0;
16321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestUse(void *a) {
16351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int **p = (int**)a;
16361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  **p = 1;
16371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return 0;
16381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid ThreadedTestSpawn() {
16411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_t t;
16421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *x;
16432697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&t, 0, ThreadedTestAlloc, &x);
16442697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(t, 0);
16452697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&t, 0, ThreadedTestFree, &x);
16462697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(t, 0);
16472697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&t, 0, ThreadedTestUse, &x);
16482697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(t, 0);
16491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16511e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedTest) {
16521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(ThreadedTestSpawn(),
16531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               ASAN_PCRE_DOTALL
16541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "Thread T.*created"
16551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               ".*Thread T.*created"
16561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               ".*Thread T.*created");
16571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_NEEDS_SEGV
16601e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ShadowGapTest) {
16615af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany#if SANITIZER_WORDSIZE == 32
16621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *addr = (char*)0x22000000;
16631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else
16641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *addr = (char*)0x0000100000080000;
16651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif
1666ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany  EXPECT_DEATH(*addr = 1, "AddressSanitizer: SEGV on unknown");
16671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif  // ASAN_NEEDS_SEGV
16691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyextern "C" {
1671938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void UseThenFreeThenUse() {
16721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char *x = Ident((char*)malloc(8));
16731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *x = 1;
16741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free_aaa(x);
16751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  *x = 2;
16761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16791e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UseThenFreeThenUseTest) {
16801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(UseThenFreeThenUse(), "freed by thread");
16811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16831e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrDupTest) {
16841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  free(strdup(Ident("123")));
16851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
16861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Currently we create and poison redzone at right of global variables.
16881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanychar glob5[5];
16891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic char static110[110];
16901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyconst char ConstGlob[7] = {1, 2, 3, 4, 5, 6, 7};
16911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic const char StaticConstGlob[3] = {9, 8, 7};
16921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyextern int GlobalsTest(int x);
16931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16941e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GlobalTest) {
16951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static char func_static15[15];
16961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
16971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static char fs1[10];
16981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static char fs2[10];
16991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static char fs3[10];
17001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  glob5[Ident(0)] = 0;
17021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  glob5[Ident(1)] = 0;
17031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  glob5[Ident(2)] = 0;
17041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  glob5[Ident(3)] = 0;
17051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  glob5[Ident(4)] = 0;
17061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(glob5[Ident(5)] = 0,
17081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "0 bytes to the right of global variable.*glob5.* size 5");
17091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(glob5[Ident(5+6)] = 0,
17101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "6 bytes to the right of global variable.*glob5.* size 5");
17111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(static110);  // avoid optimizations
17121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static110[Ident(0)] = 0;
17131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static110[Ident(109)] = 0;
17141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(static110[Ident(110)] = 0,
17151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "0 bytes to the right of global variable");
17161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(static110[Ident(110+7)] = 0,
17171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "7 bytes to the right of global variable");
17181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(func_static15);  // avoid optimizations
17201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  func_static15[Ident(0)] = 0;
17211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(func_static15[Ident(15)] = 0,
17221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "0 bytes to the right of global variable");
17231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(func_static15[Ident(15 + 9)] = 0,
17241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "9 bytes to the right of global variable");
17251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(fs1);
17271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(fs2);
17281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(fs3);
17291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // We don't create left redzones, so this is not 100% guaranteed to fail.
17311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // But most likely will.
17321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(fs2[Ident(-1)] = 0, "is located.*of global variable");
17331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(Ident(ConstGlob)[8]),
17351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "is located 1 bytes to the right of .*ConstGlob");
17361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(Ident(StaticConstGlob)[5]),
17371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany               "is located 2 bytes to the right of .*StaticConstGlob");
17381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // call stuff from another file.
17401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  GlobalsTest(0);
17411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
17421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17431e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GlobalStringConstTest) {
17441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static const char *zoo = "FOOBAR123";
17451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  const char *p = Ident(zoo);
17461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(Ident(p[15]), "is ascii string 'FOOBAR123'");
17471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
17481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1749c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya SerebryanyTEST(AddressSanitizer, FileNameInGlobalReportTest) {
1750c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany  static char zoo[10];
1751c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany  const char *p = Ident(zoo);
1752c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany  // The file name should be present in the report.
1753c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany  EXPECT_DEATH(Ident(p[15]), "zoo.*asan_test.cc");
1754c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany}
1755c37ca572876a585b6a910f14a85cc7ba7fc22f20Kostya Serebryany
17561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyint *ReturnsPointerToALocalObject() {
17571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int a = 0;
17581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return Ident(&a);
17591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
17601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1761918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany#if ASAN_UAR == 1
17621e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LocalReferenceReturnTest) {
17631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *(*f)() = Ident(ReturnsPointerToALocalObject);
1764918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany  int *p = f();
1765918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany  // Call 'f' a few more times, 'p' should still be poisoned.
1766918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany  for (int i = 0; i < 32; i++)
1767918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany    f();
1768ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany  EXPECT_DEATH(*p = 1, "AddressSanitizer: stack-use-after-return");
1769918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany  EXPECT_DEATH(*p = 1, "is located.*in frame .*ReturnsPointerToALocal");
17701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
1771918b18a849cea679bff31a4e0dfb3745302c240aKostya Serebryany#endif
17721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate <int kSize>
1774938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void FuncWithStack() {
17751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char x[kSize];
17761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(x)[0] = 0;
17771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(x)[kSize-1] = 0;
17781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
17791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void LotsOfStackReuse() {
17811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int LargeStack[10000];
17821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(LargeStack)[0] = 0;
17831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int i = 0; i < 10000; i++) {
17841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    FuncWithStack<128 * 1>();
17851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    FuncWithStack<128 * 2>();
17861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    FuncWithStack<128 * 4>();
17871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    FuncWithStack<128 * 8>();
17881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    FuncWithStack<128 * 16>();
17891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    FuncWithStack<128 * 32>();
17901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    FuncWithStack<128 * 64>();
17911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    FuncWithStack<128 * 128>();
17921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    FuncWithStack<128 * 256>();
17931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    FuncWithStack<128 * 512>();
17941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    Ident(LargeStack)[0] = 0;
17951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
17961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
17971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
17981e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StressStackReuseTest) {
17991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  LotsOfStackReuse();
18001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
18011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
18021e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedStressStackReuseTest) {
18031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  const int kNumThreads = 20;
18041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_t t[kNumThreads];
18051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int i = 0; i < kNumThreads; i++) {
18062697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany    PTHREAD_CREATE(&t[i], 0, (void* (*)(void *x))LotsOfStackReuse, 0);
18071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
18081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int i = 0; i < kNumThreads; i++) {
18092697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany    PTHREAD_JOIN(t[i], 0);
18101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
18111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
18121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1813f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryanystatic void *PthreadExit(void *a) {
1814f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany  pthread_exit(0);
18157b7b55e99166511ce1e66bf6b79c46ae4aa60d17Evgeniy Stepanov  return 0;
1816f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany}
1817f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany
1818f58f998066db0231e521169d2f50af439ceecb49Kostya SerebryanyTEST(AddressSanitizer, PthreadExitTest) {
1819f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany  pthread_t t;
1820f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany  for (int i = 0; i < 1000; i++) {
18212697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany    PTHREAD_CREATE(&t, 0, PthreadExit, 0);
18222697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany    PTHREAD_JOIN(t, 0);
1823f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany  }
1824f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany}
1825f58f998066db0231e521169d2f50af439ceecb49Kostya Serebryany
18261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __EXCEPTIONS
1827938106753364d96cedc11cbdc35a15030fb44d0cTimur IskhodzhanovNOINLINE static void StackReuseAndException() {
18281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int large_stack[1000];
18291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(large_stack);
18301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  ASAN_THROW(1);
18311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
18321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
18331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(kcc): support exceptions with use-after-return.
18341e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_StressStackReuseAndExceptionsTest) {
18351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (int i = 0; i < 10000; i++) {
18361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    try {
18371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    StackReuseAndException();
18381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    } catch(...) {
18391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    }
18401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
18411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
18421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif
18431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
18441e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MlockTest) {
18451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, mlockall(MCL_CURRENT));
18461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, mlock((void*)0x12345, 0x5678));
18471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, munlockall());
18481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_EQ(0, munlock((void*)0x987, 0x654));
18491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
18501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
1851c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryanystruct LargeStruct {
1852c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany  int foo[100];
1853c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany};
1854c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany
1855c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany// Test for bug http://llvm.org/bugs/show_bug.cgi?id=11763.
1856c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany// Struct copy should not cause asan warning even if lhs == rhs.
1857c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya SerebryanyTEST(AddressSanitizer, LargeStructCopyTest) {
1858c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany  LargeStruct a;
1859c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany  *Ident(&a) = *Ident(&a);
1860c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany}
1861c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany
18621cffef3e39cad4eb33606afbebac78d6637361acAlexey SamsonovATTRIBUTE_NO_ADDRESS_SAFETY_ANALYSIS
18633be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryanystatic void NoAddressSafety() {
18643be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany  char *foo = new char[10];
18653be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany  Ident(foo)[10] = 0;
18663be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany  delete [] foo;
18673be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany}
18683be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany
18693be19f4fa3519e358fd41a5feda82c39a22ef107Kostya SerebryanyTEST(AddressSanitizer, AttributeNoAddressSafetyTest) {
18703be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany  Ident(NoAddressSafety)();
18713be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany}
18723be19f4fa3519e358fd41a5feda82c39a22ef107Kostya Serebryany
18731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// ------------------ demo tests; run each one-by-one -------------
18741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// e.g. --gtest_filter=*DemoOOBLeftHigh --gtest_also_run_disabled_tests
18751e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoThreadedTest) {
18761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  ThreadedTestSpawn();
18771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
18781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
18791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *SimpleBugOnSTack(void *x = 0) {
18801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  char a[20];
18811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(a)[20] = 0;
18821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return 0;
18831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
18841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
18851e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoStackTest) {
18861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  SimpleBugOnSTack();
18871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
18881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
18891e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoThreadStackTest) {
18901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_t t;
18912697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&t, 0, SimpleBugOnSTack, 0);
18922697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(t, 0);
18931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
18941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
18951e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowIn) {
18961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  uaf_test<U1>(10, 0);
18971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
18981e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowLeft) {
18991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  uaf_test<U1>(10, -2);
19001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19011e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowRight) {
19021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  uaf_test<U1>(10, 10);
19031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19051e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFHigh) {
19061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  uaf_test<U1>(kLargeMalloc, 0);
19071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19091e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOBLeftLow) {
19101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  oob_test<U1>(10, -1);
19111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19131e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOBLeftHigh) {
19141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  oob_test<U1>(kLargeMalloc, -1);
19151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19171e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOBRightLow) {
19181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  oob_test<U1>(10, 10);
19191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19211e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOBRightHigh) {
19221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  oob_test<U1>(kLargeMalloc, kLargeMalloc);
19231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19251e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOM) {
19265af39e50366f1aacbebc284f572f08ad1ad07357Kostya Serebryany  size_t size = SANITIZER_WORDSIZE == 64 ? (size_t)(1ULL << 40) : (0xf0000000);
19271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  printf("%p\n", malloc(size));
19281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19301e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoDoubleFreeTest) {
19311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  DoubleFree();
19321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19341e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoNullDerefTest) {
19351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int *a = 0;
19361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(a)[10] = 0;
19371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19391e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoFunctionStaticTest) {
19401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static char a[100];
19411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static char b[100];
19421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  static char c[100];
19431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(a);
19441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(b);
19451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(c);
19461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(a)[5] = 0;
19471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(b)[105] = 0;
19481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  Ident(a)[5] = 0;
19491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19511e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoTooMuchMemoryTest) {
19521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  const size_t kAllocSize = (1 << 28) - 1024;
19531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  size_t total_size = 0;
19541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  while (true) {
19551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    char *x = (char*)malloc(kAllocSize);
19561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    memset(x, 0, kAllocSize);
19571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    total_size += kAllocSize;
19580aa04b3f432bc55e7c116d5280685ee3f243be8eKostya Serebryany    fprintf(stderr, "total: %ldM %p\n", (long)total_size >> 20, x);
19591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
19601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
19624eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany// http://code.google.com/p/address-sanitizer/issues/detail?id=66
19630796393f2088e3b75c4110934451160eeb037fabKostya SerebryanyTEST(AddressSanitizer, BufferOverflowAfterManyFrees) {
19644eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany  for (int i = 0; i < 1000000; i++) {
19654eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany    delete [] (Ident(new char [8644]));
19664eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany  }
19674eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany  char *x = new char[8192];
1968ca9b5dd9922fb7f6e0ca06dbba7db7398b8997f1Kostya Serebryany  EXPECT_DEATH(x[Ident(8192)] = 0, "AddressSanitizer: heap-buffer-overflow");
19694eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany  delete [] Ident(x);
19704eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany}
19714eaa17848ed02cae465f10aa5fe095e42dbf0d61Kostya Serebryany
19721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __APPLE__
19731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_mac_test.h"
1974effd6bf516b7109460647253aa1a62046ca9bb7aAlexander PotapenkoTEST(AddressSanitizerMac, CFAllocatorDefaultDoubleFree) {
19751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(
197643d03f3775677ca8e4727d49d1256de014351b95Alexander Potapenko      CFAllocatorDefaultDoubleFree(NULL),
19771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      "attempting double-free");
19781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
19791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
198043d03f3775677ca8e4727d49d1256de014351b95Alexander Potapenkovoid CFAllocator_DoubleFreeOnPthread() {
198143d03f3775677ca8e4727d49d1256de014351b95Alexander Potapenko  pthread_t child;
19822697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&child, NULL, CFAllocatorDefaultDoubleFree, NULL);
19832697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(child, NULL);  // Shouldn't be reached.
198443d03f3775677ca8e4727d49d1256de014351b95Alexander Potapenko}
198543d03f3775677ca8e4727d49d1256de014351b95Alexander Potapenko
198675b19ebf25af204cf209d108997272822241d6daAlexander PotapenkoTEST(AddressSanitizerMac, CFAllocatorDefaultDoubleFree_ChildPhread) {
198743d03f3775677ca8e4727d49d1256de014351b95Alexander Potapenko  EXPECT_DEATH(CFAllocator_DoubleFreeOnPthread(), "attempting double-free");
1988f4e8fc675ab52d0b3022847764a70ed7f03817bdAlexander Potapenko}
198943d03f3775677ca8e4727d49d1256de014351b95Alexander Potapenko
199075b19ebf25af204cf209d108997272822241d6daAlexander Potapenkonamespace {
199175b19ebf25af204cf209d108997272822241d6daAlexander Potapenko
199275b19ebf25af204cf209d108997272822241d6daAlexander Potapenkovoid *GLOB;
199375b19ebf25af204cf209d108997272822241d6daAlexander Potapenko
199475b19ebf25af204cf209d108997272822241d6daAlexander Potapenkovoid *CFAllocatorAllocateToGlob(void *unused) {
199575b19ebf25af204cf209d108997272822241d6daAlexander Potapenko  GLOB = CFAllocatorAllocate(NULL, 100, /*hint*/0);
199675b19ebf25af204cf209d108997272822241d6daAlexander Potapenko  return NULL;
199775b19ebf25af204cf209d108997272822241d6daAlexander Potapenko}
199875b19ebf25af204cf209d108997272822241d6daAlexander Potapenko
199975b19ebf25af204cf209d108997272822241d6daAlexander Potapenkovoid *CFAllocatorDeallocateFromGlob(void *unused) {
200075b19ebf25af204cf209d108997272822241d6daAlexander Potapenko  char *p = (char*)GLOB;
200175b19ebf25af204cf209d108997272822241d6daAlexander Potapenko  p[100] = 'A';  // ASan should report an error here.
200275b19ebf25af204cf209d108997272822241d6daAlexander Potapenko  CFAllocatorDeallocate(NULL, GLOB);
200375b19ebf25af204cf209d108997272822241d6daAlexander Potapenko  return NULL;
200475b19ebf25af204cf209d108997272822241d6daAlexander Potapenko}
200575b19ebf25af204cf209d108997272822241d6daAlexander Potapenko
200675b19ebf25af204cf209d108997272822241d6daAlexander Potapenkovoid CFAllocator_PassMemoryToAnotherThread() {
200775b19ebf25af204cf209d108997272822241d6daAlexander Potapenko  pthread_t th1, th2;
20082697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&th1, NULL, CFAllocatorAllocateToGlob, NULL);
20092697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(th1, NULL);
20102697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&th2, NULL, CFAllocatorDeallocateFromGlob, NULL);
20112697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(th2, NULL);
201275b19ebf25af204cf209d108997272822241d6daAlexander Potapenko}
201375b19ebf25af204cf209d108997272822241d6daAlexander Potapenko
201475b19ebf25af204cf209d108997272822241d6daAlexander PotapenkoTEST(AddressSanitizerMac, CFAllocator_PassMemoryToAnotherThread) {
201575b19ebf25af204cf209d108997272822241d6daAlexander Potapenko  EXPECT_DEATH(CFAllocator_PassMemoryToAnotherThread(),
201675b19ebf25af204cf209d108997272822241d6daAlexander Potapenko               "heap-buffer-overflow");
201775b19ebf25af204cf209d108997272822241d6daAlexander Potapenko}
201875b19ebf25af204cf209d108997272822241d6daAlexander Potapenko
201975b19ebf25af204cf209d108997272822241d6daAlexander Potapenko}  // namespace
202075b19ebf25af204cf209d108997272822241d6daAlexander Potapenko
2021effd6bf516b7109460647253aa1a62046ca9bb7aAlexander Potapenko// TODO(glider): figure out whether we still need these tests. Is it correct
2022effd6bf516b7109460647253aa1a62046ca9bb7aAlexander Potapenko// to intercept the non-default CFAllocators?
20231e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizerMac, DISABLED_CFAllocatorSystemDefaultDoubleFree) {
20241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(
20251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      CFAllocatorSystemDefaultDoubleFree(),
20261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany      "attempting double-free");
20271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
202943d03f3775677ca8e4727d49d1256de014351b95Alexander Potapenko// We're intercepting malloc, so kCFAllocatorMalloc is routed to ASan.
2030effd6bf516b7109460647253aa1a62046ca9bb7aAlexander PotapenkoTEST(AddressSanitizerMac, CFAllocatorMallocDoubleFree) {
20311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(CFAllocatorMallocDoubleFree(), "attempting double-free");
20321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
20341e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizerMac, DISABLED_CFAllocatorMallocZoneDoubleFree) {
20351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(CFAllocatorMallocZoneDoubleFree(), "attempting double-free");
20361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
203896bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDDispatchAsync) {
20391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Make sure the whole ASan report is printed, i.e. that we don't die
20401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // on a CHECK.
20411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(TestGCDDispatchAsync(), "Shadow byte and word");
20421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
204496bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDDispatchSync) {
20451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Make sure the whole ASan report is printed, i.e. that we don't die
20461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // on a CHECK.
20471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(TestGCDDispatchSync(), "Shadow byte and word");
20481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
20501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
205196bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDReuseWqthreadsAsync) {
20521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Make sure the whole ASan report is printed, i.e. that we don't die
20531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // on a CHECK.
20541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(TestGCDReuseWqthreadsAsync(), "Shadow byte and word");
20551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
205796bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDReuseWqthreadsSync) {
20581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Make sure the whole ASan report is printed, i.e. that we don't die
20591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // on a CHECK.
20601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(TestGCDReuseWqthreadsSync(), "Shadow byte and word");
20611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
206396bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDDispatchAfter) {
20641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Make sure the whole ASan report is printed, i.e. that we don't die
20651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // on a CHECK.
20661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(TestGCDDispatchAfter(), "Shadow byte and word");
20671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
206996bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDSourceEvent) {
20701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Make sure the whole ASan report is printed, i.e. that we don't die
20711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // on a CHECK.
20721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(TestGCDSourceEvent(), "Shadow byte and word");
20731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
207596bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDSourceCancel) {
20761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Make sure the whole ASan report is printed, i.e. that we don't die
20771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // on a CHECK.
20781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(TestGCDSourceCancel(), "Shadow byte and word");
20791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
208196bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDGroupAsync) {
20821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Make sure the whole ASan report is printed, i.e. that we don't die
20831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // on a CHECK.
20841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  EXPECT_DEATH(TestGCDGroupAsync(), "Shadow byte and word");
20851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
20861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
20871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *MallocIntrospectionLockWorker(void *_) {
20881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  const int kNumPointers = 100;
20891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int i;
20901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  void *pointers[kNumPointers];
20911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (i = 0; i < kNumPointers; i++) {
20921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    pointers[i] = malloc(i + 1);
20931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
20941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (i = 0; i < kNumPointers; i++) {
20951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    free(pointers[i]);
20961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
20971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
20981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return NULL;
20991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
21001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
21011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *MallocIntrospectionLockForker(void *_) {
21021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pid_t result = fork();
21031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (result == -1) {
21041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    perror("fork");
21051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
21061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  assert(result != -1);
21071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (result == 0) {
21081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    // Call malloc in the child process to make sure we won't deadlock.
21091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    void *ptr = malloc(42);
21101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    free(ptr);
21111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    exit(0);
21121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  } else {
21131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    // Return in the parent process.
21141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    return NULL;
21151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
21161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
21171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
21181e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizerMac, MallocIntrospectionLock) {
21191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // Incorrect implementation of force_lock and force_unlock in our malloc zone
21201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // will cause forked processes to deadlock.
21211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  // TODO(glider): need to detect that none of the child processes deadlocked.
21221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  const int kNumWorkers = 5, kNumIterations = 100;
21231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  int i, iter;
21241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  for (iter = 0; iter < kNumIterations; iter++) {
21251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    pthread_t workers[kNumWorkers], forker;
21261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    for (i = 0; i < kNumWorkers; i++) {
21272697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany      PTHREAD_CREATE(&workers[i], 0, MallocIntrospectionLockWorker, 0);
21281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    }
21292697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany    PTHREAD_CREATE(&forker, 0, MallocIntrospectionLockForker, 0);
21301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    for (i = 0; i < kNumWorkers; i++) {
21312697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany      PTHREAD_JOIN(workers[i], 0);
21321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    }
21332697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany    PTHREAD_JOIN(forker, 0);
21341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
21351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
21361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
21371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *TSDAllocWorker(void *test_key) {
21381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  if (test_key) {
21391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    void *mem = malloc(10);
21401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany    pthread_setspecific(*(pthread_key_t*)test_key, mem);
21411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  }
21421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  return NULL;
21431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
21441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
21451e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizerMac, DISABLED_TSDWorkqueueTest) {
21461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_t th;
21471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_key_t test_key;
21481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_key_create(&test_key, CallFreeOnWorkqueue);
21492697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_CREATE(&th, NULL, TSDAllocWorker, &test_key);
21502697687059e64a4f1319dc23a0a3ca59982d53f6Kostya Serebryany  PTHREAD_JOIN(th, NULL);
21511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany  pthread_key_delete(test_key);
21521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}
2153fb506cb56c7f47a9f0aa515d6f5ca3ed6533422fAlexander Potapenko
2154fb506cb56c7f47a9f0aa515d6f5ca3ed6533422fAlexander Potapenko// Test that CFStringCreateCopy does not copy constant strings.
2155431e51782d62d1257348e41e24da6b544fe70507Alexander PotapenkoTEST(AddressSanitizerMac, CFStringCreateCopy) {
2156fb506cb56c7f47a9f0aa515d6f5ca3ed6533422fAlexander Potapenko  CFStringRef str = CFSTR("Hello world!\n");
2157fb506cb56c7f47a9f0aa515d6f5ca3ed6533422fAlexander Potapenko  CFStringRef str2 = CFStringCreateCopy(0, str);
2158fb506cb56c7f47a9f0aa515d6f5ca3ed6533422fAlexander Potapenko  EXPECT_EQ(str, str2);
2159fb506cb56c7f47a9f0aa515d6f5ca3ed6533422fAlexander Potapenko}
2160fb506cb56c7f47a9f0aa515d6f5ca3ed6533422fAlexander Potapenko
21618c9ccc655405dd8a41264fe7eb5f902700077d1aAlexander PotapenkoTEST(AddressSanitizerMac, NSObjectOOB) {
21628c9ccc655405dd8a41264fe7eb5f902700077d1aAlexander Potapenko  // Make sure that our allocators are used for NSObjects.
21638c9ccc655405dd8a41264fe7eb5f902700077d1aAlexander Potapenko  EXPECT_DEATH(TestOOBNSObjects(), "heap-buffer-overflow");
21648c9ccc655405dd8a41264fe7eb5f902700077d1aAlexander Potapenko}
2165df42b619de6f7cbf23a68d91a924cfb44b9fd201Alexander Potapenko
2166df42b619de6f7cbf23a68d91a924cfb44b9fd201Alexander Potapenko// Make sure that correct pointer is passed to free() when deallocating a
2167df42b619de6f7cbf23a68d91a924cfb44b9fd201Alexander Potapenko// NSURL object.
2168df42b619de6f7cbf23a68d91a924cfb44b9fd201Alexander Potapenko// See http://code.google.com/p/address-sanitizer/issues/detail?id=70.
2169e205a9daec9ec4afed956cf5455889725b9192fbAlexander PotapenkoTEST(AddressSanitizerMac, NSURLDeallocation) {
2170df42b619de6f7cbf23a68d91a924cfb44b9fd201Alexander Potapenko  TestNSURLDeallocation();
2171df42b619de6f7cbf23a68d91a924cfb44b9fd201Alexander Potapenko}
2172ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko
2173ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko// See http://code.google.com/p/address-sanitizer/issues/detail?id=109.
2174ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander PotapenkoTEST(AddressSanitizerMac, Mstats) {
2175ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko  malloc_statistics_t stats1, stats2;
2176ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko  malloc_zone_statistics(/*all zones*/NULL, &stats1);
2177ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko  const int kMallocSize = 100000;
2178ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko  void *alloc = Ident(malloc(kMallocSize));
2179ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko  malloc_zone_statistics(/*all zones*/NULL, &stats2);
2180ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko  EXPECT_GT(stats2.blocks_in_use, stats1.blocks_in_use);
2181ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko  EXPECT_GE(stats2.size_in_use - stats1.size_in_use, kMallocSize);
2182ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko  free(alloc);
2183ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko  // Even the default OSX allocator may not change the stats after free().
2184ca2cdd989076d091d8c4d4c277f8b47d9b5903adAlexander Potapenko}
21851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif  // __APPLE__
21861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany
21875b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov// Test that instrumentation of stack allocations takes into account
21885b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov// AllocSize of a type, and not its StoreSize (16 vs 10 bytes for long double).
21895b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov// See http://llvm.org/bugs/show_bug.cgi?id=12047 for more details.
21905b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy StepanovTEST(AddressSanitizer, LongDoubleNegativeTest) {
21915b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov  long double a, b;
21929b90e95d4dc59c6d97ed73b2470f5e21e7b346d5Kostya Serebryany  static long double c;
21935b6eab9dc5572a66e3af54ab087255ffa4dd5185Evgeniy Stepanov  memcpy(Ident(&a), Ident(&b), sizeof(long double));
21949b90e95d4dc59c6d97ed73b2470f5e21e7b346d5Kostya Serebryany  memcpy(Ident(&c), Ident(&b), sizeof(long double));
219576e842845c927e92c2c21c41ac51e364fa17528cAlexey Samsonov}
2196