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