blob: 616266cf68c70a33a32f0611d57edb40d135f567 [file] [log] [blame]
Alexey Samsonove5f58952012-06-04 13:50:10 +00001//===-- asan_rtl.cc -------------------------------------------------------===//
Kostya Serebryany1e172b42011-11-30 01:07:02 +00002//
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// Main file of the ASan run-time library.
13//===----------------------------------------------------------------------===//
14#include "asan_allocator.h"
15#include "asan_interceptors.h"
16#include "asan_interface.h"
17#include "asan_internal.h"
18#include "asan_lock.h"
Kostya Serebryany1e172b42011-11-30 01:07:02 +000019#include "asan_mapping.h"
20#include "asan_stack.h"
21#include "asan_stats.h"
22#include "asan_thread.h"
23#include "asan_thread_registry.h"
Dmitry Vyukovfce5bd42012-06-29 16:58:33 +000024#include "sanitizer_common/sanitizer_atomic.h"
Alexey Samsonov9552db72012-06-05 07:25:47 +000025#include "sanitizer_common/sanitizer_libc.h"
Kostya Serebryany1e172b42011-11-30 01:07:02 +000026
Alexey Samsonov47657ce2012-06-06 07:02:44 +000027namespace __sanitizer {
28using namespace __asan;
29
30void Die() {
Dmitry Vyukovfce5bd42012-06-29 16:58:33 +000031 static atomic_uint32_t num_calls;
32 if (atomic_fetch_add(&num_calls, 1, memory_order_relaxed) != 0) {
Alexey Samsonov47657ce2012-06-06 07:02:44 +000033 // Don't die twice - run a busy loop.
34 while (1) { }
35 }
36 if (FLAG_sleep_before_dying) {
Alexey Samsonov5bcca4e2012-06-06 10:46:00 +000037 Report("Sleeping for %zd second(s)\n", FLAG_sleep_before_dying);
Alexey Samsonov47657ce2012-06-06 07:02:44 +000038 SleepForSeconds(FLAG_sleep_before_dying);
39 }
40 if (FLAG_unmap_shadow_on_exit)
Alexey Samsonova25b3462012-06-06 16:15:07 +000041 UnmapOrDie((void*)kLowShadowBeg, kHighShadowEnd - kLowShadowBeg);
Alexey Samsonov47657ce2012-06-06 07:02:44 +000042 if (death_callback)
43 death_callback();
44 if (FLAG_abort_on_error)
45 Abort();
46 Exit(FLAG_exitcode);
47}
48
Alexey Samsonov15a77612012-06-06 15:22:20 +000049void CheckFailed(const char *file, int line, const char *cond, u64 v1, u64 v2) {
50 AsanReport("AddressSanitizer CHECK failed: %s:%d \"%s\" (%zx, %zx)\n",
51 file, line, cond, (uptr)v1, (uptr)v2);
52 PRINT_CURRENT_STACK();
53 ShowStatsAndAbort();
54}
55
Alexey Samsonov47657ce2012-06-06 07:02:44 +000056} // namespace __sanitizer
57
Kostya Serebryany1e172b42011-11-30 01:07:02 +000058namespace __asan {
59
60// -------------------------- Flags ------------------------- {{{1
Kostya Serebryany3f4c3872012-05-31 14:35:53 +000061static const uptr kMallocContextSize = 30;
Kostya Serebryany1e172b42011-11-30 01:07:02 +000062
Kostya Serebryany3f4c3872012-05-31 14:35:53 +000063uptr FLAG_malloc_context_size = kMallocContextSize;
64uptr FLAG_max_malloc_fill_size = 0;
Kostya Serebryanyee392552012-05-31 15:02:07 +000065s64 FLAG_v = 0;
Kostya Serebryany3f4c3872012-05-31 14:35:53 +000066uptr FLAG_redzone = (ASAN_LOW_MEMORY) ? 64 : 128; // power of two, >= 32
67uptr FLAG_quarantine_size = (ASAN_LOW_MEMORY) ? 1UL << 24 : 1UL << 28;
Kostya Serebryanyee392552012-05-31 15:02:07 +000068static s64 FLAG_atexit = 0;
Alexander Potapenko62f10e72012-05-28 16:21:19 +000069bool FLAG_poison_shadow = 1;
Kostya Serebryanyee392552012-05-31 15:02:07 +000070s64 FLAG_report_globals = 1;
Alexander Potapenko62f10e72012-05-28 16:21:19 +000071bool FLAG_handle_segv = ASAN_NEEDS_SEGV;
72bool FLAG_use_sigaltstack = 0;
Alexey Samsonov5f2fe372012-06-04 11:20:17 +000073bool FLAG_symbolize = 0;
Kostya Serebryanyee392552012-05-31 15:02:07 +000074s64 FLAG_demangle = 1;
75s64 FLAG_debug = 0;
Alexander Potapenko62f10e72012-05-28 16:21:19 +000076bool FLAG_replace_cfallocator = 1; // Used on Mac only.
Alexander Potapenko0aa794d2012-06-21 01:01:20 +000077bool FLAG_mac_ignore_invalid_free = 0; // Used on Mac only.
Alexander Potapenko62f10e72012-05-28 16:21:19 +000078bool FLAG_replace_str = 1;
79bool FLAG_replace_intrin = 1;
80bool FLAG_use_fake_stack = 1;
Kostya Serebryanyee392552012-05-31 15:02:07 +000081s64 FLAG_exitcode = ASAN_DEFAULT_FAILURE_EXITCODE;
Alexander Potapenko62f10e72012-05-28 16:21:19 +000082bool FLAG_allow_user_poisoning = 1;
Kostya Serebryanyee392552012-05-31 15:02:07 +000083s64 FLAG_sleep_before_dying = 0;
Alexander Potapenko62f10e72012-05-28 16:21:19 +000084bool FLAG_abort_on_error = 0;
85bool FLAG_unmap_shadow_on_exit = 0;
86bool FLAG_disable_core = __WORDSIZE == 64;
87bool FLAG_check_malloc_usable_size = 1;
Kostya Serebryany1e172b42011-11-30 01:07:02 +000088
89// -------------------------- Globals --------------------- {{{1
90int asan_inited;
91bool asan_init_is_running;
Alexey Samsonov47657ce2012-06-06 07:02:44 +000092void (*death_callback)(void);
Alexander Potapenko3fe91352012-02-27 14:06:48 +000093static void (*error_report_callback)(const char*);
Kostya Serebryany3f4c3872012-05-31 14:35:53 +000094char *error_message_buffer = 0;
95uptr error_message_buffer_pos = 0;
96uptr error_message_buffer_size = 0;
Kostya Serebryany1e172b42011-11-30 01:07:02 +000097
Kostya Serebryany1e172b42011-11-30 01:07:02 +000098// -------------------------- Misc ---------------- {{{1
99void ShowStatsAndAbort() {
100 __asan_print_accumulated_stats();
Alexey Samsonov47657ce2012-06-06 07:02:44 +0000101 Die();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000102}
103
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000104static void PrintBytes(const char *before, uptr *a) {
Kostya Serebryanyee392552012-05-31 15:02:07 +0000105 u8 *bytes = (u8*)a;
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000106 uptr byte_num = (__WORDSIZE) / 8;
Alexey Samsonove9541012012-06-06 13:11:29 +0000107 AsanPrintf("%s%p:", before, (void*)a);
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000108 for (uptr i = 0; i < byte_num; i++) {
Alexey Samsonove9541012012-06-06 13:11:29 +0000109 AsanPrintf(" %x%x", bytes[i] >> 4, bytes[i] & 15);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000110 }
Alexey Samsonove9541012012-06-06 13:11:29 +0000111 AsanPrintf("\n");
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000112}
113
Alexey Samsonove9541012012-06-06 13:11:29 +0000114void AppendToErrorMessageBuffer(const char *buffer) {
115 if (error_message_buffer) {
Kostya Serebryany94c54f12012-06-23 16:30:48 +0000116 uptr length = internal_strlen(buffer);
117 CHECK_GE(error_message_buffer_size, error_message_buffer_pos);
118 uptr remaining = error_message_buffer_size - error_message_buffer_pos;
Alexey Samsonove9541012012-06-06 13:11:29 +0000119 internal_strncpy(error_message_buffer + error_message_buffer_pos,
120 buffer, remaining);
121 error_message_buffer[error_message_buffer_size - 1] = '\0';
122 // FIXME: reallocate the buffer instead of truncating the message.
123 error_message_buffer_pos += remaining > length ? length : remaining;
124 }
125}
126
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000127// ---------------------- mmap -------------------- {{{1
Kostya Serebryanya874fe52011-12-28 23:28:54 +0000128// Reserve memory range [beg, end].
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000129static void ReserveShadowMemoryRange(uptr beg, uptr end) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000130 CHECK((beg % kPageSize) == 0);
131 CHECK(((end + 1) % kPageSize) == 0);
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000132 uptr size = end - beg + 1;
Alexey Samsonovf607fc12012-06-14 14:42:58 +0000133 void *res = MmapFixedNoReserve(beg, size);
Kostya Serebryanya874fe52011-12-28 23:28:54 +0000134 CHECK(res == (void*)beg && "ReserveShadowMemoryRange failed");
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000135}
136
Kostya Serebryanyb89567c2011-12-02 21:02:20 +0000137// ---------------------- LowLevelAllocator ------------- {{{1
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000138void *LowLevelAllocator::Allocate(uptr size) {
Kostya Serebryanyb89567c2011-12-02 21:02:20 +0000139 CHECK((size & (size - 1)) == 0 && "size must be a power of two");
Kostya Serebryany94c54f12012-06-23 16:30:48 +0000140 if (allocated_end_ - allocated_current_ < (sptr)size) {
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000141 uptr size_to_allocate = Max(size, kPageSize);
Kostya Serebryanyde496f42011-12-28 22:58:01 +0000142 allocated_current_ =
Alexey Samsonova25b3462012-06-06 16:15:07 +0000143 (char*)MmapOrDie(size_to_allocate, __FUNCTION__);
Kostya Serebryanyb89567c2011-12-02 21:02:20 +0000144 allocated_end_ = allocated_current_ + size_to_allocate;
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000145 PoisonShadow((uptr)allocated_current_, size_to_allocate,
Kostya Serebryany6b30e2c2011-12-15 17:41:30 +0000146 kAsanInternalHeapMagic);
Kostya Serebryanyb89567c2011-12-02 21:02:20 +0000147 }
Kostya Serebryany94c54f12012-06-23 16:30:48 +0000148 CHECK(allocated_end_ - allocated_current_ >= (sptr)size);
Kostya Serebryanyb89567c2011-12-02 21:02:20 +0000149 void *res = allocated_current_;
150 allocated_current_ += size;
151 return res;
152}
153
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000154// ---------------------- DescribeAddress -------------------- {{{1
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000155static bool DescribeStackAddress(uptr addr, uptr access_size) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000156 AsanThread *t = asanThreadRegistry().FindThreadByStackAddress(addr);
157 if (!t) return false;
Kostya Serebryanyee392552012-05-31 15:02:07 +0000158 const sptr kBufSize = 4095;
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000159 char buf[kBufSize];
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000160 uptr offset = 0;
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000161 const char *frame_descr = t->GetFrameNameByAddr(addr, &offset);
162 // This string is created by the compiler and has the following form:
163 // "FunctioName n alloc_1 alloc_2 ... alloc_n"
164 // where alloc_i looks like "offset size len ObjectName ".
165 CHECK(frame_descr);
166 // Report the function name and the offset.
Timur Iskhodzhanov53627172012-02-14 19:33:04 +0000167 const char *name_end = internal_strchr(frame_descr, ' ');
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000168 CHECK(name_end);
169 buf[0] = 0;
Kostya Serebryanya4ccf872012-01-09 22:20:49 +0000170 internal_strncat(buf, frame_descr,
171 Min(kBufSize,
Kostya Serebryanyee392552012-05-31 15:02:07 +0000172 static_cast<sptr>(name_end - frame_descr)));
Alexey Samsonove9541012012-06-06 13:11:29 +0000173 AsanPrintf("Address %p is located at offset %zu "
174 "in frame <%s> of T%d's stack:\n",
175 (void*)addr, offset, buf, t->tid());
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000176 // Report the number of stack objects.
177 char *p;
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000178 uptr n_objects = internal_simple_strtoll(name_end, &p, 10);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000179 CHECK(n_objects > 0);
Alexey Samsonove9541012012-06-06 13:11:29 +0000180 AsanPrintf(" This frame has %zu object(s):\n", n_objects);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000181 // Report all objects in this frame.
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000182 for (uptr i = 0; i < n_objects; i++) {
183 uptr beg, size;
Kostya Serebryanyee392552012-05-31 15:02:07 +0000184 sptr len;
Alexey Samsonov88981022012-02-17 16:15:09 +0000185 beg = internal_simple_strtoll(p, &p, 10);
186 size = internal_simple_strtoll(p, &p, 10);
187 len = internal_simple_strtoll(p, &p, 10);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000188 if (beg <= 0 || size <= 0 || len < 0 || *p != ' ') {
Alexey Samsonove9541012012-06-06 13:11:29 +0000189 AsanPrintf("AddressSanitizer can't parse the stack frame "
190 "descriptor: |%s|\n", frame_descr);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000191 break;
192 }
193 p++;
194 buf[0] = 0;
Kostya Serebryanya4ccf872012-01-09 22:20:49 +0000195 internal_strncat(buf, p, Min(kBufSize, len));
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000196 p += len;
Alexey Samsonove9541012012-06-06 13:11:29 +0000197 AsanPrintf(" [%zu, %zu) '%s'\n", beg, beg + size, buf);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000198 }
Alexey Samsonove9541012012-06-06 13:11:29 +0000199 AsanPrintf("HINT: this may be a false positive if your program uses "
200 "some custom stack unwind mechanism\n"
201 " (longjmp and C++ exceptions *are* supported)\n");
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000202 t->summary()->Announce();
203 return true;
204}
205
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000206static NOINLINE void DescribeAddress(uptr addr, uptr access_size) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000207 // Check if this is a global.
208 if (DescribeAddrIfGlobal(addr))
209 return;
210
211 if (DescribeStackAddress(addr, access_size))
212 return;
213
214 // finally, check if this is a heap.
215 DescribeHeapAddress(addr, access_size);
216}
217
218// -------------------------- Run-time entry ------------------- {{{1
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000219// exported functions
Kostya Serebryany51e75c42011-12-28 00:59:39 +0000220#define ASAN_REPORT_ERROR(type, is_write, size) \
Alexey Samsonov0a4c9062012-06-05 13:50:57 +0000221extern "C" NOINLINE INTERFACE_ATTRIBUTE \
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000222void __asan_report_ ## type ## size(uptr addr); \
223void __asan_report_ ## type ## size(uptr addr) { \
Kostya Serebryany9f311bb2012-03-15 01:36:00 +0000224 GET_CALLER_PC_BP_SP; \
Kostya Serebryany51e75c42011-12-28 00:59:39 +0000225 __asan_report_error(pc, bp, sp, addr, is_write, size); \
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000226}
227
228ASAN_REPORT_ERROR(load, false, 1)
229ASAN_REPORT_ERROR(load, false, 2)
230ASAN_REPORT_ERROR(load, false, 4)
231ASAN_REPORT_ERROR(load, false, 8)
232ASAN_REPORT_ERROR(load, false, 16)
233ASAN_REPORT_ERROR(store, true, 1)
234ASAN_REPORT_ERROR(store, true, 2)
235ASAN_REPORT_ERROR(store, true, 4)
236ASAN_REPORT_ERROR(store, true, 8)
237ASAN_REPORT_ERROR(store, true, 16)
238
239// Force the linker to keep the symbols for various ASan interface functions.
240// We want to keep those in the executable in order to let the instrumented
241// dynamic libraries access the symbol even if it is not used by the executable
242// itself. This should help if the build system is removing dead code at link
243// time.
Alexander Potapenko3fe91352012-02-27 14:06:48 +0000244static NOINLINE void force_interface_symbols() {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000245 volatile int fake_condition = 0; // prevent dead condition elimination.
246 if (fake_condition) {
Kostya Serebryanyf0977db2012-03-14 22:48:09 +0000247 __asan_report_load1(0);
248 __asan_report_load2(0);
249 __asan_report_load4(0);
250 __asan_report_load8(0);
251 __asan_report_load16(0);
252 __asan_report_store1(0);
253 __asan_report_store2(0);
254 __asan_report_store4(0);
255 __asan_report_store8(0);
256 __asan_report_store16(0);
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000257 __asan_register_global(0, 0, 0);
258 __asan_register_globals(0, 0);
259 __asan_unregister_globals(0, 0);
260 __asan_set_death_callback(0);
261 __asan_set_error_report_callback(0);
Alexander Potapenkodadc45d2012-03-06 11:45:59 +0000262 __asan_handle_no_return();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000263 }
264}
265
266// -------------------------- Init ------------------- {{{1
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000267static void IntFlagValue(const char *flags, const char *flag,
Kostya Serebryanyee392552012-05-31 15:02:07 +0000268 s64 *out_val) {
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000269 if (!flags) return;
Kostya Serebryanya4ccf872012-01-09 22:20:49 +0000270 const char *str = internal_strstr(flags, flag);
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000271 if (!str) return;
272 *out_val = internal_atoll(str + internal_strlen(flag));
273}
274
275static void BoolFlagValue(const char *flags, const char *flag,
276 bool *out_val) {
277 if (!flags) return;
278 const char *str = internal_strstr(flags, flag);
279 if (!str) return;
Alexander Potapenko6b6dc572012-05-30 15:28:45 +0000280 const char *suffix = str + internal_strlen(flag);
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000281 if (!internal_atoll(str + internal_strlen(flag))) {
Alexander Potapenko6b6dc572012-05-30 15:28:45 +0000282 if (suffix[0] == '0') {
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000283 *out_val = false;
284 return;
285 }
286 } else {
287 *out_val = true;
288 return;
289 }
Alexander Potapenko6b6dc572012-05-30 15:28:45 +0000290 switch (suffix[0]) {
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000291 case 'y':
292 case 't': {
293 *out_val = true;
294 break;
295 }
296 case 'n':
297 case 'f': {
298 *out_val = false;
299 break;
300 }
301 default: return;
302 }
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000303}
304
305static void asan_atexit() {
Alexey Samsonove9541012012-06-06 13:11:29 +0000306 AsanPrintf("AddressSanitizer exit stats:\n");
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000307 __asan_print_accumulated_stats();
308}
309
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000310} // namespace __asan
311
Kostya Serebryany4803ab92012-01-09 18:53:15 +0000312// ---------------------- Interface ---------------- {{{1
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000313using namespace __asan; // NOLINT
314
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000315int __asan_set_error_exit_code(int exit_code) {
316 int old = FLAG_exitcode;
317 FLAG_exitcode = exit_code;
318 return old;
319}
320
Alexander Potapenkodadc45d2012-03-06 11:45:59 +0000321void NOINLINE __asan_handle_no_return() {
Kostya Serebryanyf54b1f92012-02-08 21:33:27 +0000322 int local_stack;
323 AsanThread *curr_thread = asanThreadRegistry().GetCurrent();
324 CHECK(curr_thread);
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000325 uptr top = curr_thread->stack_top();
326 uptr bottom = ((uptr)&local_stack - kPageSize) & ~(kPageSize-1);
Kostya Serebryanyf54b1f92012-02-08 21:33:27 +0000327 PoisonShadow(bottom, top - bottom, 0);
328}
329
Alexander Potapenko2f3f9622012-03-01 14:39:21 +0000330void NOINLINE __asan_set_death_callback(void (*callback)(void)) {
Kostya Serebryanye1fe0fd2012-02-13 21:24:29 +0000331 death_callback = callback;
332}
333
Alexander Potapenko3fe91352012-02-27 14:06:48 +0000334void NOINLINE __asan_set_error_report_callback(void (*callback)(const char*)) {
335 error_report_callback = callback;
336 if (callback) {
Alexander Potapenko8ca02782012-05-12 12:33:41 +0000337 error_message_buffer_size = 1 << 16;
Alexander Potapenko3fe91352012-02-27 14:06:48 +0000338 error_message_buffer =
Alexey Samsonova25b3462012-06-06 16:15:07 +0000339 (char*)MmapOrDie(error_message_buffer_size, __FUNCTION__);
Alexander Potapenko3fe91352012-02-27 14:06:48 +0000340 error_message_buffer_pos = 0;
341 }
342}
343
Kostya Serebryany9aead372012-05-31 14:11:07 +0000344void __asan_report_error(uptr pc, uptr bp, uptr sp,
345 uptr addr, bool is_write, uptr access_size) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000346 // Do not print more than one report, otherwise they will mix up.
Dmitry Vyukovfce5bd42012-06-29 16:58:33 +0000347 static atomic_uint32_t num_calls;
348 if (atomic_fetch_add(&num_calls, 1, memory_order_relaxed) != 0) return;
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000349
Alexey Samsonove9541012012-06-06 13:11:29 +0000350 AsanPrintf("===================================================="
351 "=============\n");
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000352 const char *bug_descr = "unknown-crash";
353 if (AddrIsInMem(addr)) {
Kostya Serebryanyee392552012-05-31 15:02:07 +0000354 u8 *shadow_addr = (u8*)MemToShadow(addr);
Kostya Serebryanyacd5c612011-12-07 21:30:20 +0000355 // If we are accessing 16 bytes, look at the second shadow byte.
356 if (*shadow_addr == 0 && access_size > SHADOW_GRANULARITY)
357 shadow_addr++;
358 // If we are in the partial right redzone, look at the next shadow byte.
359 if (*shadow_addr > 0 && *shadow_addr < 128)
360 shadow_addr++;
361 switch (*shadow_addr) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000362 case kAsanHeapLeftRedzoneMagic:
363 case kAsanHeapRightRedzoneMagic:
364 bug_descr = "heap-buffer-overflow";
365 break;
366 case kAsanHeapFreeMagic:
367 bug_descr = "heap-use-after-free";
368 break;
369 case kAsanStackLeftRedzoneMagic:
370 bug_descr = "stack-buffer-underflow";
371 break;
372 case kAsanStackMidRedzoneMagic:
373 case kAsanStackRightRedzoneMagic:
374 case kAsanStackPartialRedzoneMagic:
375 bug_descr = "stack-buffer-overflow";
376 break;
377 case kAsanStackAfterReturnMagic:
378 bug_descr = "stack-use-after-return";
379 break;
380 case kAsanUserPoisonedMemoryMagic:
381 bug_descr = "use-after-poison";
382 break;
383 case kAsanGlobalRedzoneMagic:
384 bug_descr = "global-buffer-overflow";
385 break;
386 }
387 }
388
Kostya Serebryanyc4b34d92011-12-09 01:49:31 +0000389 AsanThread *curr_thread = asanThreadRegistry().GetCurrent();
Kostya Serebryanye0cff0b2012-06-06 15:06:58 +0000390 u32 curr_tid = asanThreadRegistry().GetCurrentTidOrInvalid();
Kostya Serebryanyc4b34d92011-12-09 01:49:31 +0000391
392 if (curr_thread) {
393 // We started reporting an error message. Stop using the fake stack
394 // in case we will call an instrumented function from a symbolizer.
395 curr_thread->fake_stack().StopUsingFakeStack();
396 }
397
Alexey Samsonove9541012012-06-06 13:11:29 +0000398 AsanReport("ERROR: AddressSanitizer %s on address "
399 "%p at pc 0x%zx bp 0x%zx sp 0x%zx\n",
400 bug_descr, (void*)addr, pc, bp, sp);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000401
Alexey Samsonove9541012012-06-06 13:11:29 +0000402 AsanPrintf("%s of size %zu at %p thread T%d\n",
403 access_size ? (is_write ? "WRITE" : "READ") : "ACCESS",
404 access_size, (void*)addr, curr_tid);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000405
406 if (FLAG_debug) {
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000407 PrintBytes("PC: ", (uptr*)pc);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000408 }
409
Evgeniy Stepanov9cfa1942012-01-19 11:34:18 +0000410 GET_STACK_TRACE_WITH_PC_AND_BP(kStackTraceMax, pc, bp);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000411 stack.PrintStack();
412
413 CHECK(AddrIsInMem(addr));
414
415 DescribeAddress(addr, access_size);
416
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000417 uptr shadow_addr = MemToShadow(addr);
Alexey Samsonove9541012012-06-06 13:11:29 +0000418 AsanReport("ABORTING\n");
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000419 __asan_print_accumulated_stats();
Alexey Samsonove9541012012-06-06 13:11:29 +0000420 AsanPrintf("Shadow byte and word:\n");
421 AsanPrintf(" %p: %x\n", (void*)shadow_addr, *(unsigned char*)shadow_addr);
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000422 uptr aligned_shadow = shadow_addr & ~(kWordSize - 1);
423 PrintBytes(" ", (uptr*)(aligned_shadow));
Alexey Samsonove9541012012-06-06 13:11:29 +0000424 AsanPrintf("More shadow bytes:\n");
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000425 PrintBytes(" ", (uptr*)(aligned_shadow-4*kWordSize));
426 PrintBytes(" ", (uptr*)(aligned_shadow-3*kWordSize));
427 PrintBytes(" ", (uptr*)(aligned_shadow-2*kWordSize));
428 PrintBytes(" ", (uptr*)(aligned_shadow-1*kWordSize));
429 PrintBytes("=>", (uptr*)(aligned_shadow+0*kWordSize));
430 PrintBytes(" ", (uptr*)(aligned_shadow+1*kWordSize));
431 PrintBytes(" ", (uptr*)(aligned_shadow+2*kWordSize));
432 PrintBytes(" ", (uptr*)(aligned_shadow+3*kWordSize));
433 PrintBytes(" ", (uptr*)(aligned_shadow+4*kWordSize));
Alexander Potapenko3fe91352012-02-27 14:06:48 +0000434 if (error_report_callback) {
435 error_report_callback(error_message_buffer);
436 }
Alexey Samsonov47657ce2012-06-06 07:02:44 +0000437 Die();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000438}
439
Alexander Potapenkofca72fd2012-05-25 15:37:16 +0000440static void ParseAsanOptions(const char *options) {
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000441 IntFlagValue(options, "malloc_context_size=",
Kostya Serebryanyee392552012-05-31 15:02:07 +0000442 (s64*)&FLAG_malloc_context_size);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000443 CHECK(FLAG_malloc_context_size <= kMallocContextSize);
444
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000445 IntFlagValue(options, "max_malloc_fill_size=",
Kostya Serebryanyee392552012-05-31 15:02:07 +0000446 (s64*)&FLAG_max_malloc_fill_size);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000447
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000448 IntFlagValue(options, "verbosity=", &FLAG_v);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000449
Kostya Serebryanyee392552012-05-31 15:02:07 +0000450 IntFlagValue(options, "redzone=", (s64*)&FLAG_redzone);
Kostya Serebryany0334fc82012-06-07 09:15:48 +0000451 CHECK(FLAG_redzone >= 16);
452 CHECK(IsPowerOfTwo(FLAG_redzone));
Kostya Serebryanyee392552012-05-31 15:02:07 +0000453 IntFlagValue(options, "quarantine_size=", (s64*)&FLAG_quarantine_size);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000454
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000455 IntFlagValue(options, "atexit=", &FLAG_atexit);
456 BoolFlagValue(options, "poison_shadow=", &FLAG_poison_shadow);
457 IntFlagValue(options, "report_globals=", &FLAG_report_globals);
458 BoolFlagValue(options, "handle_segv=", &FLAG_handle_segv);
459 BoolFlagValue(options, "use_sigaltstack=", &FLAG_use_sigaltstack);
460 BoolFlagValue(options, "symbolize=", &FLAG_symbolize);
461 IntFlagValue(options, "demangle=", &FLAG_demangle);
462 IntFlagValue(options, "debug=", &FLAG_debug);
463 BoolFlagValue(options, "replace_cfallocator=", &FLAG_replace_cfallocator);
Alexey Samsonov39b2e6a2012-06-21 08:13:49 +0000464 BoolFlagValue(options, "mac_ignore_invalid_free=",
465 &FLAG_mac_ignore_invalid_free);
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000466 BoolFlagValue(options, "replace_str=", &FLAG_replace_str);
467 BoolFlagValue(options, "replace_intrin=", &FLAG_replace_intrin);
468 BoolFlagValue(options, "use_fake_stack=", &FLAG_use_fake_stack);
469 IntFlagValue(options, "exitcode=", &FLAG_exitcode);
470 BoolFlagValue(options, "allow_user_poisoning=", &FLAG_allow_user_poisoning);
471 IntFlagValue(options, "sleep_before_dying=", &FLAG_sleep_before_dying);
472 BoolFlagValue(options, "abort_on_error=", &FLAG_abort_on_error);
473 BoolFlagValue(options, "unmap_shadow_on_exit=", &FLAG_unmap_shadow_on_exit);
Kostya Serebryanyf8e6fee2012-04-06 01:27:11 +0000474 // By default, disable core dumper on 64-bit --
475 // it makes little sense to dump 16T+ core.
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000476 BoolFlagValue(options, "disable_core=", &FLAG_disable_core);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000477
Alexander Potapenko37931232012-05-25 15:20:13 +0000478 // Allow the users to work around the bug in Nvidia drivers prior to 295.*.
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000479 BoolFlagValue(options, "check_malloc_usable_size=",
480 &FLAG_check_malloc_usable_size);
Alexander Potapenkofca72fd2012-05-25 15:37:16 +0000481}
482
483void __asan_init() {
484 if (asan_inited) return;
485 asan_init_is_running = true;
486
487 // Make sure we are not statically linked.
488 AsanDoesNotSupportStaticLinkage();
489
Alexey Samsonovff20f172012-05-29 09:39:01 +0000490#if !defined(_WIN32)
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000491 if (__asan_default_options) {
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000492 ParseAsanOptions(__asan_default_options);
Alexander Potapenkoe4781f02012-05-30 14:12:20 +0000493 if (FLAG_v) {
494 Report("Using the defaults from __asan_default_options: %s\n",
495 __asan_default_options);
496 }
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000497 }
Alexey Samsonovff20f172012-05-29 09:39:01 +0000498#endif
Alexander Potapenkofca72fd2012-05-25 15:37:16 +0000499 // flags
Alexey Samsonov3dbeabb2012-06-14 14:07:21 +0000500 const char *options = GetEnv("ASAN_OPTIONS");
Alexander Potapenkof2981f32012-05-25 15:56:40 +0000501 ParseAsanOptions(options);
Alexander Potapenkofeb47932012-03-16 16:38:31 +0000502
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000503 if (FLAG_v && options) {
Alexander Potapenkofeb47932012-03-16 16:38:31 +0000504 Report("Parsed ASAN_OPTIONS: %s\n", options);
505 }
506
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000507 if (FLAG_atexit) {
Alexey Samsonovb823e3c2012-02-22 14:07:06 +0000508 Atexit(asan_atexit);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000509 }
510
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000511 // interceptors
512 InitializeAsanInterceptors();
513
514 ReplaceSystemMalloc();
Alexey Samsonov4d5f98d2012-04-06 08:21:08 +0000515 ReplaceOperatorsNewAndDelete();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000516
517 if (FLAG_v) {
Alexey Samsonove4309e82012-06-06 10:54:25 +0000518 Printf("|| `[%p, %p]` || HighMem ||\n",
519 (void*)kHighMemBeg, (void*)kHighMemEnd);
520 Printf("|| `[%p, %p]` || HighShadow ||\n",
521 (void*)kHighShadowBeg, (void*)kHighShadowEnd);
522 Printf("|| `[%p, %p]` || ShadowGap ||\n",
523 (void*)kShadowGapBeg, (void*)kShadowGapEnd);
524 Printf("|| `[%p, %p]` || LowShadow ||\n",
525 (void*)kLowShadowBeg, (void*)kLowShadowEnd);
526 Printf("|| `[%p, %p]` || LowMem ||\n",
527 (void*)kLowMemBeg, (void*)kLowMemEnd);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000528 Printf("MemToShadow(shadow): %p %p %p %p\n",
Alexey Samsonove4309e82012-06-06 10:54:25 +0000529 (void*)MEM_TO_SHADOW(kLowShadowBeg),
530 (void*)MEM_TO_SHADOW(kLowShadowEnd),
531 (void*)MEM_TO_SHADOW(kHighShadowBeg),
532 (void*)MEM_TO_SHADOW(kHighShadowEnd));
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000533 Printf("red_zone=%zu\n", (uptr)FLAG_redzone);
534 Printf("malloc_context_size=%zu\n", (uptr)FLAG_malloc_context_size);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000535
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000536 Printf("SHADOW_SCALE: %zx\n", (uptr)SHADOW_SCALE);
537 Printf("SHADOW_GRANULARITY: %zx\n", (uptr)SHADOW_GRANULARITY);
538 Printf("SHADOW_OFFSET: %zx\n", (uptr)SHADOW_OFFSET);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000539 CHECK(SHADOW_SCALE >= 3 && SHADOW_SCALE <= 7);
540 }
541
Kostya Serebryanyf8e6fee2012-04-06 01:27:11 +0000542 if (FLAG_disable_core) {
Alexey Samsonovbe7420c2012-06-15 06:08:19 +0000543 DisableCoreDumper();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000544 }
545
Alexey Samsonovdd3a9112012-06-15 07:29:14 +0000546 uptr shadow_start = kLowShadowBeg;
547 if (kLowShadowBeg > 0) shadow_start -= kMmapGranularity;
548 uptr shadow_end = kHighShadowEnd;
549 if (MemoryRangeIsAvailable(shadow_start, shadow_end)) {
Kostya Serebryanya7e760a2012-01-09 19:18:27 +0000550 if (kLowShadowBeg != kLowShadowEnd) {
Timur Iskhodzhanov3e81fe42012-02-09 17:20:14 +0000551 // mmap the low shadow plus at least one page.
552 ReserveShadowMemoryRange(kLowShadowBeg - kMmapGranularity, kLowShadowEnd);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000553 }
Kostya Serebryanya7e760a2012-01-09 19:18:27 +0000554 // mmap the high shadow.
555 ReserveShadowMemoryRange(kHighShadowBeg, kHighShadowEnd);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000556 // protect the gap
Alexey Samsonovf607fc12012-06-14 14:42:58 +0000557 void *prot = Mprotect(kShadowGapBeg, kShadowGapEnd - kShadowGapBeg + 1);
Kostya Serebryanya874fe52011-12-28 23:28:54 +0000558 CHECK(prot == (void*)kShadowGapBeg);
Alexander Potapenkoc50e8352012-02-13 15:11:23 +0000559 } else {
560 Report("Shadow memory range interleaves with an existing memory mapping. "
561 "ASan cannot proceed correctly. ABORTING.\n");
Alexey Samsonovbe7420c2012-06-15 06:08:19 +0000562 DumpProcessMap();
Alexey Samsonov47657ce2012-06-06 07:02:44 +0000563 Die();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000564 }
565
Alexander Potapenkof03d8af2012-04-05 10:54:52 +0000566 InstallSignalHandlers();
567
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000568 // On Linux AsanThread::ThreadStart() calls malloc() that's why asan_inited
569 // should be set to 1 prior to initializing the threads.
570 asan_inited = 1;
571 asan_init_is_running = false;
572
573 asanThreadRegistry().Init();
574 asanThreadRegistry().GetMain()->ThreadStart();
Kostya Serebryany51e75c42011-12-28 00:59:39 +0000575 force_interface_symbols(); // no-op.
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000576
577 if (FLAG_v) {
Kostya Serebryanyd6567c52011-12-01 21:40:52 +0000578 Report("AddressSanitizer Init done\n");
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000579 }
580}
Evgeniy Stepanov8bcc6b92012-01-11 08:17:19 +0000581
582#if defined(ASAN_USE_PREINIT_ARRAY)
Timur Iskhodzhanov38ed7362012-02-21 16:24:23 +0000583 // On Linux, we force __asan_init to be called before anyone else
584 // by placing it into .preinit_array section.
585 // FIXME: do we have anything like this on Mac?
586 __attribute__((section(".preinit_array")))
587 typeof(__asan_init) *__asan_preinit =__asan_init;
588#elif defined(_WIN32) && defined(_DLL)
589 // On Windows, when using dynamic CRT (/MD), we can put a pointer
590 // to __asan_init into the global list of C initializers.
591 // See crt0dat.c in the CRT sources for the details.
Timur Iskhodzhanov39c22ee2012-02-22 09:28:14 +0000592 #pragma section(".CRT$XIB", long, read) // NOLINT
Timur Iskhodzhanov38ed7362012-02-21 16:24:23 +0000593 __declspec(allocate(".CRT$XIB")) void (*__asan_preinit)() = __asan_init;
Evgeniy Stepanov8bcc6b92012-01-11 08:17:19 +0000594#endif