asan_test.cc revision acd5c617b219e0f059620c2a3928d2cc821d4534
11e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany//===-- asan_test.cc ------------*- C++ -*-===// 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> 171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <pthread.h> 181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <stdint.h> 191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <setjmp.h> 201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <assert.h> 211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if defined(__i386__) or defined(__x86_64__) 231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <emmintrin.h> 241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_test_config.h" 271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_test_utils.h" 281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__ 301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <malloc.h> 311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // __APPLE__ 321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __APPLE__ 341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic bool APPLE = true; 351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else 361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic bool APPLE = false; 371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_HAS_EXCEPTIONS 401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany# define ASAN_THROW(x) throw (x) 411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else 421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany# define ASAN_THROW(x) 431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include <sys/mman.h> 461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef uint8_t U1; 481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef uint16_t U2; 491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef uint32_t U4; 501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef uint64_t U8; 511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic const char *progname; 531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic const int kPageSize = 4096; 541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Simple stand-alone pseudorandom number generator. 561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Current algorithm is ANSI C linear congruential PRNG. 571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic inline uint32_t my_rand(uint32_t* state) { 581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return (*state = *state * 1103515245 + 12345) >> 16; 591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic uint32_t global_seed = 0; 621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyclass ObjdumpOfMyself { 641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany public: 651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany explicit ObjdumpOfMyself(const string &binary) { 661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany is_correct = true; 671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany string objdump_name = APPLE ? "gobjdump" : "objdump"; 681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany string prog = objdump_name + " -d " + binary; 691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // TODO(glider): popen() succeeds even if the file does not exist. 701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FILE *pipe = popen(prog.c_str(), "r"); 711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany string objdump; 721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (pipe) { 731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kBuffSize = 4096; 741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char buff[kBuffSize+1]; 751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int read_bytes; 761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany while ((read_bytes = fread(buff, 1, kBuffSize, pipe)) > 0) { 771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany buff[read_bytes] = 0; 781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany objdump.append(buff); 791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pclose(pipe); 811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany is_correct = false; 831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // cut the objdump into functions 851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany string fn, next_fn; 861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t next_start; 871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t start = fn_start(objdump, 0, &fn); 881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany start != string::npos; 891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany start = next_start, fn = next_fn) { 901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany next_start = fn_start(objdump, start, &next_fn); 911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // fprintf(stderr, "start: %d next_start = %d fn: %s\n", 921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // (int)start, (int)next_start, fn.c_str()); 931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Mac OS adds the "_" prefix to function names. 941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (fn.find(APPLE ? "_Disasm" : "Disasm") == string::npos) { 951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany continue; 961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany string fn_body = objdump.substr(start, next_start - start); 981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // fprintf(stderr, "%s:\n%s", fn.c_str(), fn_body.c_str()); 991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany functions_[fn] = fn_body; 1001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 1011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 1021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany string &GetFuncDisasm(const string &fn) { 1041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return functions_[fn]; 1051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 1061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int CountInsnInFunc(const string &fn, const vector<string> &insns) { 1081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Mac OS adds the "_" prefix to function names. 1091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany string fn_ref = APPLE ? "_" + fn : fn; 1101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const string &disasm = GetFuncDisasm(fn_ref); 1111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (disasm.empty()) return -1; 1121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t counter = 0; 1131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < insns.size(); i++) { 1141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t pos = 0; 1151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany while ((pos = disasm.find(insns[i], pos)) != string::npos) { 1161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany counter++; 1171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pos++; 1181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 1191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 1201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return counter; 1211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 1221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany bool IsCorrect() { return is_correct; } 1241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany private: 1261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t fn_start(const string &objdump, size_t start_pos, string *fn) { 1271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t pos = objdump.find(">:\n", start_pos); 1281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (pos == string::npos) 1291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return string::npos; 1301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t beg = pos; 1311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany while (beg > 0 && objdump[beg - 1] != '<') 1321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany beg--; 1331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *fn = objdump.substr(beg, pos - beg); 1341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return pos + 3; 1351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 1361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany map<string, string> functions_; 1381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany bool is_correct; 1391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}; 1401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic ObjdumpOfMyself *objdump_of_myself() { 1421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static ObjdumpOfMyself *o = new ObjdumpOfMyself(progname); 1431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return o; 1441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyconst size_t kLargeMalloc = 1 << 24; 1471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate<class T> 1491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 1501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid asan_write(T *a) { 1511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *a = 0; 1521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 1551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid asan_write_sized_aligned(uint8_t *p, size_t size) { 1561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, ((uintptr_t)p % size)); 1571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (size == 1) asan_write((uint8_t*)p); 1581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany else if (size == 2) asan_write((uint16_t*)p); 1591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany else if (size == 4) asan_write((uint32_t*)p); 1601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany else if (size == 8) asan_write((uint64_t*)p); 1611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *malloc_fff(size_t size) { 1641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc/**/(size); break_optimization(0); return res;} 1651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *malloc_eee(size_t size) { 1661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc_fff(size); break_optimization(0); return res;} 1671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *malloc_ddd(size_t size) { 1681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc_eee(size); break_optimization(0); return res;} 1691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *malloc_ccc(size_t size) { 1701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc_ddd(size); break_optimization(0); return res;} 1711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *malloc_bbb(size_t size) { 1721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc_ccc(size); break_optimization(0); return res;} 1731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *malloc_aaa(size_t size) { 1741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = malloc_bbb(size); break_optimization(0); return res;} 1751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__ 1771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *memalign_fff(size_t alignment, size_t size) { 1781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign/**/(alignment, size); break_optimization(0); return res;} 1791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *memalign_eee(size_t alignment, size_t size) { 1801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign_fff(alignment, size); break_optimization(0); return res;} 1811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *memalign_ddd(size_t alignment, size_t size) { 1821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign_eee(alignment, size); break_optimization(0); return res;} 1831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *memalign_ccc(size_t alignment, size_t size) { 1841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign_ddd(alignment, size); break_optimization(0); return res;} 1851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *memalign_bbb(size_t alignment, size_t size) { 1861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign_ccc(alignment, size); break_optimization(0); return res;} 1871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) void *memalign_aaa(size_t alignment, size_t size) { 1881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *res = memalign_bbb(alignment, size); break_optimization(0); return res;} 1891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // __APPLE__ 1901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 1931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void free_ccc(void *p) { free(p); break_optimization(0);} 1941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 1951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void free_bbb(void *p) { free_ccc(p); break_optimization(0);} 1961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 1971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void free_aaa(void *p) { free_bbb(p); break_optimization(0);} 1981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate<class T> 2001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 2011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid oob_test(int size, int off) { 2021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *p = (char*)malloc_aaa(size); 2031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // fprintf(stderr, "writing %d byte(s) into [%p,%p) with offset %d\n", 2041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // sizeof(T), p, p + size, off); 2051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany asan_write((T*)(p + off)); 2061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(p); 2071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate<class T> 2111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 2121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid uaf_test(int size, int off) { 2131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *p = (char *)malloc_aaa(size); 2141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(p); 2151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 1; i < 100; i++) 2161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(malloc_aaa(i)); 2171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany fprintf(stderr, "writing %ld byte(s) at %p with offset %d\n", 2181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany (long)sizeof(T), p, off); 2191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany asan_write((T*)(p + off)); 2201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2221e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ADDRESS_SANITIZER_MacroTest) { 2231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(1, ADDRESS_SANITIZER); 2241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2261e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SimpleDeathTest) { 2271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(exit(1), ""); 2281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2301e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, VariousMallocsTest) { 2311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // fprintf(stderr, "malloc:\n"); 2321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = (int*)malloc(100 * sizeof(int)); 2331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a[50] = 0; 2341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 2351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // fprintf(stderr, "realloc:\n"); 2371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *r = (int*)malloc(10); 2381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany r = (int*)realloc(r, 2000 * sizeof(int)); 2391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany r[1000] = 0; 2401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(r); 2411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // fprintf(stderr, "operator new []\n"); 2431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *b = new int[100]; 2441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany b[50] = 0; 2451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete [] b; 2461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // fprintf(stderr, "operator new\n"); 2481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *c = new int; 2491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *c = 0; 2501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete c; 2511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__ 2531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // cfree 2541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany cfree(Ident(malloc(1))); 2551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // fprintf(stderr, "posix_memalign\n"); 2571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *pm; 2581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int pm_res = posix_memalign((void**)&pm, kPageSize, kPageSize); 2591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, pm_res); 2601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(pm); 2611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *ma = (int*)memalign(kPageSize, kPageSize); 2631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, (uintptr_t)ma % kPageSize); 2641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ma[123] = 0; 2651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(ma); 2661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // __APPLE__ 2671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2691e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, CallocTest) { 2701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = (int*)calloc(100, sizeof(int)); 2711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, a[10]); 2721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 2731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2751e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, VallocTest) { 2761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *a = valloc(100); 2771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, (uintptr_t)a % kPageSize); 2781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 2791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__ 2821e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, PvallocTest) { 2831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *a = (char*)pvalloc(kPageSize + 100); 2841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, (uintptr_t)a % kPageSize); 2851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a[kPageSize + 101] = 1; // we should not report an error here. 2861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 2871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a = (char*)pvalloc(0); // pvalloc(0) should allocate at least one page. 2891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, (uintptr_t)a % kPageSize); 2901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a[101] = 1; // we should not report an error here. 2911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 2921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // __APPLE__ 2941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 2951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid NoOpSignalHandler(int unused) { 2961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany fprintf(stderr, "NoOpSignalHandler (should not happen). Aborting\n"); 2971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany abort(); 2981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 2991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid NoOpSigaction(int, siginfo_t *siginfo, void *context) { 3011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany fprintf(stderr, "NoOpSigaction (should not happen). Aborting\n"); 3021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany abort(); 3031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3051e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SignalTest) { 3061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany signal(SIGSEGV, NoOpSignalHandler); 3071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany signal(SIGILL, NoOpSignalHandler); 3081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // If asan did not intercept sigaction NoOpSigaction will fire. 3091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *x = Ident((char*)malloc(5)); 3101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x[6]++, "is located 1 bytes to the right"); 3111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(Ident(x)); 3121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3141e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SigactionTest) { 3151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany { 3161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany struct sigaction sigact; 3171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(&sigact, 0, sizeof(sigact)); 3181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sigact.sa_sigaction = NoOpSigaction;; 3191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sigact.sa_flags = SA_SIGINFO; 3201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sigaction(SIGSEGV, &sigact, 0); 3211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany { 3241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany struct sigaction sigact; 3251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(&sigact, 0, sizeof(sigact)); 3261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sigact.sa_sigaction = NoOpSigaction;; 3271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sigact.sa_flags = SA_SIGINFO; 3281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sigaction(SIGILL, &sigact, 0); 3291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // If asan did not intercept sigaction NoOpSigaction will fire. 3321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *x = Ident((char*)malloc(5)); 3331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x[6]++, "is located 1 bytes to the right"); 3341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(Ident(x)); 3351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *TSDWorker(void *test_key) { 3381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (test_key) { 3391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_setspecific(*(pthread_key_t*)test_key, (void*)0xfeedface); 3401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return NULL; 3421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid TSDDestructor(void *tsd) { 3451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Spawning a thread will check that the current thread id is not -1. 3461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t th; 3471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&th, NULL, TSDWorker, NULL); 3481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(th, NULL); 3491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This tests triggers the thread-specific data destruction fiasco which occurs 3521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// if we don't manage the TSD destructors ourselves. We create a new pthread 3531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// key with a non-NULL destructor which is likely to be put after the destructor 3541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// of AsanThread in the list of destructors. 3551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// In this case the TSD for AsanThread will be destroyed before TSDDestructor 3561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// is called for the child thread, and a CHECK will fail when we call 3571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// pthread_create() to spawn the grandchild. 3581e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_TSDTest) { 3591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t th; 3601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_t test_key; 3611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_create(&test_key, TSDDestructor); 3621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&th, NULL, TSDWorker, &test_key); 3631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(th, NULL); 3641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_delete(test_key); 3651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate<class T> 3681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid OOBTest() { 3691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_str[100]; 3701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int size = sizeof(T); size < 20; size += 5) { 3711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = -5; i < 0; i++) { 3721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const char *str = 3731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located.*%d byte.*to the left"; 3741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sprintf(expected_str, str, abs(i)); 3751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(oob_test<T>(size, i), expected_str); 3761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < size - sizeof(T) + 1; i++) 3791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany oob_test<T>(size, i); 3801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = size - sizeof(T) + 1; i <= size + 3 * sizeof(T); i++) { 3821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const char *str = 3831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located.*%d byte.*to the right"; 3841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int off = i >= size ? (i - size) : 0; 3851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // we don't catch unaligned partially OOB accesses. 3861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (i % sizeof(T)) continue; 3871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sprintf(expected_str, str, off); 3881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(oob_test<T>(size, i), expected_str); 3891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(oob_test<T>(kLargeMalloc, -1), 3931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located.*1 byte.*to the left"); 3941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(oob_test<T>(kLargeMalloc, kLargeMalloc), 3951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located.*0 byte.*to the right"); 3961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(glider): the following tests are EXTREMELY slow on Darwin: 3991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// AddressSanitizer.OOB_char (125503 ms) 4001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// AddressSanitizer.OOB_int (126890 ms) 4011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// AddressSanitizer.OOBRightTest (315605 ms) 4021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// AddressSanitizer.SimpleStackTest (366559 ms) 4031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4041e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, OOB_char) { 4051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany OOBTest<U1>(); 4061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4081e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, OOB_int) { 4091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany OOBTest<U4>(); 4101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4121e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, OOBRightTest) { 4131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t access_size = 1; access_size <= 8; access_size *= 2) { 4141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t alloc_size = 1; alloc_size <= 8; alloc_size++) { 4151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t offset = 0; offset <= 8; offset += access_size) { 4161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *p = malloc(alloc_size); 4171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // allocated: [p, p + alloc_size) 4181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // accessed: [p + offset, p + offset + access_size) 4191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uint8_t *addr = (uint8_t*)p + offset; 4201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (offset + access_size <= alloc_size) { 4211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany asan_write_sized_aligned(addr, access_size); 4221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 4231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int outside_bytes = offset > alloc_size ? (offset - alloc_size) : 0; 4241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const char *str = 4251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located.%d *byte.*to the right"; 4261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_str[100]; 4271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sprintf(expected_str, str, outside_bytes); 4281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(asan_write_sized_aligned(addr, access_size), 4291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany expected_str); 4301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(p); 4321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4371e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UAF_char) { 4381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const char *uaf_string = "AddressSanitizer.*heap-use-after-free"; 4391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(1, 0), uaf_string); 4401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(10, 0), uaf_string); 4411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(10, 10), uaf_string); 4421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(kLargeMalloc, 0), uaf_string); 4431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(uaf_test<U1>(kLargeMalloc, kLargeMalloc / 2), uaf_string); 4441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_HAS_BLACKLIST 4471e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, IgnoreTest) { 4481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = Ident(new int); 4491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete Ident(x); 4501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *x = 0; 4511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // ASAN_HAS_BLACKLIST 4531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystruct StructWithBitField { 4551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf1:1; 4561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf2:1; 4571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf3:1; 4581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int bf4:29; 4591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}; 4601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4611e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, BitFieldPositiveTest) { 4621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StructWithBitField *x = new StructWithBitField; 4631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete Ident(x); 4641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf1 = 0, "use-after-free"); 4651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf2 = 0, "use-after-free"); 4661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf3 = 0, "use-after-free"); 4671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(x->bf4 = 0, "use-after-free"); 4681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}; 4691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystruct StructWithBitFields_8_24 { 4711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a:8; 4721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b:24; 4731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}; 4741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4751e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, BitFieldNegativeTest) { 4761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StructWithBitFields_8_24 *x = Ident(new StructWithBitFields_8_24); 4771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x->a = 0; 4781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x->b = 0; 4791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete Ident(x); 4801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4821e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, OutOfMemoryTest) { 4831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = __WORDSIZE == 64 ? (size_t)(1ULL << 48) : (0xf0000000); 4841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, realloc(0, size)); 4851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, realloc(0, ~Ident(0))); 4861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, malloc(size)); 4871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, malloc(~Ident(0))); 4881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, calloc(1, size)); 4891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, calloc(1, ~Ident(0))); 4901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_NEEDS_SEGV 4931e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, WildAddressTest) { 4941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *c = (char*)0x123; 4951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(*c = 0, "AddressSanitizer crashed on unknown address"); 4961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 4981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void MallocStress(size_t n) { 5001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uint32_t seed = my_rand(&global_seed); 5011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t iter = 0; iter < 10; iter++) { 5021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany vector<void *> vec; 5031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < n; i++) { 5041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if ((i % 3) == 0) { 5051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (vec.empty()) continue; 5061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t idx = my_rand(&seed) % vec.size(); 5071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *ptr = vec[idx]; 5081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany vec[idx] = vec.back(); 5091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany vec.pop_back(); 5101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(ptr); 5111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 5121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = my_rand(&seed) % 1000 + 1; 5131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__ 5141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t alignment = 1 << (my_rand(&seed) % 7 + 3); 5151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *ptr = (char*)memalign_aaa(alignment, size); 5161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else 5171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *ptr = (char*) malloc_aaa(size); 5181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 5191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany vec.push_back(ptr); 5201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr[0] = 0; 5211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr[size-1] = 0; 5221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr[size/2] = 0; 5231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < vec.size(); i++) 5261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(vec[i]); 5271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5301e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MallocStressTest) { 5311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany MallocStress(200000); 5321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void TestLargeMalloc(size_t size) { 5351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char buff[1024]; 5361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sprintf(buff, "is located 1 bytes to the left of %lu-byte", (long)size); 5371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident((char*)malloc(size))[-1] = 0, buff); 5381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5401e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LargeMallocTest) { 5411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 113; i < (1 << 28); i = i * 2 + 13) { 5421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TestLargeMalloc(i); 5431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5461e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, HugeMallocTest) { 5471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __APPLE__ 5481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // It was empirically found out that 1215 megabytes is the maximum amount of 5491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // memory available to the process under AddressSanitizer on Darwin. 5501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // (the libSystem malloc() allows allocating up to 2300 megabytes without 5511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // ASan). 5521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t n_megs = __WORDSIZE == 32 ? 1200 : 4100; 5531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else 5541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t n_megs = __WORDSIZE == 32 ? 2600 : 4100; 5551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 5561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TestLargeMalloc(n_megs << 20); 5571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5591e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedMallocStressTest) { 5601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kNumThreads = 4; 5611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t[kNumThreads]; 5621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < kNumThreads; i++) { 5631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&t[i], 0, (void* (*)(void *x))MallocStress, (void*)100000); 5641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < kNumThreads; i++) { 5661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(t[i], 0); 5671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ManyThreadsWorker(void *a) { 5711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int iter = 0; iter < 100; iter++) { 5721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t size = 100; size < 2000; size *= 2) { 5731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(Ident(malloc(size))); 5741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 5771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5791e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ManyThreadsTest) { 5801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const size_t kNumThreads = __WORDSIZE == 32 ? 150 : 1000; 5811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t[kNumThreads]; 5821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < kNumThreads; i++) { 5831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&t[i], 0, (void* (*)(void *x))ManyThreadsWorker, (void*)i); 5841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < kNumThreads; i++) { 5861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(t[i], 0); 5871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5901e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ReallocTest) { 5911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kMinElem = 5; 5921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *ptr = (int*)malloc(sizeof(int) * kMinElem); 5931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr[3] = 3; 5941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 10000; i++) { 5951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ptr = (int*)realloc(ptr, 5961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany (my_rand(&global_seed) % 1000 + kMinElem) * sizeof(int)); 5971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(3, ptr[3]); 5981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid WrongFree() { 6021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = (int*)malloc(100 * sizeof(int)); 6031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Use the allocated memory, otherwise Clang will optimize it out. 6041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(x); 6051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(x + 1); 6061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6081e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, WrongFreeTest) { 6091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(WrongFree(), "attempting free.*not malloc"); 6101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid DoubleFree() { 6131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = (int*)malloc(100 * sizeof(int)); 6141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany fprintf(stderr, "DoubleFree: x=%p\n", x); 6151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(x); 6161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(x); 6171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany fprintf(stderr, "should have failed in the second free(%p)\n", x); 6181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany abort(); 6191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6211e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DoubleFreeTest) { 6221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(DoubleFree(), "attempting double-free"); 6231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate<int kSize> 6261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 6271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid SizedStackTest() { 6281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char a[kSize]; 6291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *A = Ident((char*)&a); 6301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (size_t i = 0; i < kSize; i++) 6311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany A[i] = i; 6321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[-1] = 0, ""); 6331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[-20] = 0, ""); 6341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[-31] = 0, ""); 6351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[kSize] = 0, ""); 6361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[kSize + 1] = 0, ""); 6371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[kSize + 10] = 0, ""); 6381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(A[kSize + 31] = 0, ""); 6391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6411e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SimpleStackTest) { 6421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<1>(); 6431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<2>(); 6441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<3>(); 6451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<4>(); 6461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<5>(); 6471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<6>(); 6481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<7>(); 6491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<16>(); 6501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<25>(); 6511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<34>(); 6521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<43>(); 6531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<51>(); 6541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<62>(); 6551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<64>(); 6561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SizedStackTest<128>(); 6571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6591e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ManyStackObjectsTest) { 6601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char XXX[10]; 6611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char YYY[20]; 6621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char ZZZ[30]; 6631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(XXX); 6641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(YYY); 6651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(ZZZ)[-1] = 0, ASAN_PCRE_DOTALL "XXX.*YYY.*ZZZ"); 6661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 6691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void Frame0(int frame, char *a, char *b, char *c) { 6701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char d[4] = {0}; 6711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *D = Ident(d); 6721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany switch (frame) { 6731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 3: a[5]++; break; 6741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 2: b[5]++; break; 6751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 1: c[5]++; break; 6761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany case 0: D[5]++; break; 6771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 6781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) static void Frame1(int frame, char *a, char *b) { 6801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char c[4] = {0}; Frame0(frame, a, b, c); 6811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany break_optimization(0); 6821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) static void Frame2(int frame, char *a) { 6841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char b[4] = {0}; Frame1(frame, a, b); 6851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany break_optimization(0); 6861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) static void Frame3(int frame) { 6881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char a[4] = {0}; Frame2(frame, a); 6891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany break_optimization(0); 6901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 6921e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame0Test) { 6931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(0), "located .*in frame <.*Frame0"); 6941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6951e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame1Test) { 6961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(1), "located .*in frame <.*Frame1"); 6971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 6981e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame2Test) { 6991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(2), "located .*in frame <.*Frame2"); 7001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7011e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GuiltyStackFrame3Test) { 7021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Frame3(3), "located .*in frame <.*Frame3"); 7031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 7061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid LongJmpFunc1(jmp_buf buf) { 7071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 7081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 7091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 7101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 7121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 7131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 7141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany longjmp(buf, 1); 7151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 7181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid UnderscopeLongJmpFunc1(jmp_buf buf) { 7191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 7201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 7211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 7221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 7241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 7251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 7261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany _longjmp(buf, 1); 7271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 7301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid SigLongJmpFunc1(sigjmp_buf buf) { 7311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 7321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 7331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 7341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 7361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 7371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 7381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany siglongjmp(buf, 1); 7391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 7431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid TouchStackFunc() { 7441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a[100]; // long array will intersect with redzones from LongJmpFunc1. 7451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(a); 7461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 100; i++) 7471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany A[i] = i*i; 7481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Test that we handle longjmp and do not report fals positives on stack. 7511e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LongJmpTest) { 7521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static jmp_buf buf; 7531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (!setjmp(buf)) { 7541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LongJmpFunc1(buf); 7551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 7561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 7571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 7581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7601e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UnderscopeLongJmpTest) { 7611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static jmp_buf buf; 7621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (!_setjmp(buf)) { 7631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany UnderscopeLongJmpFunc1(buf); 7641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 7651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 7661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 7671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7691e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, SigLongJmpTest) { 7701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static sigjmp_buf buf; 7711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (!sigsetjmp(buf, 1)) { 7721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SigLongJmpFunc1(buf); 7731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 7741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 7751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 7761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __EXCEPTIONS 7791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 7801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid ThrowFunc() { 7811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 7821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 7831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 7841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 7861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 7871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 7881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_THROW(1); 7891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 7901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 7911e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, CxxExceptionTest) { 7921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (ASAN_UAR) return; 7931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // TODO(kcc): this test crashes on 32-bit for some reason... 7941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (__WORDSIZE == 32) return; 7951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany try { 7961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ThrowFunc(); 7971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } catch(...) {} 7981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 7991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 8011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadStackReuseFunc1(void *unused) { 8031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // create three red zones for these two stack objects. 8041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 8051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int b; 8061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *A = Ident(&a); 8081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *B = Ident(&b); 8091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *A = *B; 8101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_exit(0); 8111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 8121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadStackReuseFunc2(void *unused) { 8151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany TouchStackFunc(); 8161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 8171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8191e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadStackReuseTest) { 8201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t; 8211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&t, 0, ThreadStackReuseFunc1, 0); 8221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(t, 0); 8231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&t, 0, ThreadStackReuseFunc2, 0); 8241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(t, 0); 8251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if defined(__i386__) or defined(__x86_64__) 8281e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, Store128Test) { 8291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *a = Ident((char*)malloc(Ident(12))); 8301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *p = a; 8311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (((uintptr_t)a % 16) != 0) 8321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany p = a + 8; 8331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany assert(((uintptr_t)p % 16) == 0); 8341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany __m128i value_wide = _mm_set1_epi16(0x1234); 8351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide), 836acd5c617b219e0f059620c2a3928d2cc821d4534Kostya Serebryany "AddressSanitizer heap-buffer-overflow"); 837acd5c617b219e0f059620c2a3928d2cc821d4534Kostya Serebryany EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide), 8381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "WRITE of size 16"); 8391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(_mm_store_si128((__m128i*)p, value_wide), 8401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "located 0 bytes to the right of 12-byte"); 8411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(a); 8421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 8441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic string RightOOBErrorMessage(int oob_distance) { 8461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany assert(oob_distance >= 0); 8471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_str[100]; 8481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sprintf(expected_str, "located %d bytes to the right", oob_distance); 8491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return string(expected_str); 8501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic string LeftOOBErrorMessage(int oob_distance) { 8531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany assert(oob_distance > 0); 8541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_str[100]; 8551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sprintf(expected_str, "located %d bytes to the left", oob_distance); 8561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return string(expected_str); 8571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 8581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate<class T> 8601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid MemSetOOBTestTemplate(size_t length) { 8611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (length == 0) return; 8621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(sizeof(T) * length); 8631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany T *array = Ident((T*)malloc(size)); 8641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int element = Ident(42); 8651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int zero = Ident(0); 8661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // memset interval inside array 8671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(array, element, size); 8681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(array, element, size - 1); 8691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(array + length - 1, element, sizeof(T)); 8701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(array, element, 1); 8711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // memset 0 bytes 8731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(array - 10, element, zero); 8741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(array - 1, element, zero); 8751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(array, element, zero); 8761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(array + length, 0, zero); 8771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(array + length + 1, 0, zero); 8781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // try to memset bytes to the right of array 8801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(memset(array, 0, size + 1), 8811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(0)); 8821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(memset((char*)(array + length) - 1, element, 6), 8831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(4)); 8841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(memset(array + 1, element, size + sizeof(T)), 8851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(2 * sizeof(T) - 1)); 8861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // whole interval is to the right 8871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(memset(array + length + 1, 0, 10), 8881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(sizeof(T))); 8891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 8901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // try to memset bytes to the left of array 8911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(memset((char*)array - 1, element, size), 8921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(1)); 8931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(memset((char*)array - 5, 0, 6), 8941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(5)); 8951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(memset(array - 5, element, size + 5 * sizeof(T)), 8961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(5 * sizeof(T))); 8971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // whole interval is to the left 8981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(memset(array - 2, 0, sizeof(T)), 8991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(2 * sizeof(T))); 9001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // try to memset bytes both to the left & to the right 9021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(memset((char*)array - 2, element, size + 4), 9031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(2)); 9041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(array); 9061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9081e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MemSetOOBTest) { 9091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany MemSetOOBTestTemplate<char>(100); 9101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany MemSetOOBTestTemplate<int>(5); 9111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany MemSetOOBTestTemplate<double>(256); 9121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // We can test arrays of structres/classes here, but what for? 9131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Same test for memcpy and memmove functions 9161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate <class T, class M> 9171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid MemTransferOOBTestTemplate(size_t length) { 9181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (length == 0) return; 9191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(sizeof(T) * length); 9201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany T *src = Ident((T*)malloc(size)); 9211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany T *dest = Ident((T*)malloc(size)); 9221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int zero = Ident(0); 9231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // valid transfer of bytes between arrays 9251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany M::transfer(dest, src, size); 9261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany M::transfer(dest + 1, src, size - sizeof(T)); 9271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany M::transfer(dest, src + length - 1, sizeof(T)); 9281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany M::transfer(dest, src, 1); 9291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // transfer zero bytes 9311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany M::transfer(dest - 1, src, 0); 9321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany M::transfer(dest + length, src, zero); 9331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany M::transfer(dest, src - 1, zero); 9341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany M::transfer(dest, src, zero); 9351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // try to change mem to the right of dest 9371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(M::transfer(dest + 1, src, size), 9381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(sizeof(T) - 1)); 9391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(M::transfer((char*)(dest + length) - 1, src, 5), 9401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(3)); 9411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // try to change mem to the left of dest 9431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(M::transfer(dest - 2, src, size), 9441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(2 * sizeof(T))); 9451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(M::transfer((char*)dest - 3, src, 4), 9461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(3)); 9471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // try to access mem to the right of src 9491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(M::transfer(dest, src + 2, size), 9501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(2 * sizeof(T) - 1)); 9511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(M::transfer(dest, (char*)(src + length) - 3, 6), 9521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(2)); 9531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // try to access mem to the left of src 9551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(M::transfer(dest, src - 1, size), 9561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(sizeof(T))); 9571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(M::transfer(dest, (char*)src - 6, 7), 9581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(6)); 9591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Generally we don't need to test cases where both accessing src and writing 9611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // to dest address to poisoned memory. 9621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany T *big_src = Ident((T*)malloc(size * 2)); 9641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany T *big_dest = Ident((T*)malloc(size * 2)); 9651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // try to change mem to both sides of dest 9661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(M::transfer(dest - 1, big_src, size * 2), 9671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(sizeof(T))); 9681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // try to access mem to both sides of src 9691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(M::transfer(big_dest, src - 2, size * 2), 9701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(2 * sizeof(T))); 9711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(src); 9731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(dest); 9741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(big_src); 9751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(big_dest); 9761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyclass MemCpyWrapper { 9791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany public: 9801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static void* transfer(void *to, const void *from, size_t size) { 9811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return memcpy(to, from, size); 9821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 9831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}; 9841e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MemCpyOOBTest) { 9851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany MemTransferOOBTestTemplate<char, MemCpyWrapper>(100); 9861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany MemTransferOOBTestTemplate<int, MemCpyWrapper>(1024); 9871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 9891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyclass MemMoveWrapper { 9901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany public: 9911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static void* transfer(void *to, const void *from, size_t size) { 9921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return memmove(to, from, size); 9931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 9941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany}; 9951e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MemMoveOOBTest) { 9961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany MemTransferOOBTestTemplate<char, MemMoveWrapper>(100); 9971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany MemTransferOOBTestTemplate<int, MemMoveWrapper>(1024); 9981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 9991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Tests for string functions 10011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Used for string functions tests 10031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic char global_string[] = "global"; 10041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic size_t global_string_length = 6; 10051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Input to a test is a zero-terminated string str with given length 10071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Accesses to the bytes to the left and to the right of str 10081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// are presumed to produce OOB errors 10091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid StrLenOOBTestTemplate(char *str, size_t length, bool is_global) { 10101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Normal strlen calls 10111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(strlen(str), length); 10121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (length > 0) { 10131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(strlen(str + 1), length - 1); 10141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(strlen(str + length), 0); 10151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 10161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Arg of strlen is not malloced, OOB access 10171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (!is_global) { 10181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // We don't insert RedZones to the left of global variables 10191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strlen(str - 1)), LeftOOBErrorMessage(1)); 10201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strlen(str - 5)), LeftOOBErrorMessage(5)); 10211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 10221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strlen(str + length + 1)), RightOOBErrorMessage(0)); 10231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite terminator 10241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[length] = 'a'; 10251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // String is not zero-terminated, strlen will lead to OOB access 10261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strlen(str)), RightOOBErrorMessage(0)); 10271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strlen(str + length)), RightOOBErrorMessage(0)); 10281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Restore terminator 10291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[length] = 0; 10301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10311e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrLenOOBTest) { 10321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Check heap-allocated string 10331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t length = Ident(10); 10341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *heap_string = Ident((char*)malloc(length + 1)); 10351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char stack_string[10 + 1]; 10361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < length; i++) { 10371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany heap_string[i] = 'a'; 10381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany stack_string[i] = 'b'; 10391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 10401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany heap_string[length] = 0; 10411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany stack_string[length] = 0; 10421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StrLenOOBTestTemplate(heap_string, length, false); 10431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // TODO(samsonov): Fix expected messages in StrLenOOBTestTemplate to 10441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // make test for stack_string work. Or move it to output tests. 10451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // StrLenOOBTestTemplate(stack_string, length, false); 10461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StrLenOOBTestTemplate(global_string, global_string_length, true); 10471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(heap_string); 10481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifndef __APPLE__ 10511e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrNLenOOBTest) { 10521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(123); 10531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *str = Ident((char*)malloc(size)); 10541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(str, 'z', size); 10551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Normal strnlen calls. 10561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strnlen(str - 1, 0)); 10571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strnlen(str, size)); 10581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strnlen(str + size - 1, 1)); 10591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[size - 1] = '\0'; 10601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strnlen(str, 2 * size)); 10611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Argument points to not allocated memory. 10621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strnlen(str - 1, 1)), LeftOOBErrorMessage(1)); 10631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strnlen(str + size, 1)), RightOOBErrorMessage(0)); 10641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite the terminating '\0' and hit unallocated memory. 10651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[size - 1] = 'z'; 10661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strnlen(str, size + 1)), RightOOBErrorMessage(0)); 10671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(str); 10681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 10701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10711e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrDupOOBTest) { 10721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(42); 10731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *str = Ident((char*)malloc(size)); 10741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *new_str; 10751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(str, 'z', size); 10761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Normal strdup calls. 10771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[size - 1] = '\0'; 10781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany new_str = strdup(str); 10791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(new_str); 10801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany new_str = strdup(str + size - 1); 10811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(new_str); 10821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Argument points to not allocated memory. 10831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strdup(str - 1)), LeftOOBErrorMessage(1)); 10841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strdup(str + size)), RightOOBErrorMessage(0)); 10851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite the terminating '\0' and hit unallocated memory. 10861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[size - 1] = 'z'; 10871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strdup(str)), RightOOBErrorMessage(0)); 10881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(str); 10891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 10901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10911e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrCpyOOBTest) { 10921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t to_size = Ident(30); 10931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t from_size = Ident(6); // less than to_size 10941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *to = Ident((char*)malloc(to_size)); 10951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *from = Ident((char*)malloc(from_size)); 10961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Normal strcpy calls. 10971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(from, "hello"); 10981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(to, from); 10991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(to + to_size - from_size, from); 11001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Length of "from" is too small. 11011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcpy(from, "hello2")), RightOOBErrorMessage(0)); 11021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // "to" or "from" points to not allocated memory. 11031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcpy(to - 1, from)), LeftOOBErrorMessage(1)); 11041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcpy(to, from - 1)), LeftOOBErrorMessage(1)); 11051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcpy(to, from + from_size)), RightOOBErrorMessage(0)); 11061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcpy(to + to_size, from)), RightOOBErrorMessage(0)); 11071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite the terminating '\0' character and hit unallocated memory. 11081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany from[from_size - 1] = '!'; 11091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcpy(to, from)), RightOOBErrorMessage(0)); 11101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(to); 11111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(from); 11121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11141e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrNCpyOOBTest) { 11151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t to_size = Ident(20); 11161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t from_size = Ident(6); // less than to_size 11171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *to = Ident((char*)malloc(to_size)); 11181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // From is a zero-terminated string "hello\0" of length 6 11191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *from = Ident((char*)malloc(from_size)); 11201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(from, "hello"); 11211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // copy 0 bytes 11221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to, from, 0); 11231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to - 1, from - 1, 0); 11241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // normal strncpy calls 11251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to, from, from_size); 11261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to, from, to_size); 11271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to, from + from_size - 1, to_size); 11281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to + to_size - 1, from, 1); 11291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // One of {to, from} points to not allocated memory 11301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to, from - 1, from_size)), 11311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(1)); 11321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to - 1, from, from_size)), 11331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LeftOOBErrorMessage(1)); 11341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to, from + from_size, 1)), 11351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(0)); 11361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to + to_size, from, 1)), 11371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(0)); 11381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Length of "to" is too small 11391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to + to_size - from_size + 1, from, from_size)), 11401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(0)); 11411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to + 1, from, to_size)), 11421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(0)); 11431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite terminator in from 11441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany from[from_size - 1] = '!'; 11451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // normal strncpy call 11461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(to, from, from_size); 11471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Length of "from" is too small 11481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncpy(to, from, to_size)), 11491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RightOOBErrorMessage(0)); 11501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(to); 11511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(from); 11521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef char*(*PointerToStrChr)(const char*, int); 11551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid RunStrChrTest(PointerToStrChr StrChr) { 11561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 11571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *str = Ident((char*)malloc(size)); 11581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(str, 'z', size); 11591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[10] = 'q'; 11601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[11] = '\0'; 11611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(str, StrChr(str, 'z')); 11621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(str + 10, StrChr(str, 'q')); 11631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(NULL, StrChr(str, 'a')); 11641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // StrChr argument points to not allocated memory. 11651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(StrChr(str - 1, 'z')), LeftOOBErrorMessage(1)); 11661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(StrChr(str + size, 'z')), RightOOBErrorMessage(0)); 11671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Overwrite the terminator and hit not allocated memory. 11681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[11] = 'z'; 11691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(StrChr(str, 'a')), RightOOBErrorMessage(0)); 11701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(str); 11711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11721e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrChrAndIndexOOBTest) { 11731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RunStrChrTest(&strchr); 11741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany RunStrChrTest(&index); 11751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11771e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrCmpAndFriendsLogicTest) { 11781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // strcmp 11791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, strcmp("", "")); 11801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, strcmp("abcd", "abcd")); 11811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(-1, strcmp("ab", "ac")); 11821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(-1, strcmp("abc", "abcd")); 11831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(1, strcmp("acc", "abc")); 11841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(1, strcmp("abcd", "abc")); 11851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // strncmp 11871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, strncmp("a", "b", 0)); 11881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, strncmp("abcd", "abcd", 10)); 11891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, strncmp("abcd", "abcef", 3)); 11901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(-1, strncmp("abcde", "abcfa", 4)); 11911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(-1, strncmp("a", "b", 5)); 11921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(-1, strncmp("bc", "bcde", 4)); 11931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(1, strncmp("xyz", "xyy", 10)); 11941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(1, strncmp("baa", "aaa", 1)); 11951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(1, strncmp("zyx", "", 2)); 11961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 11971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 11981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic inline char* MallocAndMemsetString(size_t size) { 11991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *s = Ident((char*)malloc(size)); 12001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(s, 'z', size); 12011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return s; 12021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12041e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrCmpOOBTest) { 12051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 12061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *s1 = MallocAndMemsetString(size); 12071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *s2 = MallocAndMemsetString(size); 12081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s1[size - 1] = '\0'; 12091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = '\0'; 12101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Normal strcmp calls 12111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strcmp(s1, s2)); 12121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strcmp(s1, s2 + size - 1)); 12131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strcmp(s1 + size - 1, s2 + size - 1)); 12141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s1[size - 1] = 'z'; 12151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = 'x'; 12161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strcmp(s1, s2)); 12171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // One of arguments points to not allocated memory. 12181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcmp)(s1 - 1, s2), LeftOOBErrorMessage(1)); 12191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcmp)(s1, s2 - 1), LeftOOBErrorMessage(1)); 12201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcmp)(s1 + size, s2), RightOOBErrorMessage(0)); 12211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcmp)(s1, s2 + size), RightOOBErrorMessage(0)); 12221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Hit unallocated memory and die. 12231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = 'z'; 12241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcmp)(s1, s1), RightOOBErrorMessage(0)); 12251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strcmp)(s1 + size - 1, s2), RightOOBErrorMessage(0)); 12261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s1); 12271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s2); 12281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12301e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrNCmpOOBTest) { 12311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 12321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *s1 = MallocAndMemsetString(size); 12331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *s2 = MallocAndMemsetString(size); 12341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s1[size - 1] = '\0'; 12351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = '\0'; 12361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Normal strncmp calls 12371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strncmp(s1, s2, size + 2)); 12381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s1[size - 1] = 'z'; 12391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = 'x'; 12401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strncmp(s1 + size - 2, s2 + size - 2, size)); 12411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany s2[size - 1] = 'z'; 12421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strncmp(s1 - 1, s2 - 1, 0)); 12431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(strncmp(s1 + size - 1, s2 + size - 1, 1)); 12441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // One of arguments points to not allocated memory. 12451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncmp)(s1 - 1, s2, 1), LeftOOBErrorMessage(1)); 12461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncmp)(s1, s2 - 1, 1), LeftOOBErrorMessage(1)); 12471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncmp)(s1 + size, s2, 1), RightOOBErrorMessage(0)); 12481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncmp)(s1, s2 + size, 1), RightOOBErrorMessage(0)); 12491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Hit unallocated memory and die. 12501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncmp)(s1 + 1, s2 + 1, size), RightOOBErrorMessage(0)); 12511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(strncmp)(s1 + size - 1, s2, 2), RightOOBErrorMessage(0)); 12521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s1); 12531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s2); 12541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic const char *kOverlapErrorMessage = "strcpy-param-overlap"; 12571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12581e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrArgsOverlapTest) { 12591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 12601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *str = Ident((char*)malloc(size)); 12611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if 0 12631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Check "memcpy". Use Ident() to avoid inlining. 12641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(str, 'z', size); 12651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(memcpy)(str + 1, str + 11, 10); 12661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(memcpy)(str, str, 0); 12671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(memcpy)(str, str + 14, 15), kOverlapErrorMessage); 12681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(memcpy)(str + 14, str, 15), kOverlapErrorMessage); 12691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(memcpy)(str + 20, str + 20, 1), kOverlapErrorMessage); 12701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 12711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Check "strcpy". 12731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(str, 'z', size); 12741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[9] = '\0'; 12751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(str + 10, str); 12761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(strcpy(str + 9, str), kOverlapErrorMessage); 12771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(strcpy(str, str + 4), kOverlapErrorMessage); 12781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strcpy(str, str + 5); 12791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Check "strncpy". 12811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(str, 'z', size); 12821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(str, str + 10, 10); 12831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(strncpy(str, str + 9, 10), kOverlapErrorMessage); 12841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(strncpy(str + 9, str, 10), kOverlapErrorMessage); 12851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany str[10] = '\0'; 12861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany strncpy(str + 11, str, 20); 12871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(strncpy(str + 10, str, 20), kOverlapErrorMessage); 12881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(str); 12901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 12911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// At the moment we instrument memcpy/memove/memset calls at compile time so we 12931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// can't handle OOB error if these functions are called by pointer, see disabled 12941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// MemIntrinsicCallByPointerTest below 12951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef void*(*PointerToMemTransfer)(void*, const void*, size_t); 12961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytypedef void*(*PointerToMemSet)(void*, int, size_t); 12971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 12981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid CallMemSetByPointer(PointerToMemSet MemSet) { 12991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 13001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *array = Ident((char*)malloc(size)); 13011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(MemSet(array, 0, 101), RightOOBErrorMessage(0)); 13021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(array); 13031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid CallMemTransferByPointer(PointerToMemTransfer MemTransfer) { 13061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = Ident(100); 13071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *src = Ident((char*)malloc(size)); 13081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *dst = Ident((char*)malloc(size)); 13091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(MemTransfer(dst, src, 101), RightOOBErrorMessage(0)); 13101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(src); 13111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(dst); 13121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13141e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MemIntrinsicCallByPointerTest) { 13151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany CallMemSetByPointer(&memset); 13161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany CallMemTransferByPointer(&memcpy); 13171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany CallMemTransferByPointer(&memmove); 13181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This test case fails 13211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Clang optimizes memcpy/memset calls which lead to unaligned access 13221e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MemIntrinsicUnalignedAccessTest) { 13231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int size = Ident(4096); 13241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *s = Ident((char*)malloc(size)); 13251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(memset(s + size - 1, 0, 2), RightOOBErrorMessage(0)); 13261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(s); 13271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(samsonov): Add a test with malloc(0) 13301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(samsonov): Add tests for str* and mem* functions. 13311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 13331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic int LargeFunction(bool do_bad_access) { 13341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x = new int[100]; 13351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[0]++; 13361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[1]++; 13371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[2]++; 13381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[3]++; 13391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[4]++; 13401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[5]++; 13411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[6]++; 13421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[7]++; 13431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[8]++; 13441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[9]++; 13451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[do_bad_access ? 100 : 0]++; int res = __LINE__; 13471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[10]++; 13491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[11]++; 13501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[12]++; 13511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[13]++; 13521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[14]++; 13531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[15]++; 13541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[16]++; 13551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[17]++; 13561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[18]++; 13571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany x[19]++; 13581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete x; 13601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return res; 13611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Test the we have correct debug info for the failing instruction. 13641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This test requires the in-process symbolizer to be enabled by default. 13651e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_LargeFunctionSymbolizeTest) { 13661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int failing_line = LargeFunction(false); 13671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char expected_warning[128]; 13681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany sprintf(expected_warning, "LargeFunction.*asan_test.cc:%d", failing_line); 13691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(LargeFunction(true), expected_warning); 13701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Check that we unwind and symbolize correctly. 13731e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_MallocFreeUnwindAndSymbolizeTest) { 13741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = (int*)malloc_aaa(sizeof(int)); 13751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *a = 1; 13761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(a); 13771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(*a = 1, "free_ccc.*free_bbb.*free_aaa.*" 13781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "malloc_fff.*malloc_eee.*malloc_ddd"); 13791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestAlloc(void *a) { 13821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int **p = (int**)a; 13831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *p = new int; 13841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 13851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestFree(void *a) { 13881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int **p = (int**)a; 13891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany delete *p; 13901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 13911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *ThreadedTestUse(void *a) { 13941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int **p = (int**)a; 13951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany **p = 1; 13961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 13971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 13981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 13991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid ThreadedTestSpawn() { 14001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t; 14011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *x; 14021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&t, 0, ThreadedTestAlloc, &x); 14031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(t, 0); 14041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&t, 0, ThreadedTestFree, &x); 14051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(t, 0); 14061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&t, 0, ThreadedTestUse, &x); 14071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(t, 0); 14081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14101e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedTest) { 14111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(ThreadedTestSpawn(), 14121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_PCRE_DOTALL 14131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "Thread T.*created" 14141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ".*Thread T.*created" 14151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ".*Thread T.*created"); 14161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if ASAN_NEEDS_SEGV 14191e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ShadowGapTest) { 14201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#if __WORDSIZE == 32 14211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *addr = (char*)0x22000000; 14221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#else 14231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *addr = (char*)0x0000100000080000; 14241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 14251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(*addr = 1, "AddressSanitizer crashed on unknown"); 14261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // ASAN_NEEDS_SEGV 14281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyextern "C" { 14301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 14311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void UseThenFreeThenUse() { 14321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *x = Ident((char*)malloc(8)); 14331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *x = 1; 14341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free_aaa(x); 14351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *x = 2; 14361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14391e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, UseThenFreeThenUseTest) { 14401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(UseThenFreeThenUse(), "freed by thread"); 14411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14431e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StrDupTest) { 14441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(strdup(Ident("123"))); 14451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14471e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ObjdumpTest) { 14481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ObjdumpOfMyself *o = objdump_of_myself(); 14491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_TRUE(o->IsCorrect()); 14501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyextern "C" { 14531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 14541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void DisasmSimple() { 14551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(0); 14561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 14591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void DisasmParamWrite(int *a) { 14601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *a = 1; 14611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 14641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void DisasmParamInc(int *a) { 14651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany (*a)++; 14661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 14691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void DisasmParamReadIfWrite(int *a) { 14701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (*a) 14711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *a = 1; 14721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 14751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic int DisasmParamIfReadWrite(int *a, int cond) { 14761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int res = 0; 14771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (cond) 14781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany res = *a; 14791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany *a = 0; 14801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return res; 14811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic int GLOBAL; 14841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 14861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void DisasmWriteGlob() { 14871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany GLOBAL = 1; 14881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 14891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} // extern "C" 14901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14911e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DisasmTest) { 14921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a; 14931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany DisasmSimple(); 14941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany DisasmParamWrite(&a); 14951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany DisasmParamInc(&a); 14961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(DisasmWriteGlob)(); 14971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany DisasmParamReadIfWrite(&a); 14981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 14991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany a = 7; 15001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(7, DisasmParamIfReadWrite(&a, Ident(1))); 15011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, a); 15021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ObjdumpOfMyself *o = objdump_of_myself(); 15041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany vector<string> insns; 15051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany insns.push_back("ud2"); 15061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany insns.push_back("__asan_report_"); 15071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, o->CountInsnInFunc("DisasmSimple", insns)); 15081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(1, o->CountInsnInFunc("DisasmParamWrite", insns)); 15091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(1, o->CountInsnInFunc("DisasmParamInc", insns)); 15101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, o->CountInsnInFunc("DisasmWriteGlob", insns)); 15111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // TODO(kcc): implement these (needs just one __asan_report). 15131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(2, o->CountInsnInFunc("DisasmParamReadIfWrite", insns)); 15141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(2, o->CountInsnInFunc("DisasmParamIfReadWrite", insns)); 15151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 15161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Currently we create and poison redzone at right of global variables. 15181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanychar glob5[5]; 15191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic char static110[110]; 15201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyconst char ConstGlob[7] = {1, 2, 3, 4, 5, 6, 7}; 15211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic const char StaticConstGlob[3] = {9, 8, 7}; 15221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyextern int GlobalsTest(int x); 15231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15241e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GlobalTest) { 15251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char func_static15[15]; 15261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char fs1[10]; 15281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char fs2[10]; 15291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char fs3[10]; 15301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(0)] = 0; 15321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(1)] = 0; 15331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(2)] = 0; 15341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(3)] = 0; 15351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany glob5[Ident(4)] = 0; 15361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(glob5[Ident(5)] = 0, 15381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "0 bytes to the right of global variable.*glob5.* size 5"); 15391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(glob5[Ident(5+6)] = 0, 15401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "6 bytes to the right of global variable.*glob5.* size 5"); 15411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(static110); // avoid optimizations 15421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static110[Ident(0)] = 0; 15431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static110[Ident(109)] = 0; 15441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(static110[Ident(110)] = 0, 15451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "0 bytes to the right of global variable"); 15461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(static110[Ident(110+7)] = 0, 15471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "7 bytes to the right of global variable"); 15481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(func_static15); // avoid optimizations 15501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany func_static15[Ident(0)] = 0; 15511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(func_static15[Ident(15)] = 0, 15521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "0 bytes to the right of global variable"); 15531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(func_static15[Ident(15 + 9)] = 0, 15541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "9 bytes to the right of global variable"); 15551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(fs1); 15571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(fs2); 15581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(fs3); 15591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // We don't create left redzones, so this is not 100% guaranteed to fail. 15611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // But most likely will. 15621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(fs2[Ident(-1)] = 0, "is located.*of global variable"); 15631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(Ident(ConstGlob)[8]), 15651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located 1 bytes to the right of .*ConstGlob"); 15661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(Ident(StaticConstGlob)[5]), 15671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "is located 2 bytes to the right of .*StaticConstGlob"); 15681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // call stuff from another file. 15701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany GlobalsTest(0); 15711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 15721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15731e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, GlobalStringConstTest) { 15741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static const char *zoo = "FOOBAR123"; 15751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const char *p = Ident(zoo); 15761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(Ident(p[15]), "is ascii string 'FOOBAR123'"); 15771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 15781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyint *ReturnsPointerToALocalObject() { 15801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int a = 0; 15811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return Ident(&a); 15821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 15831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15841e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, LocalReferenceReturnTest) { 15851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *(*f)() = Ident(ReturnsPointerToALocalObject); 15861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Call f several times, only the first time should be reported. 15871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany f(); 15881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany f(); 15891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany f(); 15901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany f(); 15911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (ASAN_UAR) { 15921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(*f() = 1, "is located.*in frame .*ReturnsPointerToALocal"); 15931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 15941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 15951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 15961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanytemplate <int kSize> 15971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 15981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void FuncWithStack() { 15991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char x[kSize]; 16001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(x)[0] = 0; 16011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(x)[kSize-1] = 0; 16021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void LotsOfStackReuse() { 16051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int LargeStack[10000]; 16061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(LargeStack)[0] = 0; 16071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 10000; i++) { 16081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 1>(); 16091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 2>(); 16101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 4>(); 16111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 8>(); 16121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 16>(); 16131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 32>(); 16141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 64>(); 16151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 128>(); 16161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 256>(); 16171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany FuncWithStack<128 * 512>(); 16181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(LargeStack)[0] = 0; 16191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 16201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16221e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, StressStackReuseTest) { 16231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany LotsOfStackReuse(); 16241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16261e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, ThreadedStressStackReuseTest) { 16271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kNumThreads = 20; 16281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t[kNumThreads]; 16291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < kNumThreads; i++) { 16301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&t[i], 0, (void* (*)(void *x))LotsOfStackReuse, 0); 16311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 16321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < kNumThreads; i++) { 16331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(t[i], 0); 16341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 16351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __EXCEPTIONS 16381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany__attribute__((noinline)) 16391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanystatic void StackReuseAndException() { 16401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int large_stack[1000]; 16411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(large_stack); 16421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_THROW(1); 16431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(kcc): support exceptions with use-after-return. 16461e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_StressStackReuseAndExceptionsTest) { 16471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (int i = 0; i < 10000; i++) { 16481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany try { 16491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany StackReuseAndException(); 16501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } catch(...) { 16511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 16521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 16531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif 16551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16561e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, MlockTest) { 16571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, mlockall(MCL_CURRENT)); 16581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, mlock((void*)0x12345, 0x5678)); 16591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, munlockall()); 16601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_EQ(0, munlock((void*)0x987, 0x654)); 16611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// ------------------ demo tests; run each one-by-one ------------- 16641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// e.g. --gtest_filter=*DemoOOBLeftHigh --gtest_also_run_disabled_tests 16651e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoThreadedTest) { 16661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ThreadedTestSpawn(); 16671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *SimpleBugOnSTack(void *x = 0) { 16701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char a[20]; 16711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[20] = 0; 16721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return 0; 16731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16751e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoStackTest) { 16761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany SimpleBugOnSTack(); 16771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16791e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoThreadStackTest) { 16801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t t; 16811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&t, 0, SimpleBugOnSTack, 0); 16821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(t, 0); 16831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16851e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowIn) { 16861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(10, 0); 16871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16881e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowLeft) { 16891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(10, -2); 16901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16911e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFLowRight) { 16921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(10, 10); 16931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16951e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoUAFHigh) { 16961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany uaf_test<U1>(kLargeMalloc, 0); 16971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 16981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 16991e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOBLeftLow) { 17001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany oob_test<U1>(10, -1); 17011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17031e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOBLeftHigh) { 17041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany oob_test<U1>(kLargeMalloc, -1); 17051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17071e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOBRightLow) { 17081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany oob_test<U1>(10, 10); 17091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17111e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOBRightHigh) { 17121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany oob_test<U1>(kLargeMalloc, kLargeMalloc); 17131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17151e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoOOM) { 17161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t size = __WORDSIZE == 64 ? (size_t)(1ULL << 40) : (0xf0000000); 17171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany printf("%p\n", malloc(size)); 17181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17201e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoDoubleFreeTest) { 17211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany DoubleFree(); 17221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17241e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoNullDerefTest) { 17251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int *a = 0; 17261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[10] = 0; 17271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17291e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoFunctionStaticTest) { 17301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char a[100]; 17311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char b[100]; 17321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany static char c[100]; 17331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a); 17341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(b); 17351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(c); 17361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[5] = 0; 17371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(b)[105] = 0; 17381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany Ident(a)[5] = 0; 17391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17411e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizer, DISABLED_DemoTooMuchMemoryTest) { 17421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const size_t kAllocSize = (1 << 28) - 1024; 17431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany size_t total_size = 0; 17441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany while (true) { 17451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany char *x = (char*)malloc(kAllocSize); 17461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany memset(x, 0, kAllocSize); 17471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany total_size += kAllocSize; 17481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany fprintf(stderr, "total: %ldM\n", (long)total_size >> 20); 17491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 17501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#ifdef __APPLE__ 17531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_mac_test.h" 17541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// TODO(glider): figure out whether we still need these tests. Is it correct 17551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// to intercept CFAllocator? 17561e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizerMac, DISABLED_CFAllocatorDefaultDoubleFree) { 17571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH( 17581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany CFAllocatorDefaultDoubleFree(), 17591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "attempting double-free"); 17601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17621e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizerMac, DISABLED_CFAllocatorSystemDefaultDoubleFree) { 17631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH( 17641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany CFAllocatorSystemDefaultDoubleFree(), 17651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany "attempting double-free"); 17661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17681e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizerMac, DISABLED_CFAllocatorMallocDoubleFree) { 17691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(CFAllocatorMallocDoubleFree(), "attempting double-free"); 17701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17721e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizerMac, DISABLED_CFAllocatorMallocZoneDoubleFree) { 17731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(CFAllocatorMallocZoneDoubleFree(), "attempting double-free"); 17741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 177696bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDDispatchAsync) { 17771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Make sure the whole ASan report is printed, i.e. that we don't die 17781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // on a CHECK. 17791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(TestGCDDispatchAsync(), "Shadow byte and word"); 17801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 178296bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDDispatchSync) { 17831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Make sure the whole ASan report is printed, i.e. that we don't die 17841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // on a CHECK. 17851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(TestGCDDispatchSync(), "Shadow byte and word"); 17861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 17881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 178996bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDReuseWqthreadsAsync) { 17901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Make sure the whole ASan report is printed, i.e. that we don't die 17911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // on a CHECK. 17921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(TestGCDReuseWqthreadsAsync(), "Shadow byte and word"); 17931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 17941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 179596bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDReuseWqthreadsSync) { 17961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Make sure the whole ASan report is printed, i.e. that we don't die 17971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // on a CHECK. 17981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(TestGCDReuseWqthreadsSync(), "Shadow byte and word"); 17991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 18001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 180196bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDDispatchAfter) { 18021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Make sure the whole ASan report is printed, i.e. that we don't die 18031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // on a CHECK. 18041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(TestGCDDispatchAfter(), "Shadow byte and word"); 18051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 18061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 180796bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDSourceEvent) { 18081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Make sure the whole ASan report is printed, i.e. that we don't die 18091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // on a CHECK. 18101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(TestGCDSourceEvent(), "Shadow byte and word"); 18111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 18121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 181396bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDSourceCancel) { 18141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Make sure the whole ASan report is printed, i.e. that we don't die 18151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // on a CHECK. 18161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(TestGCDSourceCancel(), "Shadow byte and word"); 18171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 18181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 181996bdefaabcd9ed4cb3401f5fbfb51fd964e03f5aKostya SerebryanyTEST(AddressSanitizerMac, GCDGroupAsync) { 18201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Make sure the whole ASan report is printed, i.e. that we don't die 18211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // on a CHECK. 18221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany EXPECT_DEATH(TestGCDGroupAsync(), "Shadow byte and word"); 18231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 18241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 18251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *MallocIntrospectionLockWorker(void *_) { 18261e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kNumPointers = 100; 18271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int i; 18281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *pointers[kNumPointers]; 18291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (i = 0; i < kNumPointers; i++) { 18301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pointers[i] = malloc(i + 1); 18311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 18321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (i = 0; i < kNumPointers; i++) { 18331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(pointers[i]); 18341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 18351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 18361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return NULL; 18371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 18381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 18391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *MallocIntrospectionLockForker(void *_) { 18401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pid_t result = fork(); 18411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (result == -1) { 18421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany perror("fork"); 18431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 18441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany assert(result != -1); 18451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (result == 0) { 18461e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Call malloc in the child process to make sure we won't deadlock. 18471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *ptr = malloc(42); 18481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany free(ptr); 18491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany exit(0); 18501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } else { 18511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Return in the parent process. 18521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return NULL; 18531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 18541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 18551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 18561e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizerMac, MallocIntrospectionLock) { 18571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // Incorrect implementation of force_lock and force_unlock in our malloc zone 18581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // will cause forked processes to deadlock. 18591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // TODO(glider): need to detect that none of the child processes deadlocked. 18601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const int kNumWorkers = 5, kNumIterations = 100; 18611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany int i, iter; 18621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (iter = 0; iter < kNumIterations; iter++) { 18631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t workers[kNumWorkers], forker; 18641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (i = 0; i < kNumWorkers; i++) { 18651e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&workers[i], 0, MallocIntrospectionLockWorker, 0); 18661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 18671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&forker, 0, MallocIntrospectionLockForker, 0); 18681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (i = 0; i < kNumWorkers; i++) { 18691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(workers[i], 0); 18701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 18711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(forker, 0); 18721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 18731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 18741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 18751e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyvoid *TSDAllocWorker(void *test_key) { 18761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (test_key) { 18771e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany void *mem = malloc(10); 18781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_setspecific(*(pthread_key_t*)test_key, mem); 18791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 18801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return NULL; 18811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 18821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 18831e172b4bdec57329bf904f063a29f99cddf2d85fKostya SerebryanyTEST(AddressSanitizerMac, DISABLED_TSDWorkqueueTest) { 18841e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_t th; 18851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_t test_key; 18861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_create(&test_key, CallFreeOnWorkqueue); 18871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_create(&th, NULL, TSDAllocWorker, &test_key); 18881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_join(th, NULL); 18891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany pthread_key_delete(test_key); 18901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 18911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#endif // __APPLE__ 18921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 18931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyint main(int argc, char **argv) { 18941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany progname = argv[0]; 18951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany testing::GTEST_FLAG(death_test_style) = "threadsafe"; 18961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany testing::InitGoogleTest(&argc, argv); 18971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return RUN_ALL_TESTS(); 18981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 1899