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 | |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 28 | /* |
| 29 | C/C++ on FreeBSD |
| 30 | 0000 0000 0000 - 00ff ffff ffff: Low memory: main binary, MAP_32BIT mappings and modules |
| 31 | 0100 0000 0000 - 0fff ffff ffff: Bad1 |
| 32 | 1000 0000 0000 - 30ff ffff ffff: Shadow |
| 33 | 3100 0000 0000 - 37ff ffff ffff: Bad2 |
| 34 | 3800 0000 0000 - 58ff ffff ffff: Origins |
| 35 | 5900 0000 0000 - 5fff ffff ffff: Bad3 |
| 36 | 6000 0000 0000 - 7fff ffff ffff: High memory: heap, modules and main thread stack |
| 37 | |
| 38 | C/C++ on Linux/PIE |
| 39 | 0000 0000 0000 - 1fff ffff ffff: Bad1 |
| 40 | 2000 0000 0000 - 3fff ffff ffff: Shadow |
| 41 | 4000 0000 0000 - 5fff ffff ffff: Origins |
| 42 | 6000 0000 0000 - 7fff ffff ffff: Main memory |
| 43 | |
| 44 | C/C++ on Mips |
| 45 | 0000 0000 0000 - 009f ffff ffff: Bad1 |
| 46 | 00a0 0000 0000 - 00bf ffff ffff: Shadow |
| 47 | 00c0 0000 0000 - 00df ffff ffff: Origins |
| 48 | 00e0 0000 0000 - 00ff ffff ffff: Main memory |
| 49 | */ |
| 50 | |
| 51 | #if SANITIZER_LINUX && defined(__mips64) |
| 52 | const uptr kLowMemBeg = 0; |
| 53 | const uptr kLowMemSize = 0; |
| 54 | const uptr kHighMemBeg = 0x00e000000000; |
| 55 | const uptr kHighMemSize = 0x002000000000; |
| 56 | const uptr kShadowBeg = 0x00a000000000; |
| 57 | const uptr kShadowSize = 0x002000000000; |
| 58 | const uptr kOriginsBeg = 0x00c000000000; |
| 59 | # define MEM_TO_SHADOW(mem) (((uptr)(mem)) & ~0x4000000000ULL) |
| 60 | #elif SANITIZER_FREEBSD && SANITIZER_WORDSIZE == 64 |
| 61 | const uptr kLowMemBeg = 0x000000000000; |
| 62 | const uptr kLowMemSize = 0x010000000000; |
| 63 | const uptr kHighMemBeg = 0x600000000000; |
| 64 | const uptr kHighMemSize = 0x200000000000; |
| 65 | const uptr kShadowBeg = 0x100000000000; |
| 66 | const uptr kShadowSize = 0x210000000000; |
| 67 | const uptr kOriginsBeg = 0x380000000000; |
| 68 | // Maps low and high app ranges to contiguous space with zero base: |
| 69 | // Low: 0000 0000 0000 - 00ff ffff ffff -> 2000 0000 0000 - 20ff ffff ffff |
| 70 | // High: 6000 0000 0000 - 7fff ffff ffff -> 0000 0000 0000 - 1fff ffff ffff |
| 71 | # define LINEARIZE_MEM(mem) \ |
| 72 | (((uptr)(mem) & ~0xc00000000000ULL) ^ 0x200000000000ULL) |
| 73 | # define MEM_TO_SHADOW(mem) (LINEARIZE_MEM((mem)) + 0x100000000000ULL) |
| 74 | #elif SANITIZER_LINUX && SANITIZER_WORDSIZE == 64 |
| 75 | const uptr kLowMemBeg = 0; |
| 76 | const uptr kLowMemSize = 0; |
| 77 | const uptr kHighMemBeg = 0x600000000000; |
| 78 | const uptr kHighMemSize = 0x200000000000; |
| 79 | const uptr kShadowBeg = 0x200000000000; |
| 80 | const uptr kShadowSize = 0x200000000000; |
| 81 | const uptr kOriginsBeg = 0x400000000000; |
| 82 | # define MEM_TO_SHADOW(mem) (((uptr)(mem)) & ~0x400000000000ULL) |
| 83 | #else |
| 84 | #error "Unsupported platform" |
Alexey Samsonov | de13018 | 2014-11-19 21:42:33 +0000 | [diff] [blame] | 85 | #endif |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 86 | |
Viktor Kutuzov | 30bd345 | 2014-11-28 11:42:55 +0000 | [diff] [blame] | 87 | const uptr kBad1Beg = kLowMemBeg + kLowMemSize; |
| 88 | const uptr kBad1Size = kShadowBeg - kBad1Beg; |
| 89 | |
| 90 | const uptr kBad2Beg = kShadowBeg + kShadowSize; |
| 91 | const uptr kBad2Size = kOriginsBeg - kBad2Beg; |
| 92 | |
| 93 | const uptr kOriginsSize = kShadowSize; |
| 94 | |
| 95 | const uptr kBad3Beg = kOriginsBeg + kOriginsSize; |
| 96 | const uptr kBad3Size = kHighMemBeg - kBad3Beg; |
| 97 | |
| 98 | #define SHADOW_TO_ORIGIN(shadow) \ |
| 99 | (((uptr)(shadow)) + (kOriginsBeg - kShadowBeg)) |
| 100 | |
| 101 | #define MEM_TO_ORIGIN(mem) (SHADOW_TO_ORIGIN(MEM_TO_SHADOW((mem)))) |
| 102 | |
| 103 | #define MEM_IS_APP(mem) \ |
| 104 | ((kLowMemSize > 0 && (uptr)(mem) < kLowMemSize) || \ |
| 105 | (uptr)(mem) >= kHighMemBeg) |
| 106 | |
| 107 | #define MEM_IS_SHADOW(mem) \ |
| 108 | ((uptr)(mem) >= kShadowBeg && (uptr)(mem) < kShadowBeg + kShadowSize) |
| 109 | |
| 110 | #define MEM_IS_ORIGIN(mem) \ |
| 111 | ((uptr)(mem) >= kOriginsBeg && (uptr)(mem) < kOriginsBeg + kOriginsSize) |
| 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 | void ReplaceOperatorsNewAndDelete(); |
| 135 | |
Evgeniy Stepanov | 208aae8 | 2014-05-21 09:02:13 +0000 | [diff] [blame] | 136 | const char *GetStackOriginDescr(u32 id, uptr *pc); |
Evgeniy Stepanov | ac5ac34 | 2013-09-13 12:49:13 +0000 | [diff] [blame] | 137 | |
Kostya Serebryany | ec87e78 | 2013-02-13 07:19:47 +0000 | [diff] [blame] | 138 | void EnterSymbolizer(); |
| 139 | void ExitSymbolizer(); |
| 140 | bool IsInSymbolizer(); |
| 141 | |
Reid Kleckner | 063dfe3 | 2013-03-06 16:11:58 +0000 | [diff] [blame] | 142 | struct SymbolizerScope { |
| 143 | SymbolizerScope() { EnterSymbolizer(); } |
| 144 | ~SymbolizerScope() { ExitSymbolizer(); } |
| 145 | }; |
| 146 | |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 147 | void MsanDie(); |
| 148 | void PrintWarning(uptr pc, uptr bp); |
| 149 | void PrintWarningWithOrigin(uptr pc, uptr bp, u32 origin); |
| 150 | |
Alexey Samsonov | 9c85927 | 2014-10-26 03:35:14 +0000 | [diff] [blame] | 151 | void GetStackTrace(BufferedStackTrace *stack, uptr max_s, uptr pc, uptr bp, |
Alexey Samsonov | b3d9399 | 2013-11-07 07:28:33 +0000 | [diff] [blame] | 152 | bool request_fast_unwind); |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 153 | |
Evgeniy Stepanov | 367dc64 | 2012-12-26 09:32:05 +0000 | [diff] [blame] | 154 | void ReportUMR(StackTrace *stack, u32 origin); |
| 155 | void ReportExpectedUMRNotFound(StackTrace *stack); |
Evgeniy Stepanov | bce21ac | 2014-05-21 09:56:28 +0000 | [diff] [blame] | 156 | void ReportStats(); |
Evgeniy Stepanov | 9b52ce9 | 2013-01-10 11:17:55 +0000 | [diff] [blame] | 157 | void ReportAtExitStatistics(); |
Evgeniy Stepanov | fe250b0 | 2014-04-30 09:50:30 +0000 | [diff] [blame] | 158 | void DescribeMemoryRange(const void *x, uptr size); |
Evgeniy Stepanov | 8dd62dc | 2014-05-07 11:50:14 +0000 | [diff] [blame] | 159 | void ReportUMRInsideAddressRange(const char *what, const void *start, uptr size, |
| 160 | uptr offset); |
Evgeniy Stepanov | 367dc64 | 2012-12-26 09:32:05 +0000 | [diff] [blame] | 161 | |
Alexey Samsonov | ed4594b | 2013-06-27 07:50:56 +0000 | [diff] [blame] | 162 | // Unpoison first n function arguments. |
| 163 | void UnpoisonParam(uptr n); |
Evgeniy Stepanov | c417981 | 2013-08-27 12:59:39 +0000 | [diff] [blame] | 164 | void UnpoisonThreadLocalState(); |
Reid Kleckner | c9d382b | 2013-03-11 18:07:42 +0000 | [diff] [blame] | 165 | |
Evgeniy Stepanov | a55fcd3 | 2014-04-02 11:06:35 +0000 | [diff] [blame] | 166 | u32 GetOriginIfPoisoned(uptr a, uptr size); |
| 167 | void SetOriginIfPoisoned(uptr addr, uptr src_shadow, uptr size, u32 src_origin); |
Evgeniy Stepanov | 412d973 | 2014-03-18 13:45:19 +0000 | [diff] [blame] | 168 | void CopyOrigin(void *dst, const void *src, uptr size, StackTrace *stack); |
| 169 | void MovePoison(void *dst, const void *src, uptr size, StackTrace *stack); |
| 170 | void CopyPoison(void *dst, const void *src, uptr size, StackTrace *stack); |
| 171 | |
| 172 | // Returns a "chained" origin id, pointing to the given stack trace followed by |
| 173 | // the previous origin id. |
| 174 | u32 ChainOrigin(u32 id, StackTrace *stack); |
| 175 | |
Alexey Samsonov | 9c85927 | 2014-10-26 03:35:14 +0000 | [diff] [blame] | 176 | #define GET_MALLOC_STACK_TRACE \ |
| 177 | BufferedStackTrace stack; \ |
| 178 | if (__msan_get_track_origins() && msan_inited) \ |
| 179 | GetStackTrace(&stack, common_flags()->malloc_context_size, \ |
| 180 | StackTrace::GetCurrentPc(), GET_CURRENT_FRAME(), \ |
Evgeniy Stepanov | c935ca8 | 2014-06-27 12:48:01 +0000 | [diff] [blame] | 181 | common_flags()->fast_unwind_on_malloc) |
Evgeniy Stepanov | 3c95744 | 2014-03-31 14:18:55 +0000 | [diff] [blame] | 182 | |
Alexey Samsonov | 9c85927 | 2014-10-26 03:35:14 +0000 | [diff] [blame] | 183 | #define GET_STORE_STACK_TRACE_PC_BP(pc, bp) \ |
| 184 | BufferedStackTrace stack; \ |
| 185 | if (__msan_get_track_origins() > 1 && msan_inited) \ |
| 186 | GetStackTrace(&stack, flags()->store_context_size, pc, bp, \ |
| 187 | common_flags()->fast_unwind_on_malloc) |
| 188 | |
| 189 | #define GET_FATAL_STACK_TRACE_PC_BP(pc, bp) \ |
| 190 | BufferedStackTrace stack; \ |
| 191 | if (msan_inited) \ |
| 192 | GetStackTrace(&stack, kStackTraceMax, pc, bp, \ |
| 193 | common_flags()->fast_unwind_on_fatal) |
Sergey Matveev | a531058 | 2014-05-26 13:08:08 +0000 | [diff] [blame] | 194 | |
Evgeniy Stepanov | 3c95744 | 2014-03-31 14:18:55 +0000 | [diff] [blame] | 195 | #define GET_STORE_STACK_TRACE \ |
| 196 | GET_STORE_STACK_TRACE_PC_BP(StackTrace::GetCurrentPc(), GET_CURRENT_FRAME()) |
Evgeniy Stepanov | 412d973 | 2014-03-18 13:45:19 +0000 | [diff] [blame] | 197 | |
Evgeniy Stepanov | cb22c67 | 2013-08-27 14:08:15 +0000 | [diff] [blame] | 198 | class ScopedThreadLocalStateBackup { |
Alexey Samsonov | ef643ce | 2013-08-28 11:26:09 +0000 | [diff] [blame] | 199 | public: |
Evgeniy Stepanov | cb22c67 | 2013-08-27 14:08:15 +0000 | [diff] [blame] | 200 | ScopedThreadLocalStateBackup() { Backup(); } |
| 201 | ~ScopedThreadLocalStateBackup() { Restore(); } |
| 202 | void Backup(); |
| 203 | void Restore(); |
Alexey Samsonov | ef643ce | 2013-08-28 11:26:09 +0000 | [diff] [blame] | 204 | private: |
Evgeniy Stepanov | cb22c67 | 2013-08-27 14:08:15 +0000 | [diff] [blame] | 205 | u64 va_arg_overflow_size_tls; |
| 206 | }; |
Evgeniy Stepanov | 8960265 | 2014-03-27 14:04:58 +0000 | [diff] [blame] | 207 | |
| 208 | extern void (*death_callback)(void); |
| 209 | |
Evgeniy Stepanov | f653cda | 2014-04-04 09:47:41 +0000 | [diff] [blame] | 210 | void MsanTSDInit(void (*destructor)(void *tsd)); |
| 211 | void *MsanTSDGet(); |
| 212 | void MsanTSDSet(void *tsd); |
| 213 | void MsanTSDDtor(void *tsd); |
| 214 | |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 215 | } // namespace __msan |
| 216 | |
Evgeniy Stepanov | 44b77c2 | 2013-08-02 14:26:58 +0000 | [diff] [blame] | 217 | #define MSAN_MALLOC_HOOK(ptr, size) \ |
Alexey Samsonov | 91bb8e0 | 2014-07-07 17:39:31 +0000 | [diff] [blame] | 218 | if (&__sanitizer_malloc_hook) __sanitizer_malloc_hook(ptr, size) |
Evgeniy Stepanov | 44b77c2 | 2013-08-02 14:26:58 +0000 | [diff] [blame] | 219 | #define MSAN_FREE_HOOK(ptr) \ |
Alexey Samsonov | 91bb8e0 | 2014-07-07 17:39:31 +0000 | [diff] [blame] | 220 | if (&__sanitizer_free_hook) __sanitizer_free_hook(ptr) |
Evgeniy Stepanov | 44b77c2 | 2013-08-02 14:26:58 +0000 | [diff] [blame] | 221 | |
Evgeniy Stepanov | c503378 | 2012-12-11 12:27:27 +0000 | [diff] [blame] | 222 | #endif // MSAN_H |