Evgeniy Stepanov | 6722716 | 2012-12-25 11:53:51 +0000 | [diff] [blame] | 1 | //===-- msan.h --------------------------------------------------*- C++ -*-===// |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +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 MemorySanitizer. |
| 11 | // |
| 12 | // Private MSan header. |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #ifndef MSAN_H |
| 16 | #define MSAN_H |
| 17 | |
Sergey Matveev | 6eff11e | 2013-05-06 13:15:14 +0000 | [diff] [blame] | 18 | #include "sanitizer_common/sanitizer_flags.h" |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 19 | #include "sanitizer_common/sanitizer_internal_defs.h" |
| 20 | #include "sanitizer_common/sanitizer_stacktrace.h" |
Evgeniy Stepanov | eac7f93 | 2013-01-29 14:33:29 +0000 | [diff] [blame] | 21 | #include "msan_interface_internal.h" |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 22 | #include "msan_flags.h" |
| 23 | |
Evgeniy Stepanov | c7af878 | 2013-04-05 12:03:47 +0000 | [diff] [blame] | 24 | #ifndef MSAN_REPLACE_OPERATORS_NEW_AND_DELETE |
| 25 | # define MSAN_REPLACE_OPERATORS_NEW_AND_DELETE 1 |
| 26 | #endif |
| 27 | |
Evgeniy Stepanov | 8441bb2 | 2015-01-27 13:20:34 +0000 | [diff] [blame] | 28 | struct MappingDesc { |
| 29 | uptr start; |
| 30 | uptr end; |
| 31 | enum Type { |
| 32 | INVALID, APP, SHADOW, ORIGIN |
| 33 | } type; |
| 34 | const char *name; |
| 35 | }; |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 36 | |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 37 | |
| 38 | #if SANITIZER_LINUX && defined(__mips64) |
Evgeniy Stepanov | 8441bb2 | 2015-01-27 13:20:34 +0000 | [diff] [blame] | 39 | |
| 40 | // Everything is above 0x00e000000000. |
| 41 | const MappingDesc kMemoryLayout[] = { |
| 42 | {0x000000000000ULL, 0x00a000000000ULL, MappingDesc::INVALID, "invalid"}, |
| 43 | {0x00a000000000ULL, 0x00c000000000ULL, MappingDesc::SHADOW, "shadow"}, |
| 44 | {0x00c000000000ULL, 0x00e000000000ULL, MappingDesc::ORIGIN, "origin"}, |
| 45 | {0x00e000000000ULL, 0x010000000000ULL, MappingDesc::APP, "app"}}; |
| 46 | |
| 47 | #define MEM_TO_SHADOW(mem) (((uptr)(mem)) & ~0x4000000000ULL) |
| 48 | #define SHADOW_TO_ORIGIN(shadow) (((uptr)(shadow)) + 0x002000000000) |
| 49 | |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 50 | #elif SANITIZER_FREEBSD && SANITIZER_WORDSIZE == 64 |
Evgeniy Stepanov | 8441bb2 | 2015-01-27 13:20:34 +0000 | [diff] [blame] | 51 | |
| 52 | // Low memory: main binary, MAP_32BIT mappings and modules |
| 53 | // High memory: heap, modules and main thread stack |
| 54 | const MappingDesc kMemoryLayout[] = { |
| 55 | {0x000000000000ULL, 0x010000000000ULL, MappingDesc::APP, "low memory"}, |
| 56 | {0x010000000000ULL, 0x100000000000ULL, MappingDesc::INVALID, "invalid"}, |
| 57 | {0x100000000000ULL, 0x310000000000ULL, MappingDesc::SHADOW, "shadow"}, |
| 58 | {0x310000000000ULL, 0x380000000000ULL, MappingDesc::INVALID, "invalid"}, |
| 59 | {0x380000000000ULL, 0x590000000000ULL, MappingDesc::ORIGIN, "origin"}, |
| 60 | {0x590000000000ULL, 0x600000000000ULL, MappingDesc::INVALID, "invalid"}, |
| 61 | {0x600000000000ULL, 0x800000000000ULL, MappingDesc::APP, "high memory"}}; |
| 62 | |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 63 | // Maps low and high app ranges to contiguous space with zero base: |
| 64 | // Low: 0000 0000 0000 - 00ff ffff ffff -> 2000 0000 0000 - 20ff ffff ffff |
| 65 | // High: 6000 0000 0000 - 7fff ffff ffff -> 0000 0000 0000 - 1fff ffff ffff |
Evgeniy Stepanov | 8441bb2 | 2015-01-27 13:20:34 +0000 | [diff] [blame] | 66 | #define LINEARIZE_MEM(mem) \ |
| 67 | (((uptr)(mem) & ~0xc00000000000ULL) ^ 0x200000000000ULL) |
| 68 | #define MEM_TO_SHADOW(mem) (LINEARIZE_MEM((mem)) + 0x100000000000ULL) |
| 69 | #define SHADOW_TO_ORIGIN(shadow) (((uptr)(shadow)) + 0x280000000000) |
| 70 | |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 71 | #elif SANITIZER_LINUX && SANITIZER_WORDSIZE == 64 |
Evgeniy Stepanov | 8441bb2 | 2015-01-27 13:20:34 +0000 | [diff] [blame] | 72 | |
| 73 | // Requries PIE binary and ASLR enabled. |
| 74 | // Main thread stack and DSOs at 0x7f0000000000 (sometimes 0x7e0000000000). |
| 75 | // Heap at 0x600000000000. |
| 76 | const MappingDesc kMemoryLayout[] = { |
| 77 | {0x000000000000ULL, 0x200000000000ULL, MappingDesc::INVALID, "invalid"}, |
| 78 | {0x200000000000ULL, 0x400000000000ULL, MappingDesc::SHADOW, "shadow"}, |
| 79 | {0x400000000000ULL, 0x600000000000ULL, MappingDesc::ORIGIN, "origin"}, |
| 80 | {0x600000000000ULL, 0x800000000000ULL, MappingDesc::APP, "app"}}; |
| 81 | |
| 82 | #define MEM_TO_SHADOW(mem) (((uptr)(mem)) & ~0x400000000000ULL) |
| 83 | #define SHADOW_TO_ORIGIN(mem) (((uptr)(mem)) + 0x200000000000ULL) |
| 84 | |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 85 | #else |
| 86 | #error "Unsupported platform" |
Alexey Samsonov | de13018 | 2014-11-19 21:42:33 +0000 | [diff] [blame] | 87 | #endif |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 88 | |
Evgeniy Stepanov | 8441bb2 | 2015-01-27 13:20:34 +0000 | [diff] [blame] | 89 | const uptr kMemoryLayoutSize = sizeof(kMemoryLayout) / sizeof(kMemoryLayout[0]); |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 90 | |
| 91 | #define MEM_TO_ORIGIN(mem) (SHADOW_TO_ORIGIN(MEM_TO_SHADOW((mem)))) |
| 92 | |
Evgeniy Stepanov | 8441bb2 | 2015-01-27 13:20:34 +0000 | [diff] [blame] | 93 | #ifndef __clang__ |
| 94 | __attribute__((optimize("unroll-loops"))) |
| 95 | #endif |
| 96 | inline bool addr_is_type(uptr addr, MappingDesc::Type mapping_type) { |
| 97 | // It is critical for performance that this loop is unrolled (because then it is |
| 98 | // simplified into just a few constant comparisons). |
| 99 | #ifdef __clang__ |
| 100 | #pragma unroll |
| 101 | #endif |
| 102 | for (unsigned i = 0; i < kMemoryLayoutSize; ++i) |
| 103 | if (kMemoryLayout[i].type == mapping_type && |
| 104 | addr >= kMemoryLayout[i].start && addr < kMemoryLayout[i].end) |
| 105 | return true; |
| 106 | return false; |
| 107 | } |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 108 | |
Evgeniy Stepanov | 8441bb2 | 2015-01-27 13:20:34 +0000 | [diff] [blame] | 109 | #define MEM_IS_APP(mem) addr_is_type((uptr)(mem), MappingDesc::APP) |
| 110 | #define MEM_IS_SHADOW(mem) addr_is_type((uptr)(mem), MappingDesc::SHADOW) |
| 111 | #define MEM_IS_ORIGIN(mem) addr_is_type((uptr)(mem), MappingDesc::ORIGIN) |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 112 | |
Evgeniy Stepanov | 35eb265 | 2014-10-22 00:12:40 +0000 | [diff] [blame] | 113 | // These constants must be kept in sync with the ones in MemorySanitizer.cc. |
| 114 | const int kMsanParamTlsSize = 800; |
| 115 | const int kMsanRetvalTlsSize = 800; |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 116 | |
| 117 | namespace __msan { |
| 118 | extern int msan_inited; |
| 119 | extern bool msan_init_is_running; |
Evgeniy Stepanov | 9b52ce9 | 2013-01-10 11:17:55 +0000 | [diff] [blame] | 120 | extern int msan_report_count; |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 121 | |
| 122 | bool ProtectRange(uptr beg, uptr end); |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 123 | bool InitShadow(bool map_shadow, bool init_origins); |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 124 | char *GetProcSelfMaps(); |
| 125 | void InitializeInterceptors(); |
| 126 | |
Evgeniy Stepanov | 2794c47 | 2013-10-22 14:31:30 +0000 | [diff] [blame] | 127 | void MsanAllocatorThreadFinish(); |
Alexey Samsonov | 6334f46 | 2014-12-12 20:07:35 +0000 | [diff] [blame] | 128 | void *MsanCalloc(StackTrace *stack, uptr nmemb, uptr size); |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 129 | void *MsanReallocate(StackTrace *stack, void *oldp, uptr size, |
| 130 | uptr alignment, bool zeroise); |
Evgeniy Stepanov | 65562f5 | 2013-09-16 11:03:31 +0000 | [diff] [blame] | 131 | void MsanDeallocate(StackTrace *stack, void *ptr); |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 132 | void InstallTrapHandler(); |
Evgeniy Stepanov | 9b52ce9 | 2013-01-10 11:17:55 +0000 | [diff] [blame] | 133 | void InstallAtExitHandler(); |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 134 | |
Evgeniy Stepanov | 208aae8 | 2014-05-21 09:02:13 +0000 | [diff] [blame] | 135 | const char *GetStackOriginDescr(u32 id, uptr *pc); |
Evgeniy Stepanov | ac5ac34 | 2013-09-13 12:49:13 +0000 | [diff] [blame] | 136 | |
Kostya Serebryany | ec87e78 | 2013-02-13 07:19:47 +0000 | [diff] [blame] | 137 | void EnterSymbolizer(); |
| 138 | void ExitSymbolizer(); |
| 139 | bool IsInSymbolizer(); |
| 140 | |
Reid Kleckner | 063dfe3 | 2013-03-06 16:11:58 +0000 | [diff] [blame] | 141 | struct SymbolizerScope { |
| 142 | SymbolizerScope() { EnterSymbolizer(); } |
| 143 | ~SymbolizerScope() { ExitSymbolizer(); } |
| 144 | }; |
| 145 | |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 146 | void MsanDie(); |
| 147 | void PrintWarning(uptr pc, uptr bp); |
| 148 | void PrintWarningWithOrigin(uptr pc, uptr bp, u32 origin); |
| 149 | |
Alexey Samsonov | 9c85927 | 2014-10-26 03:35:14 +0000 | [diff] [blame] | 150 | void GetStackTrace(BufferedStackTrace *stack, uptr max_s, uptr pc, uptr bp, |
Alexey Samsonov | b3d9399 | 2013-11-07 07:28:33 +0000 | [diff] [blame] | 151 | bool request_fast_unwind); |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 152 | |
Evgeniy Stepanov | 367dc64 | 2012-12-26 09:32:05 +0000 | [diff] [blame] | 153 | void ReportUMR(StackTrace *stack, u32 origin); |
| 154 | void ReportExpectedUMRNotFound(StackTrace *stack); |
Evgeniy Stepanov | bce21ac | 2014-05-21 09:56:28 +0000 | [diff] [blame] | 155 | void ReportStats(); |
Evgeniy Stepanov | 9b52ce9 | 2013-01-10 11:17:55 +0000 | [diff] [blame] | 156 | void ReportAtExitStatistics(); |
Evgeniy Stepanov | fe250b0 | 2014-04-30 09:50:30 +0000 | [diff] [blame] | 157 | void DescribeMemoryRange(const void *x, uptr size); |
Evgeniy Stepanov | 8dd62dc | 2014-05-07 11:50:14 +0000 | [diff] [blame] | 158 | void ReportUMRInsideAddressRange(const char *what, const void *start, uptr size, |
| 159 | uptr offset); |
Evgeniy Stepanov | 367dc64 | 2012-12-26 09:32:05 +0000 | [diff] [blame] | 160 | |
Alexey Samsonov | ed4594b | 2013-06-27 07:50:56 +0000 | [diff] [blame] | 161 | // Unpoison first n function arguments. |
| 162 | void UnpoisonParam(uptr n); |
Evgeniy Stepanov | c417981 | 2013-08-27 12:59:39 +0000 | [diff] [blame] | 163 | void UnpoisonThreadLocalState(); |
Reid Kleckner | c9d382b | 2013-03-11 18:07:42 +0000 | [diff] [blame] | 164 | |
Evgeniy Stepanov | 412d973 | 2014-03-18 13:45:19 +0000 | [diff] [blame] | 165 | // Returns a "chained" origin id, pointing to the given stack trace followed by |
| 166 | // the previous origin id. |
| 167 | u32 ChainOrigin(u32 id, StackTrace *stack); |
| 168 | |
Evgeniy Stepanov | d38af30 | 2015-01-22 13:33:16 +0000 | [diff] [blame] | 169 | const int STACK_TRACE_TAG_POISON = StackTrace::TAG_CUSTOM + 1; |
| 170 | |
Alexey Samsonov | 9c85927 | 2014-10-26 03:35:14 +0000 | [diff] [blame] | 171 | #define GET_MALLOC_STACK_TRACE \ |
| 172 | BufferedStackTrace stack; \ |
| 173 | if (__msan_get_track_origins() && msan_inited) \ |
| 174 | GetStackTrace(&stack, common_flags()->malloc_context_size, \ |
| 175 | StackTrace::GetCurrentPc(), GET_CURRENT_FRAME(), \ |
Evgeniy Stepanov | c935ca8 | 2014-06-27 12:48:01 +0000 | [diff] [blame] | 176 | common_flags()->fast_unwind_on_malloc) |
Evgeniy Stepanov | 3c95744 | 2014-03-31 14:18:55 +0000 | [diff] [blame] | 177 | |
Alexey Samsonov | 9c85927 | 2014-10-26 03:35:14 +0000 | [diff] [blame] | 178 | #define GET_STORE_STACK_TRACE_PC_BP(pc, bp) \ |
| 179 | BufferedStackTrace stack; \ |
| 180 | if (__msan_get_track_origins() > 1 && msan_inited) \ |
| 181 | GetStackTrace(&stack, flags()->store_context_size, pc, bp, \ |
| 182 | common_flags()->fast_unwind_on_malloc) |
| 183 | |
| 184 | #define GET_FATAL_STACK_TRACE_PC_BP(pc, bp) \ |
| 185 | BufferedStackTrace stack; \ |
| 186 | if (msan_inited) \ |
| 187 | GetStackTrace(&stack, kStackTraceMax, pc, bp, \ |
| 188 | common_flags()->fast_unwind_on_fatal) |
Sergey Matveev | a531058 | 2014-05-26 13:08:08 +0000 | [diff] [blame] | 189 | |
Evgeniy Stepanov | 3c95744 | 2014-03-31 14:18:55 +0000 | [diff] [blame] | 190 | #define GET_STORE_STACK_TRACE \ |
| 191 | GET_STORE_STACK_TRACE_PC_BP(StackTrace::GetCurrentPc(), GET_CURRENT_FRAME()) |
Evgeniy Stepanov | 412d973 | 2014-03-18 13:45:19 +0000 | [diff] [blame] | 192 | |
Evgeniy Stepanov | cb22c67 | 2013-08-27 14:08:15 +0000 | [diff] [blame] | 193 | class ScopedThreadLocalStateBackup { |
Alexey Samsonov | ef643ce | 2013-08-28 11:26:09 +0000 | [diff] [blame] | 194 | public: |
Evgeniy Stepanov | cb22c67 | 2013-08-27 14:08:15 +0000 | [diff] [blame] | 195 | ScopedThreadLocalStateBackup() { Backup(); } |
| 196 | ~ScopedThreadLocalStateBackup() { Restore(); } |
| 197 | void Backup(); |
| 198 | void Restore(); |
Alexey Samsonov | ef643ce | 2013-08-28 11:26:09 +0000 | [diff] [blame] | 199 | private: |
Evgeniy Stepanov | cb22c67 | 2013-08-27 14:08:15 +0000 | [diff] [blame] | 200 | u64 va_arg_overflow_size_tls; |
| 201 | }; |
Evgeniy Stepanov | 8960265 | 2014-03-27 14:04:58 +0000 | [diff] [blame] | 202 | |
| 203 | extern void (*death_callback)(void); |
| 204 | |
Evgeniy Stepanov | f653cda | 2014-04-04 09:47:41 +0000 | [diff] [blame] | 205 | void MsanTSDInit(void (*destructor)(void *tsd)); |
| 206 | void *MsanTSDGet(); |
| 207 | void MsanTSDSet(void *tsd); |
| 208 | void MsanTSDDtor(void *tsd); |
| 209 | |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 210 | } // namespace __msan |
| 211 | |
Evgeniy Stepanov | 44b77c2 | 2013-08-02 14:26:58 +0000 | [diff] [blame] | 212 | #define MSAN_MALLOC_HOOK(ptr, size) \ |
Alexey Samsonov | 91bb8e0 | 2014-07-07 17:39:31 +0000 | [diff] [blame] | 213 | if (&__sanitizer_malloc_hook) __sanitizer_malloc_hook(ptr, size) |
Evgeniy Stepanov | 44b77c2 | 2013-08-02 14:26:58 +0000 | [diff] [blame] | 214 | #define MSAN_FREE_HOOK(ptr) \ |
Alexey Samsonov | 91bb8e0 | 2014-07-07 17:39:31 +0000 | [diff] [blame] | 215 | if (&__sanitizer_free_hook) __sanitizer_free_hook(ptr) |
Evgeniy Stepanov | 44b77c2 | 2013-08-02 14:26:58 +0000 | [diff] [blame] | 216 | |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 217 | #endif // MSAN_H |