Alexey Samsonov | e5f5895 | 2012-06-04 13:50:10 +0000 | [diff] [blame] | 1 | //===-- asan_interceptors.cc ----------------------------------------------===// |
Alexey Samsonov | 4d5f98d | 2012-04-06 08:21:08 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file is a part of AddressSanitizer, an address sanity checker. |
| 11 | // |
| 12 | // Interceptors for operators new and delete. |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "asan_allocator.h" |
| 16 | #include "asan_internal.h" |
| 17 | #include "asan_stack.h" |
| 18 | |
Stephen Hines | 6d18623 | 2014-11-26 17:56:19 -0800 | [diff] [blame^] | 19 | #include "interception/interception.h" |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 20 | |
Kostya Serebryany | cfd605e | 2012-06-01 07:41:04 +0000 | [diff] [blame] | 21 | #include <stddef.h> |
Alexey Samsonov | 4d5f98d | 2012-04-06 08:21:08 +0000 | [diff] [blame] | 22 | |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 23 | // C++ operators can't have visibility attributes on Windows. |
| 24 | #if SANITIZER_WINDOWS |
| 25 | # define CXX_OPERATOR_ATTRIBUTE |
| 26 | #else |
| 27 | # define CXX_OPERATOR_ATTRIBUTE INTERCEPTOR_ATTRIBUTE |
| 28 | #endif |
Alexey Samsonov | 4d5f98d | 2012-04-06 08:21:08 +0000 | [diff] [blame] | 29 | |
| 30 | using namespace __asan; // NOLINT |
| 31 | |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 32 | // This code has issues on OSX. |
| 33 | // See https://code.google.com/p/address-sanitizer/issues/detail?id=131. |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 34 | |
Alexey Samsonov | 3aa15c1 | 2012-11-08 13:31:19 +0000 | [diff] [blame] | 35 | // Fake std::nothrow_t to avoid including <new>. |
| 36 | namespace std { |
| 37 | struct nothrow_t {}; |
| 38 | } // namespace std |
| 39 | |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 40 | #define OPERATOR_NEW_BODY(type) \ |
Kostya Serebryany | a30c8f9 | 2012-12-13 09:34:23 +0000 | [diff] [blame] | 41 | GET_STACK_TRACE_MALLOC;\ |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 42 | return asan_memalign(0, size, &stack, type); |
Alexey Samsonov | 4d5f98d | 2012-04-06 08:21:08 +0000 | [diff] [blame] | 43 | |
Alexander Potapenko | d422801 | 2013-02-21 16:54:09 +0000 | [diff] [blame] | 44 | // On OS X it's not enough to just provide our own 'operator new' and |
| 45 | // 'operator delete' implementations, because they're going to be in the |
| 46 | // runtime dylib, and the main executable will depend on both the runtime |
| 47 | // dylib and libstdc++, each of those'll have its implementation of new and |
| 48 | // delete. |
| 49 | // To make sure that C++ allocation/deallocation operators are overridden on |
| 50 | // OS X we need to intercept them using their mangled names. |
Evgeniy Stepanov | 24e1372 | 2013-03-19 14:33:38 +0000 | [diff] [blame] | 51 | #if !SANITIZER_MAC |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 52 | // FreeBSD prior v9.2 have wrong definition of 'size_t'. |
| 53 | // http://svnweb.freebsd.org/base?view=revision&revision=232261 |
| 54 | #if SANITIZER_FREEBSD && SANITIZER_WORDSIZE == 32 |
| 55 | #include <sys/param.h> |
| 56 | #if __FreeBSD_version <= 902001 // v9.2 |
| 57 | #define size_t unsigned |
| 58 | #endif // __FreeBSD_version |
| 59 | #endif // SANITIZER_FREEBSD && SANITIZER_WORDSIZE == 32 |
| 60 | |
| 61 | CXX_OPERATOR_ATTRIBUTE |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 62 | void *operator new(size_t size) { OPERATOR_NEW_BODY(FROM_NEW); } |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 63 | CXX_OPERATOR_ATTRIBUTE |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 64 | void *operator new[](size_t size) { OPERATOR_NEW_BODY(FROM_NEW_BR); } |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 65 | CXX_OPERATOR_ATTRIBUTE |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 66 | void *operator new(size_t size, std::nothrow_t const&) |
| 67 | { OPERATOR_NEW_BODY(FROM_NEW); } |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 68 | CXX_OPERATOR_ATTRIBUTE |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 69 | void *operator new[](size_t size, std::nothrow_t const&) |
| 70 | { OPERATOR_NEW_BODY(FROM_NEW_BR); } |
Alexey Samsonov | 4d5f98d | 2012-04-06 08:21:08 +0000 | [diff] [blame] | 71 | |
Alexey Samsonov | 649a270 | 2013-04-03 07:29:53 +0000 | [diff] [blame] | 72 | #else // SANITIZER_MAC |
Alexander Potapenko | d422801 | 2013-02-21 16:54:09 +0000 | [diff] [blame] | 73 | INTERCEPTOR(void *, _Znwm, size_t size) { |
| 74 | OPERATOR_NEW_BODY(FROM_NEW); |
| 75 | } |
| 76 | INTERCEPTOR(void *, _Znam, size_t size) { |
| 77 | OPERATOR_NEW_BODY(FROM_NEW_BR); |
| 78 | } |
| 79 | INTERCEPTOR(void *, _ZnwmRKSt9nothrow_t, size_t size, std::nothrow_t const&) { |
| 80 | OPERATOR_NEW_BODY(FROM_NEW); |
| 81 | } |
| 82 | INTERCEPTOR(void *, _ZnamRKSt9nothrow_t, size_t size, std::nothrow_t const&) { |
| 83 | OPERATOR_NEW_BODY(FROM_NEW_BR); |
| 84 | } |
| 85 | #endif |
| 86 | |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 87 | #define OPERATOR_DELETE_BODY(type) \ |
Kostya Serebryany | a30c8f9 | 2012-12-13 09:34:23 +0000 | [diff] [blame] | 88 | GET_STACK_TRACE_FREE;\ |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 89 | asan_free(ptr, &stack, type); |
Alexey Samsonov | 4d5f98d | 2012-04-06 08:21:08 +0000 | [diff] [blame] | 90 | |
Evgeniy Stepanov | 24e1372 | 2013-03-19 14:33:38 +0000 | [diff] [blame] | 91 | #if !SANITIZER_MAC |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 92 | CXX_OPERATOR_ATTRIBUTE |
| 93 | void operator delete(void *ptr) throw() { |
| 94 | OPERATOR_DELETE_BODY(FROM_NEW); |
| 95 | } |
| 96 | CXX_OPERATOR_ATTRIBUTE |
| 97 | void operator delete[](void *ptr) throw() { |
| 98 | OPERATOR_DELETE_BODY(FROM_NEW_BR); |
| 99 | } |
| 100 | CXX_OPERATOR_ATTRIBUTE |
| 101 | void operator delete(void *ptr, std::nothrow_t const&) { |
| 102 | OPERATOR_DELETE_BODY(FROM_NEW); |
| 103 | } |
| 104 | CXX_OPERATOR_ATTRIBUTE |
| 105 | void operator delete[](void *ptr, std::nothrow_t const&) { |
| 106 | OPERATOR_DELETE_BODY(FROM_NEW_BR); |
| 107 | } |
Stephen Hines | 6d18623 | 2014-11-26 17:56:19 -0800 | [diff] [blame^] | 108 | CXX_OPERATOR_ATTRIBUTE |
| 109 | void operator delete(void *ptr, size_t size) throw() { |
| 110 | GET_STACK_TRACE_FREE; |
| 111 | asan_sized_free(ptr, size, &stack, FROM_NEW); |
| 112 | } |
| 113 | CXX_OPERATOR_ATTRIBUTE |
| 114 | void operator delete[](void *ptr, size_t size) throw() { |
| 115 | GET_STACK_TRACE_FREE; |
| 116 | asan_sized_free(ptr, size, &stack, FROM_NEW_BR); |
| 117 | } |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 118 | |
Alexey Samsonov | 649a270 | 2013-04-03 07:29:53 +0000 | [diff] [blame] | 119 | #else // SANITIZER_MAC |
Alexander Potapenko | d422801 | 2013-02-21 16:54:09 +0000 | [diff] [blame] | 120 | INTERCEPTOR(void, _ZdlPv, void *ptr) { |
| 121 | OPERATOR_DELETE_BODY(FROM_NEW); |
| 122 | } |
| 123 | INTERCEPTOR(void, _ZdaPv, void *ptr) { |
| 124 | OPERATOR_DELETE_BODY(FROM_NEW_BR); |
| 125 | } |
| 126 | INTERCEPTOR(void, _ZdlPvRKSt9nothrow_t, void *ptr, std::nothrow_t const&) { |
| 127 | OPERATOR_DELETE_BODY(FROM_NEW); |
| 128 | } |
| 129 | INTERCEPTOR(void, _ZdaPvRKSt9nothrow_t, void *ptr, std::nothrow_t const&) { |
| 130 | OPERATOR_DELETE_BODY(FROM_NEW_BR); |
| 131 | } |
| 132 | #endif |