asan_new_delete.cpp 7.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187
  1. //===-- asan_interceptors.cpp ---------------------------------------------===//
  2. //
  3. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  4. // See https://llvm.org/LICENSE.txt for license information.
  5. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  6. //
  7. //===----------------------------------------------------------------------===//
  8. //
  9. // This file is a part of AddressSanitizer, an address sanity checker.
  10. //
  11. // Interceptors for operators new and delete.
  12. //===----------------------------------------------------------------------===//
  13. #include <stddef.h>
  14. #include "asan_allocator.h"
  15. #include "asan_internal.h"
  16. #include "asan_report.h"
  17. #include "asan_stack.h"
  18. #include "interception/interception.h"
  19. // C++ operators can't have dllexport attributes on Windows. We export them
  20. // anyway by passing extra -export flags to the linker, which is exactly that
  21. // dllexport would normally do. We need to export them in order to make the
  22. // VS2015 dynamic CRT (MD) work.
  23. #if SANITIZER_WINDOWS && defined(_MSC_VER)
  24. #define CXX_OPERATOR_ATTRIBUTE
  25. #define COMMENT_EXPORT(sym) __pragma(comment(linker, "/export:" sym))
  26. #ifdef _WIN64
  27. COMMENT_EXPORT("??2@YAPEAX_K@Z") // operator new
  28. COMMENT_EXPORT("??2@YAPEAX_KAEBUnothrow_t@std@@@Z") // operator new nothrow
  29. COMMENT_EXPORT("??3@YAXPEAX@Z") // operator delete
  30. COMMENT_EXPORT("??3@YAXPEAX_K@Z") // sized operator delete
  31. COMMENT_EXPORT("??_U@YAPEAX_K@Z") // operator new[]
  32. COMMENT_EXPORT("??_V@YAXPEAX@Z") // operator delete[]
  33. #else
  34. COMMENT_EXPORT("??2@YAPAXI@Z") // operator new
  35. COMMENT_EXPORT("??2@YAPAXIABUnothrow_t@std@@@Z") // operator new nothrow
  36. COMMENT_EXPORT("??3@YAXPAX@Z") // operator delete
  37. COMMENT_EXPORT("??3@YAXPAXI@Z") // sized operator delete
  38. COMMENT_EXPORT("??_U@YAPAXI@Z") // operator new[]
  39. COMMENT_EXPORT("??_V@YAXPAX@Z") // operator delete[]
  40. #endif
  41. #undef COMMENT_EXPORT
  42. #else
  43. #define CXX_OPERATOR_ATTRIBUTE INTERCEPTOR_ATTRIBUTE SANITIZER_WEAK_ATTRIBUTE
  44. #endif
  45. using namespace __asan;
  46. // This code has issues on OSX.
  47. // See https://github.com/google/sanitizers/issues/131.
  48. // Fake std::nothrow_t and std::align_val_t to avoid including <new>.
  49. namespace std {
  50. struct nothrow_t {};
  51. enum class align_val_t: size_t {};
  52. } // namespace std
  53. // TODO(alekseyshl): throw std::bad_alloc instead of dying on OOM.
  54. // For local pool allocation, align to SHADOW_GRANULARITY to match asan
  55. // allocator behavior.
  56. #define OPERATOR_NEW_BODY(type, nothrow) \
  57. GET_STACK_TRACE_MALLOC; \
  58. void *res = asan_memalign(0, size, &stack, type); \
  59. if (!nothrow && UNLIKELY(!res)) \
  60. ReportOutOfMemory(size, &stack); \
  61. return res;
  62. #define OPERATOR_NEW_BODY_ALIGN(type, nothrow) \
  63. GET_STACK_TRACE_MALLOC; \
  64. void *res = asan_memalign((uptr)align, size, &stack, type); \
  65. if (!nothrow && UNLIKELY(!res)) \
  66. ReportOutOfMemory(size, &stack); \
  67. return res;
  68. // On OS X it's not enough to just provide our own 'operator new' and
  69. // 'operator delete' implementations, because they're going to be in the
  70. // runtime dylib, and the main executable will depend on both the runtime
  71. // dylib and libstdc++, each of those'll have its implementation of new and
  72. // delete.
  73. // To make sure that C++ allocation/deallocation operators are overridden on
  74. // OS X we need to intercept them using their mangled names.
  75. #if !SANITIZER_APPLE
  76. CXX_OPERATOR_ATTRIBUTE
  77. void *operator new(size_t size)
  78. { OPERATOR_NEW_BODY(FROM_NEW, false /*nothrow*/); }
  79. CXX_OPERATOR_ATTRIBUTE
  80. void *operator new[](size_t size)
  81. { OPERATOR_NEW_BODY(FROM_NEW_BR, false /*nothrow*/); }
  82. CXX_OPERATOR_ATTRIBUTE
  83. void *operator new(size_t size, std::nothrow_t const&)
  84. { OPERATOR_NEW_BODY(FROM_NEW, true /*nothrow*/); }
  85. CXX_OPERATOR_ATTRIBUTE
  86. void *operator new[](size_t size, std::nothrow_t const&)
  87. { OPERATOR_NEW_BODY(FROM_NEW_BR, true /*nothrow*/); }
  88. CXX_OPERATOR_ATTRIBUTE
  89. void *operator new(size_t size, std::align_val_t align)
  90. { OPERATOR_NEW_BODY_ALIGN(FROM_NEW, false /*nothrow*/); }
  91. CXX_OPERATOR_ATTRIBUTE
  92. void *operator new[](size_t size, std::align_val_t align)
  93. { OPERATOR_NEW_BODY_ALIGN(FROM_NEW_BR, false /*nothrow*/); }
  94. CXX_OPERATOR_ATTRIBUTE
  95. void *operator new(size_t size, std::align_val_t align, std::nothrow_t const&)
  96. { OPERATOR_NEW_BODY_ALIGN(FROM_NEW, true /*nothrow*/); }
  97. CXX_OPERATOR_ATTRIBUTE
  98. void *operator new[](size_t size, std::align_val_t align, std::nothrow_t const&)
  99. { OPERATOR_NEW_BODY_ALIGN(FROM_NEW_BR, true /*nothrow*/); }
  100. #else // SANITIZER_APPLE
  101. INTERCEPTOR(void *, _Znwm, size_t size) {
  102. OPERATOR_NEW_BODY(FROM_NEW, false /*nothrow*/);
  103. }
  104. INTERCEPTOR(void *, _Znam, size_t size) {
  105. OPERATOR_NEW_BODY(FROM_NEW_BR, false /*nothrow*/);
  106. }
  107. INTERCEPTOR(void *, _ZnwmRKSt9nothrow_t, size_t size, std::nothrow_t const&) {
  108. OPERATOR_NEW_BODY(FROM_NEW, true /*nothrow*/);
  109. }
  110. INTERCEPTOR(void *, _ZnamRKSt9nothrow_t, size_t size, std::nothrow_t const&) {
  111. OPERATOR_NEW_BODY(FROM_NEW_BR, true /*nothrow*/);
  112. }
  113. #endif // !SANITIZER_APPLE
  114. #define OPERATOR_DELETE_BODY(type) \
  115. GET_STACK_TRACE_FREE; \
  116. asan_delete(ptr, 0, 0, &stack, type);
  117. #define OPERATOR_DELETE_BODY_SIZE(type) \
  118. GET_STACK_TRACE_FREE; \
  119. asan_delete(ptr, size, 0, &stack, type);
  120. #define OPERATOR_DELETE_BODY_ALIGN(type) \
  121. GET_STACK_TRACE_FREE; \
  122. asan_delete(ptr, 0, static_cast<uptr>(align), &stack, type);
  123. #define OPERATOR_DELETE_BODY_SIZE_ALIGN(type) \
  124. GET_STACK_TRACE_FREE; \
  125. asan_delete(ptr, size, static_cast<uptr>(align), &stack, type);
  126. #if !SANITIZER_APPLE
  127. CXX_OPERATOR_ATTRIBUTE
  128. void operator delete(void *ptr) NOEXCEPT
  129. { OPERATOR_DELETE_BODY(FROM_NEW); }
  130. CXX_OPERATOR_ATTRIBUTE
  131. void operator delete[](void *ptr) NOEXCEPT
  132. { OPERATOR_DELETE_BODY(FROM_NEW_BR); }
  133. CXX_OPERATOR_ATTRIBUTE
  134. void operator delete(void *ptr, std::nothrow_t const&)
  135. { OPERATOR_DELETE_BODY(FROM_NEW); }
  136. CXX_OPERATOR_ATTRIBUTE
  137. void operator delete[](void *ptr, std::nothrow_t const&)
  138. { OPERATOR_DELETE_BODY(FROM_NEW_BR); }
  139. CXX_OPERATOR_ATTRIBUTE
  140. void operator delete(void *ptr, size_t size) NOEXCEPT
  141. { OPERATOR_DELETE_BODY_SIZE(FROM_NEW); }
  142. CXX_OPERATOR_ATTRIBUTE
  143. void operator delete[](void *ptr, size_t size) NOEXCEPT
  144. { OPERATOR_DELETE_BODY_SIZE(FROM_NEW_BR); }
  145. CXX_OPERATOR_ATTRIBUTE
  146. void operator delete(void *ptr, std::align_val_t align) NOEXCEPT
  147. { OPERATOR_DELETE_BODY_ALIGN(FROM_NEW); }
  148. CXX_OPERATOR_ATTRIBUTE
  149. void operator delete[](void *ptr, std::align_val_t align) NOEXCEPT
  150. { OPERATOR_DELETE_BODY_ALIGN(FROM_NEW_BR); }
  151. CXX_OPERATOR_ATTRIBUTE
  152. void operator delete(void *ptr, std::align_val_t align, std::nothrow_t const&)
  153. { OPERATOR_DELETE_BODY_ALIGN(FROM_NEW); }
  154. CXX_OPERATOR_ATTRIBUTE
  155. void operator delete[](void *ptr, std::align_val_t align, std::nothrow_t const&)
  156. { OPERATOR_DELETE_BODY_ALIGN(FROM_NEW_BR); }
  157. CXX_OPERATOR_ATTRIBUTE
  158. void operator delete(void *ptr, size_t size, std::align_val_t align) NOEXCEPT
  159. { OPERATOR_DELETE_BODY_SIZE_ALIGN(FROM_NEW); }
  160. CXX_OPERATOR_ATTRIBUTE
  161. void operator delete[](void *ptr, size_t size, std::align_val_t align) NOEXCEPT
  162. { OPERATOR_DELETE_BODY_SIZE_ALIGN(FROM_NEW_BR); }
  163. #else // SANITIZER_APPLE
  164. INTERCEPTOR(void, _ZdlPv, void *ptr)
  165. { OPERATOR_DELETE_BODY(FROM_NEW); }
  166. INTERCEPTOR(void, _ZdaPv, void *ptr)
  167. { OPERATOR_DELETE_BODY(FROM_NEW_BR); }
  168. INTERCEPTOR(void, _ZdlPvRKSt9nothrow_t, void *ptr, std::nothrow_t const&)
  169. { OPERATOR_DELETE_BODY(FROM_NEW); }
  170. INTERCEPTOR(void, _ZdaPvRKSt9nothrow_t, void *ptr, std::nothrow_t const&)
  171. { OPERATOR_DELETE_BODY(FROM_NEW_BR); }
  172. #endif // !SANITIZER_APPLE