asan_new_delete.cc revision 296417
1218885Sdim//===-- asan_interceptors.cc ----------------------------------------------===// 2218885Sdim// 3218885Sdim// The LLVM Compiler Infrastructure 4218885Sdim// 5218885Sdim// This file is distributed under the University of Illinois Open Source 6218885Sdim// License. See LICENSE.TXT for details. 7218885Sdim// 8218885Sdim//===----------------------------------------------------------------------===// 9218885Sdim// 10218885Sdim// This file is a part of AddressSanitizer, an address sanity checker. 11218885Sdim// 12218885Sdim// Interceptors for operators new and delete. 13218885Sdim//===----------------------------------------------------------------------===// 14218885Sdim 15218885Sdim#include "asan_allocator.h" 16218885Sdim#include "asan_internal.h" 17218885Sdim#include "asan_stack.h" 18218885Sdim 19218885Sdim#include "interception/interception.h" 20218885Sdim 21218885Sdim#include <stddef.h> 22218885Sdim 23218885Sdim// C++ operators can't have visibility attributes on Windows. 24218885Sdim#if SANITIZER_WINDOWS 25218885Sdim# define CXX_OPERATOR_ATTRIBUTE 26218885Sdim#else 27218885Sdim# define CXX_OPERATOR_ATTRIBUTE INTERCEPTOR_ATTRIBUTE 28218885Sdim#endif 29218885Sdim 30218885Sdimusing namespace __asan; // NOLINT 31218885Sdim 32218885Sdim// This code has issues on OSX. 33218885Sdim// See https://github.com/google/sanitizers/issues/131. 34218885Sdim 35218885Sdim// Fake std::nothrow_t to avoid including <new>. 36218885Sdimnamespace std { 37218885Sdimstruct nothrow_t {}; 38218885Sdim} // namespace std 39218885Sdim 40218885Sdim#define OPERATOR_NEW_BODY(type) \ 41218885Sdim GET_STACK_TRACE_MALLOC;\ 42218885Sdim return asan_memalign(0, size, &stack, type); 43218885Sdim 44218885Sdim// On OS X it's not enough to just provide our own 'operator new' and 45218885Sdim// 'operator delete' implementations, because they're going to be in the 46218885Sdim// runtime dylib, and the main executable will depend on both the runtime 47218885Sdim// dylib and libstdc++, each of those'll have its implementation of new and 48218885Sdim// delete. 49218885Sdim// To make sure that C++ allocation/deallocation operators are overridden on 50218885Sdim// OS X we need to intercept them using their mangled names. 51218885Sdim#if !SANITIZER_MAC 52218885Sdim// FreeBSD prior v9.2 have wrong definition of 'size_t'. 53218885Sdim// http://svnweb.freebsd.org/base?view=revision&revision=232261 54218885Sdim#if SANITIZER_FREEBSD && SANITIZER_WORDSIZE == 32 55218885Sdim#include <sys/param.h> 56218885Sdim#if __FreeBSD_version <= 902001 // v9.2 57218885Sdim#define size_t unsigned 58218885Sdim#endif // __FreeBSD_version 59#endif // SANITIZER_FREEBSD && SANITIZER_WORDSIZE == 32 60 61CXX_OPERATOR_ATTRIBUTE 62void *operator new(size_t size) { OPERATOR_NEW_BODY(FROM_NEW); } 63CXX_OPERATOR_ATTRIBUTE 64void *operator new[](size_t size) { OPERATOR_NEW_BODY(FROM_NEW_BR); } 65CXX_OPERATOR_ATTRIBUTE 66void *operator new(size_t size, std::nothrow_t const&) 67{ OPERATOR_NEW_BODY(FROM_NEW); } 68CXX_OPERATOR_ATTRIBUTE 69void *operator new[](size_t size, std::nothrow_t const&) 70{ OPERATOR_NEW_BODY(FROM_NEW_BR); } 71 72#else // SANITIZER_MAC 73INTERCEPTOR(void *, _Znwm, size_t size) { 74 OPERATOR_NEW_BODY(FROM_NEW); 75} 76INTERCEPTOR(void *, _Znam, size_t size) { 77 OPERATOR_NEW_BODY(FROM_NEW_BR); 78} 79INTERCEPTOR(void *, _ZnwmRKSt9nothrow_t, size_t size, std::nothrow_t const&) { 80 OPERATOR_NEW_BODY(FROM_NEW); 81} 82INTERCEPTOR(void *, _ZnamRKSt9nothrow_t, size_t size, std::nothrow_t const&) { 83 OPERATOR_NEW_BODY(FROM_NEW_BR); 84} 85#endif 86 87#define OPERATOR_DELETE_BODY(type) \ 88 GET_STACK_TRACE_FREE;\ 89 asan_free(ptr, &stack, type); 90 91#if !SANITIZER_MAC 92CXX_OPERATOR_ATTRIBUTE 93void operator delete(void *ptr) NOEXCEPT { 94 OPERATOR_DELETE_BODY(FROM_NEW); 95} 96CXX_OPERATOR_ATTRIBUTE 97void operator delete[](void *ptr) NOEXCEPT { 98 OPERATOR_DELETE_BODY(FROM_NEW_BR); 99} 100CXX_OPERATOR_ATTRIBUTE 101void operator delete(void *ptr, std::nothrow_t const&) { 102 OPERATOR_DELETE_BODY(FROM_NEW); 103} 104CXX_OPERATOR_ATTRIBUTE 105void operator delete[](void *ptr, std::nothrow_t const&) { 106 OPERATOR_DELETE_BODY(FROM_NEW_BR); 107} 108CXX_OPERATOR_ATTRIBUTE 109void operator delete(void *ptr, size_t size) NOEXCEPT { 110 GET_STACK_TRACE_FREE; 111 asan_sized_free(ptr, size, &stack, FROM_NEW); 112} 113CXX_OPERATOR_ATTRIBUTE 114void operator delete[](void *ptr, size_t size) NOEXCEPT { 115 GET_STACK_TRACE_FREE; 116 asan_sized_free(ptr, size, &stack, FROM_NEW_BR); 117} 118 119#else // SANITIZER_MAC 120INTERCEPTOR(void, _ZdlPv, void *ptr) { 121 OPERATOR_DELETE_BODY(FROM_NEW); 122} 123INTERCEPTOR(void, _ZdaPv, void *ptr) { 124 OPERATOR_DELETE_BODY(FROM_NEW_BR); 125} 126INTERCEPTOR(void, _ZdlPvRKSt9nothrow_t, void *ptr, std::nothrow_t const&) { 127 OPERATOR_DELETE_BODY(FROM_NEW); 128} 129INTERCEPTOR(void, _ZdaPvRKSt9nothrow_t, void *ptr, std::nothrow_t const&) { 130 OPERATOR_DELETE_BODY(FROM_NEW_BR); 131} 132#endif 133