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