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 | |
Kostya Serebryany | cfd605e | 2012-06-01 07:41:04 +0000 | [diff] [blame] | 19 | #include <stddef.h> |
Alexey Samsonov | 4d5f98d | 2012-04-06 08:21:08 +0000 | [diff] [blame] | 20 | |
| 21 | namespace __asan { |
| 22 | // This function is a no-op. We need it to make sure that object file |
| 23 | // with our replacements will actually be loaded from static ASan |
| 24 | // run-time library at link-time. |
| 25 | void ReplaceOperatorsNewAndDelete() { } |
| 26 | } |
| 27 | |
| 28 | using namespace __asan; // NOLINT |
| 29 | |
Alexander Potapenko | ed4c034 | 2013-02-07 15:33:56 +0000 | [diff] [blame] | 30 | // On Android new() goes through malloc interceptors. |
Alexander Potapenko | 6fcbff5 | 2013-01-22 11:39:28 +0000 | [diff] [blame] | 31 | // See also https://code.google.com/p/address-sanitizer/issues/detail?id=131. |
Evgeniy Stepanov | 83cb787 | 2013-03-19 13:54:41 +0000 | [diff] [blame] | 32 | #if !SANITIZER_ANDROID |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 33 | |
Alexey Samsonov | 3aa15c1 | 2012-11-08 13:31:19 +0000 | [diff] [blame] | 34 | // Fake std::nothrow_t to avoid including <new>. |
| 35 | namespace std { |
| 36 | struct nothrow_t {}; |
| 37 | } // namespace std |
| 38 | |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 39 | #define OPERATOR_NEW_BODY(type) \ |
Kostya Serebryany | a30c8f9 | 2012-12-13 09:34:23 +0000 | [diff] [blame] | 40 | GET_STACK_TRACE_MALLOC;\ |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 41 | return asan_memalign(0, size, &stack, type); |
Alexey Samsonov | 4d5f98d | 2012-04-06 08:21:08 +0000 | [diff] [blame] | 42 | |
Alexander Potapenko | d422801 | 2013-02-21 16:54:09 +0000 | [diff] [blame] | 43 | // On OS X it's not enough to just provide our own 'operator new' and |
| 44 | // 'operator delete' implementations, because they're going to be in the |
| 45 | // runtime dylib, and the main executable will depend on both the runtime |
| 46 | // dylib and libstdc++, each of those'll have its implementation of new and |
| 47 | // delete. |
| 48 | // To make sure that C++ allocation/deallocation operators are overridden on |
| 49 | // OS X we need to intercept them using their mangled names. |
Evgeniy Stepanov | 24e1372 | 2013-03-19 14:33:38 +0000 | [diff] [blame] | 50 | #if !SANITIZER_MAC |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 51 | INTERCEPTOR_ATTRIBUTE |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 52 | void *operator new(size_t size) { OPERATOR_NEW_BODY(FROM_NEW); } |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 53 | INTERCEPTOR_ATTRIBUTE |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 54 | void *operator new[](size_t size) { OPERATOR_NEW_BODY(FROM_NEW_BR); } |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 55 | INTERCEPTOR_ATTRIBUTE |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 56 | void *operator new(size_t size, std::nothrow_t const&) |
| 57 | { OPERATOR_NEW_BODY(FROM_NEW); } |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 58 | INTERCEPTOR_ATTRIBUTE |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 59 | void *operator new[](size_t size, std::nothrow_t const&) |
| 60 | { OPERATOR_NEW_BODY(FROM_NEW_BR); } |
Alexey Samsonov | 4d5f98d | 2012-04-06 08:21:08 +0000 | [diff] [blame] | 61 | |
Alexey Samsonov | 649a270 | 2013-04-03 07:29:53 +0000 | [diff] [blame] | 62 | #else // SANITIZER_MAC |
Alexander Potapenko | d422801 | 2013-02-21 16:54:09 +0000 | [diff] [blame] | 63 | INTERCEPTOR(void *, _Znwm, size_t size) { |
| 64 | OPERATOR_NEW_BODY(FROM_NEW); |
| 65 | } |
| 66 | INTERCEPTOR(void *, _Znam, size_t size) { |
| 67 | OPERATOR_NEW_BODY(FROM_NEW_BR); |
| 68 | } |
| 69 | INTERCEPTOR(void *, _ZnwmRKSt9nothrow_t, size_t size, std::nothrow_t const&) { |
| 70 | OPERATOR_NEW_BODY(FROM_NEW); |
| 71 | } |
| 72 | INTERCEPTOR(void *, _ZnamRKSt9nothrow_t, size_t size, std::nothrow_t const&) { |
| 73 | OPERATOR_NEW_BODY(FROM_NEW_BR); |
| 74 | } |
| 75 | #endif |
| 76 | |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 77 | #define OPERATOR_DELETE_BODY(type) \ |
Kostya Serebryany | a30c8f9 | 2012-12-13 09:34:23 +0000 | [diff] [blame] | 78 | GET_STACK_TRACE_FREE;\ |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 79 | asan_free(ptr, &stack, type); |
Alexey Samsonov | 4d5f98d | 2012-04-06 08:21:08 +0000 | [diff] [blame] | 80 | |
Evgeniy Stepanov | 24e1372 | 2013-03-19 14:33:38 +0000 | [diff] [blame] | 81 | #if !SANITIZER_MAC |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 82 | INTERCEPTOR_ATTRIBUTE |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 83 | void operator delete(void *ptr) { OPERATOR_DELETE_BODY(FROM_NEW); } |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 84 | INTERCEPTOR_ATTRIBUTE |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 85 | void operator delete[](void *ptr) { OPERATOR_DELETE_BODY(FROM_NEW_BR); } |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 86 | INTERCEPTOR_ATTRIBUTE |
Alexey Samsonov | 3aa15c1 | 2012-11-08 13:31:19 +0000 | [diff] [blame] | 87 | void operator delete(void *ptr, std::nothrow_t const&) |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 88 | { OPERATOR_DELETE_BODY(FROM_NEW); } |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 89 | INTERCEPTOR_ATTRIBUTE |
Alexey Samsonov | 3aa15c1 | 2012-11-08 13:31:19 +0000 | [diff] [blame] | 90 | void operator delete[](void *ptr, std::nothrow_t const&) |
Kostya Serebryany | fe6d916 | 2012-12-21 08:53:59 +0000 | [diff] [blame] | 91 | { OPERATOR_DELETE_BODY(FROM_NEW_BR); } |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 92 | |
Alexey Samsonov | 649a270 | 2013-04-03 07:29:53 +0000 | [diff] [blame] | 93 | #else // SANITIZER_MAC |
Alexander Potapenko | d422801 | 2013-02-21 16:54:09 +0000 | [diff] [blame] | 94 | INTERCEPTOR(void, _ZdlPv, void *ptr) { |
| 95 | OPERATOR_DELETE_BODY(FROM_NEW); |
| 96 | } |
| 97 | INTERCEPTOR(void, _ZdaPv, void *ptr) { |
| 98 | OPERATOR_DELETE_BODY(FROM_NEW_BR); |
| 99 | } |
| 100 | INTERCEPTOR(void, _ZdlPvRKSt9nothrow_t, void *ptr, std::nothrow_t const&) { |
| 101 | OPERATOR_DELETE_BODY(FROM_NEW); |
| 102 | } |
| 103 | INTERCEPTOR(void, _ZdaPvRKSt9nothrow_t, void *ptr, std::nothrow_t const&) { |
| 104 | OPERATOR_DELETE_BODY(FROM_NEW_BR); |
| 105 | } |
| 106 | #endif |
| 107 | |
Evgeniy Stepanov | dbe6035 | 2012-10-18 15:22:08 +0000 | [diff] [blame] | 108 | #endif |