blob: 7884d139b901498777200da6d78b0d3421f1fa7e [file] [log] [blame]
Kostya Serebryany1e172b42011-11-30 01:07:02 +00001//===-- asan_rtl.cc ---------------------------------------------*- C++ -*-===//
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// 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"
24
Kostya Serebryany1e172b42011-11-30 01:07:02 +000025namespace __asan {
26
27// -------------------------- Flags ------------------------- {{{1
28static const size_t kMallocContextSize = 30;
Kostya Serebryany1e172b42011-11-30 01:07:02 +000029
Alexander Potapenko62f10e72012-05-28 16:21:19 +000030size_t FLAG_malloc_context_size = kMallocContextSize;
31size_t FLAG_max_malloc_fill_size = 0;
32int64_t FLAG_v = 0;
33size_t FLAG_redzone = (ASAN_LOW_MEMORY) ? 64 : 128; // power of two, >= 32
34size_t FLAG_quarantine_size = (ASAN_LOW_MEMORY) ? 1UL << 24 : 1UL << 28;
35static int64_t FLAG_atexit = 0;
36bool FLAG_poison_shadow = 1;
37int64_t FLAG_report_globals = 1;
38bool FLAG_handle_segv = ASAN_NEEDS_SEGV;
39bool FLAG_use_sigaltstack = 0;
40bool FLAG_symbolize = 1;
41int64_t FLAG_demangle = 1;
42int64_t FLAG_debug = 0;
43bool FLAG_replace_cfallocator = 1; // Used on Mac only.
44bool FLAG_replace_str = 1;
45bool FLAG_replace_intrin = 1;
46bool FLAG_use_fake_stack = 1;
47int64_t FLAG_exitcode = ASAN_DEFAULT_FAILURE_EXITCODE;
48bool FLAG_allow_user_poisoning = 1;
49int64_t FLAG_sleep_before_dying = 0;
50bool FLAG_abort_on_error = 0;
51bool FLAG_unmap_shadow_on_exit = 0;
52bool FLAG_disable_core = __WORDSIZE == 64;
53bool FLAG_check_malloc_usable_size = 1;
Kostya Serebryany1e172b42011-11-30 01:07:02 +000054
55// -------------------------- Globals --------------------- {{{1
56int asan_inited;
57bool asan_init_is_running;
Kostya Serebryanye1fe0fd2012-02-13 21:24:29 +000058static void (*death_callback)(void);
Alexander Potapenko3fe91352012-02-27 14:06:48 +000059static void (*error_report_callback)(const char*);
60char *error_message_buffer = NULL;
61size_t error_message_buffer_pos = 0;
62size_t error_message_buffer_size = 0;
Kostya Serebryany1e172b42011-11-30 01:07:02 +000063
Kostya Serebryany1e172b42011-11-30 01:07:02 +000064// -------------------------- Misc ---------------- {{{1
65void ShowStatsAndAbort() {
66 __asan_print_accumulated_stats();
Kostya Serebryany0ecf5eb2012-01-09 23:11:26 +000067 AsanDie();
Kostya Serebryany1e172b42011-11-30 01:07:02 +000068}
69
70static void PrintBytes(const char *before, uintptr_t *a) {
71 uint8_t *bytes = (uint8_t*)a;
72 size_t byte_num = (__WORDSIZE) / 8;
Evgeniy Stepanov739eb792012-03-21 11:32:46 +000073 Printf("%s%p:", before, (void*)a);
Kostya Serebryany1e172b42011-11-30 01:07:02 +000074 for (size_t i = 0; i < byte_num; i++) {
Evgeniy Stepanov739eb792012-03-21 11:32:46 +000075 Printf(" %x%x", bytes[i] >> 4, bytes[i] & 15);
Kostya Serebryany1e172b42011-11-30 01:07:02 +000076 }
77 Printf("\n");
78}
79
Kostya Serebryany0ecf5eb2012-01-09 23:11:26 +000080size_t ReadFileToBuffer(const char *file_name, char **buff,
Kostya Serebryanydf499b42012-01-05 00:44:33 +000081 size_t *buff_size, size_t max_len) {
Kostya Serebryanyde496f42011-12-28 22:58:01 +000082 const size_t kMinFileLen = kPageSize;
Kostya Serebryany0ecf5eb2012-01-09 23:11:26 +000083 size_t read_len = 0;
Kostya Serebryanyde496f42011-12-28 22:58:01 +000084 *buff = 0;
Kostya Serebryanydf499b42012-01-05 00:44:33 +000085 *buff_size = 0;
Kostya Serebryanyde496f42011-12-28 22:58:01 +000086 // The files we usually open are not seekable, so try different buffer sizes.
87 for (size_t size = kMinFileLen; size <= max_len; size *= 2) {
88 int fd = AsanOpenReadonly(file_name);
Alexander Potapenkof2b1df72012-05-10 12:03:09 +000089 if (fd < 0) return 0;
Kostya Serebryanydf499b42012-01-05 00:44:33 +000090 AsanUnmapOrDie(*buff, *buff_size);
Kostya Serebryanyde496f42011-12-28 22:58:01 +000091 *buff = (char*)AsanMmapSomewhereOrDie(size, __FUNCTION__);
Kostya Serebryanydf499b42012-01-05 00:44:33 +000092 *buff_size = size;
Kostya Serebryany454a0642012-01-17 18:00:07 +000093 // Read up to one page at a time.
94 read_len = 0;
95 bool reached_eof = false;
96 while (read_len + kPageSize <= size) {
97 size_t just_read = AsanRead(fd, *buff + read_len, kPageSize);
98 if (just_read == 0) {
99 reached_eof = true;
100 break;
101 }
102 read_len += just_read;
103 }
Kostya Serebryanyde496f42011-12-28 22:58:01 +0000104 AsanClose(fd);
Kostya Serebryany454a0642012-01-17 18:00:07 +0000105 if (reached_eof) // We've read the whole file.
Kostya Serebryanyde496f42011-12-28 22:58:01 +0000106 break;
107 }
108 return read_len;
109}
110
Kostya Serebryanye1fe0fd2012-02-13 21:24:29 +0000111void AsanDie() {
Kostya Serebryany5e4e91c2012-02-16 00:40:18 +0000112 static int num_calls = 0;
Alexey Samsonov95d6b332012-03-20 10:14:55 +0000113 if (AtomicInc(&num_calls) > 1) {
114 // Don't die twice - run a busy loop.
115 while (1) { }
116 }
Kostya Serebryanye1fe0fd2012-02-13 21:24:29 +0000117 if (FLAG_sleep_before_dying) {
118 Report("Sleeping for %d second(s)\n", FLAG_sleep_before_dying);
119 SleepForSeconds(FLAG_sleep_before_dying);
120 }
Kostya Serebryanyf8e6fee2012-04-06 01:27:11 +0000121 if (FLAG_unmap_shadow_on_exit)
122 AsanUnmapOrDie((void*)kLowShadowBeg, kHighShadowEnd - kLowShadowBeg);
Kostya Serebryanye1fe0fd2012-02-13 21:24:29 +0000123 if (death_callback)
124 death_callback();
Kostya Serebryanyf8e6fee2012-04-06 01:27:11 +0000125 if (FLAG_abort_on_error)
126 Abort();
Kostya Serebryanye1fe0fd2012-02-13 21:24:29 +0000127 Exit(FLAG_exitcode);
128}
129
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000130// ---------------------- mmap -------------------- {{{1
Kostya Serebryanyde496f42011-12-28 22:58:01 +0000131void OutOfMemoryMessageAndDie(const char *mem_type, size_t size) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000132 Report("ERROR: AddressSanitizer failed to allocate "
Evgeniy Stepanov739eb792012-03-21 11:32:46 +0000133 "0x%zx (%zd) bytes of %s\n",
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000134 size, size, mem_type);
Kostya Serebryanyde496f42011-12-28 22:58:01 +0000135 PRINT_CURRENT_STACK();
136 ShowStatsAndAbort();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000137}
138
Kostya Serebryanya874fe52011-12-28 23:28:54 +0000139// Reserve memory range [beg, end].
140static void ReserveShadowMemoryRange(uintptr_t beg, uintptr_t end) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000141 CHECK((beg % kPageSize) == 0);
142 CHECK(((end + 1) % kPageSize) == 0);
Kostya Serebryanya874fe52011-12-28 23:28:54 +0000143 size_t size = end - beg + 1;
144 void *res = AsanMmapFixedNoReserve(beg, size);
145 CHECK(res == (void*)beg && "ReserveShadowMemoryRange failed");
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000146}
147
Kostya Serebryanyb89567c2011-12-02 21:02:20 +0000148// ---------------------- LowLevelAllocator ------------- {{{1
149void *LowLevelAllocator::Allocate(size_t size) {
150 CHECK((size & (size - 1)) == 0 && "size must be a power of two");
151 if (allocated_end_ - allocated_current_ < size) {
152 size_t size_to_allocate = Max(size, kPageSize);
Kostya Serebryanyde496f42011-12-28 22:58:01 +0000153 allocated_current_ =
154 (char*)AsanMmapSomewhereOrDie(size_to_allocate, __FUNCTION__);
Kostya Serebryanyb89567c2011-12-02 21:02:20 +0000155 allocated_end_ = allocated_current_ + size_to_allocate;
Kostya Serebryany6b30e2c2011-12-15 17:41:30 +0000156 PoisonShadow((uintptr_t)allocated_current_, size_to_allocate,
157 kAsanInternalHeapMagic);
Kostya Serebryanyb89567c2011-12-02 21:02:20 +0000158 }
159 CHECK(allocated_end_ - allocated_current_ >= size);
160 void *res = allocated_current_;
161 allocated_current_ += size;
162 return res;
163}
164
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000165// ---------------------- DescribeAddress -------------------- {{{1
166static bool DescribeStackAddress(uintptr_t addr, uintptr_t access_size) {
167 AsanThread *t = asanThreadRegistry().FindThreadByStackAddress(addr);
168 if (!t) return false;
169 const intptr_t kBufSize = 4095;
170 char buf[kBufSize];
171 uintptr_t offset = 0;
172 const char *frame_descr = t->GetFrameNameByAddr(addr, &offset);
173 // This string is created by the compiler and has the following form:
174 // "FunctioName n alloc_1 alloc_2 ... alloc_n"
175 // where alloc_i looks like "offset size len ObjectName ".
176 CHECK(frame_descr);
177 // Report the function name and the offset.
Timur Iskhodzhanov53627172012-02-14 19:33:04 +0000178 const char *name_end = internal_strchr(frame_descr, ' ');
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000179 CHECK(name_end);
180 buf[0] = 0;
Kostya Serebryanya4ccf872012-01-09 22:20:49 +0000181 internal_strncat(buf, frame_descr,
182 Min(kBufSize,
183 static_cast<intptr_t>(name_end - frame_descr)));
Evgeniy Stepanov739eb792012-03-21 11:32:46 +0000184 Printf("Address %p is located at offset %zu "
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000185 "in frame <%s> of T%d's stack:\n",
186 addr, offset, buf, t->tid());
187 // Report the number of stack objects.
188 char *p;
Alexey Samsonov88981022012-02-17 16:15:09 +0000189 size_t n_objects = internal_simple_strtoll(name_end, &p, 10);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000190 CHECK(n_objects > 0);
Evgeniy Stepanov739eb792012-03-21 11:32:46 +0000191 Printf(" This frame has %zu object(s):\n", n_objects);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000192 // Report all objects in this frame.
193 for (size_t i = 0; i < n_objects; i++) {
194 size_t beg, size;
195 intptr_t len;
Alexey Samsonov88981022012-02-17 16:15:09 +0000196 beg = internal_simple_strtoll(p, &p, 10);
197 size = internal_simple_strtoll(p, &p, 10);
198 len = internal_simple_strtoll(p, &p, 10);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000199 if (beg <= 0 || size <= 0 || len < 0 || *p != ' ') {
200 Printf("AddressSanitizer can't parse the stack frame descriptor: |%s|\n",
201 frame_descr);
202 break;
203 }
204 p++;
205 buf[0] = 0;
Kostya Serebryanya4ccf872012-01-09 22:20:49 +0000206 internal_strncat(buf, p, Min(kBufSize, len));
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000207 p += len;
Evgeniy Stepanov739eb792012-03-21 11:32:46 +0000208 Printf(" [%zu, %zu) '%s'\n", beg, beg + size, buf);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000209 }
210 Printf("HINT: this may be a false positive if your program uses "
211 "some custom stack unwind mechanism\n"
212 " (longjmp and C++ exceptions *are* supported)\n");
213 t->summary()->Announce();
214 return true;
215}
216
Alexey Samsonovadf2b032012-02-03 08:37:19 +0000217static NOINLINE void DescribeAddress(uintptr_t addr, uintptr_t access_size) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000218 // Check if this is a global.
219 if (DescribeAddrIfGlobal(addr))
220 return;
221
222 if (DescribeStackAddress(addr, access_size))
223 return;
224
225 // finally, check if this is a heap.
226 DescribeHeapAddress(addr, access_size);
227}
228
229// -------------------------- Run-time entry ------------------- {{{1
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000230// exported functions
Kostya Serebryany51e75c42011-12-28 00:59:39 +0000231#define ASAN_REPORT_ERROR(type, is_write, size) \
Kostya Serebryany4d9a9572012-04-06 20:19:59 +0000232extern "C" NOINLINE ASAN_INTERFACE_ATTRIBUTE \
233void __asan_report_ ## type ## size(uintptr_t addr); \
234void __asan_report_ ## type ## size(uintptr_t addr) { \
Kostya Serebryany9f311bb2012-03-15 01:36:00 +0000235 GET_CALLER_PC_BP_SP; \
Kostya Serebryany51e75c42011-12-28 00:59:39 +0000236 __asan_report_error(pc, bp, sp, addr, is_write, size); \
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000237}
238
239ASAN_REPORT_ERROR(load, false, 1)
240ASAN_REPORT_ERROR(load, false, 2)
241ASAN_REPORT_ERROR(load, false, 4)
242ASAN_REPORT_ERROR(load, false, 8)
243ASAN_REPORT_ERROR(load, false, 16)
244ASAN_REPORT_ERROR(store, true, 1)
245ASAN_REPORT_ERROR(store, true, 2)
246ASAN_REPORT_ERROR(store, true, 4)
247ASAN_REPORT_ERROR(store, true, 8)
248ASAN_REPORT_ERROR(store, true, 16)
249
250// Force the linker to keep the symbols for various ASan interface functions.
251// We want to keep those in the executable in order to let the instrumented
252// dynamic libraries access the symbol even if it is not used by the executable
253// itself. This should help if the build system is removing dead code at link
254// time.
Alexander Potapenko3fe91352012-02-27 14:06:48 +0000255static NOINLINE void force_interface_symbols() {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000256 volatile int fake_condition = 0; // prevent dead condition elimination.
257 if (fake_condition) {
Kostya Serebryanyf0977db2012-03-14 22:48:09 +0000258 __asan_report_load1(0);
259 __asan_report_load2(0);
260 __asan_report_load4(0);
261 __asan_report_load8(0);
262 __asan_report_load16(0);
263 __asan_report_store1(0);
264 __asan_report_store2(0);
265 __asan_report_store4(0);
266 __asan_report_store8(0);
267 __asan_report_store16(0);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000268 __asan_register_global(0, 0, NULL);
269 __asan_register_globals(NULL, 0);
Kostya Serebryany45581682011-12-28 23:35:46 +0000270 __asan_unregister_globals(NULL, 0);
Alexander Potapenko2f3f9622012-03-01 14:39:21 +0000271 __asan_set_death_callback(NULL);
Alexander Potapenko3fe91352012-02-27 14:06:48 +0000272 __asan_set_error_report_callback(NULL);
Alexander Potapenkodadc45d2012-03-06 11:45:59 +0000273 __asan_handle_no_return();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000274 }
275}
276
277// -------------------------- Init ------------------- {{{1
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000278static void IntFlagValue(const char *flags, const char *flag,
279 int64_t *out_val) {
280 if (!flags) return;
Kostya Serebryanya4ccf872012-01-09 22:20:49 +0000281 const char *str = internal_strstr(flags, flag);
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000282 if (!str) return;
283 *out_val = internal_atoll(str + internal_strlen(flag));
284}
285
286static void BoolFlagValue(const char *flags, const char *flag,
287 bool *out_val) {
288 if (!flags) return;
289 const char *str = internal_strstr(flags, flag);
290 if (!str) return;
291 if (!internal_atoll(str + internal_strlen(flag))) {
292 if (str[0] == '0') {
293 *out_val = false;
294 return;
295 }
296 } else {
297 *out_val = true;
298 return;
299 }
300 switch (str[0]) {
301 case 'y':
302 case 't': {
303 *out_val = true;
304 break;
305 }
306 case 'n':
307 case 'f': {
308 *out_val = false;
309 break;
310 }
311 default: return;
312 }
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000313}
314
315static void asan_atexit() {
316 Printf("AddressSanitizer exit stats:\n");
317 __asan_print_accumulated_stats();
318}
319
320void CheckFailed(const char *cond, const char *file, int line) {
Kostya Serebryanya7e760a2012-01-09 19:18:27 +0000321 Report("CHECK failed: %s at %s:%d\n", cond, file, line);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000322 PRINT_CURRENT_STACK();
323 ShowStatsAndAbort();
324}
325
326} // namespace __asan
327
Kostya Serebryany4803ab92012-01-09 18:53:15 +0000328// ---------------------- Interface ---------------- {{{1
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000329using namespace __asan; // NOLINT
330
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000331int __asan_set_error_exit_code(int exit_code) {
332 int old = FLAG_exitcode;
333 FLAG_exitcode = exit_code;
334 return old;
335}
336
Alexander Potapenkodadc45d2012-03-06 11:45:59 +0000337void NOINLINE __asan_handle_no_return() {
Kostya Serebryanyf54b1f92012-02-08 21:33:27 +0000338 int local_stack;
339 AsanThread *curr_thread = asanThreadRegistry().GetCurrent();
340 CHECK(curr_thread);
341 uintptr_t top = curr_thread->stack_top();
342 uintptr_t bottom = ((uintptr_t)&local_stack - kPageSize) & ~(kPageSize-1);
343 PoisonShadow(bottom, top - bottom, 0);
344}
345
Alexander Potapenko2f3f9622012-03-01 14:39:21 +0000346void NOINLINE __asan_set_death_callback(void (*callback)(void)) {
Kostya Serebryanye1fe0fd2012-02-13 21:24:29 +0000347 death_callback = callback;
348}
349
Alexander Potapenko3fe91352012-02-27 14:06:48 +0000350void NOINLINE __asan_set_error_report_callback(void (*callback)(const char*)) {
351 error_report_callback = callback;
352 if (callback) {
Alexander Potapenko8ca02782012-05-12 12:33:41 +0000353 error_message_buffer_size = 1 << 16;
Alexander Potapenko3fe91352012-02-27 14:06:48 +0000354 error_message_buffer =
355 (char*)AsanMmapSomewhereOrDie(error_message_buffer_size, __FUNCTION__);
356 error_message_buffer_pos = 0;
357 }
358}
359
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000360void __asan_report_error(uintptr_t pc, uintptr_t bp, uintptr_t sp,
361 uintptr_t addr, bool is_write, size_t access_size) {
362 // Do not print more than one report, otherwise they will mix up.
363 static int num_calls = 0;
364 if (AtomicInc(&num_calls) > 1) return;
365
366 Printf("=================================================================\n");
367 const char *bug_descr = "unknown-crash";
368 if (AddrIsInMem(addr)) {
369 uint8_t *shadow_addr = (uint8_t*)MemToShadow(addr);
Kostya Serebryanyacd5c612011-12-07 21:30:20 +0000370 // If we are accessing 16 bytes, look at the second shadow byte.
371 if (*shadow_addr == 0 && access_size > SHADOW_GRANULARITY)
372 shadow_addr++;
373 // If we are in the partial right redzone, look at the next shadow byte.
374 if (*shadow_addr > 0 && *shadow_addr < 128)
375 shadow_addr++;
376 switch (*shadow_addr) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000377 case kAsanHeapLeftRedzoneMagic:
378 case kAsanHeapRightRedzoneMagic:
379 bug_descr = "heap-buffer-overflow";
380 break;
381 case kAsanHeapFreeMagic:
382 bug_descr = "heap-use-after-free";
383 break;
384 case kAsanStackLeftRedzoneMagic:
385 bug_descr = "stack-buffer-underflow";
386 break;
387 case kAsanStackMidRedzoneMagic:
388 case kAsanStackRightRedzoneMagic:
389 case kAsanStackPartialRedzoneMagic:
390 bug_descr = "stack-buffer-overflow";
391 break;
392 case kAsanStackAfterReturnMagic:
393 bug_descr = "stack-use-after-return";
394 break;
395 case kAsanUserPoisonedMemoryMagic:
396 bug_descr = "use-after-poison";
397 break;
398 case kAsanGlobalRedzoneMagic:
399 bug_descr = "global-buffer-overflow";
400 break;
401 }
402 }
403
Kostya Serebryanyc4b34d92011-12-09 01:49:31 +0000404 AsanThread *curr_thread = asanThreadRegistry().GetCurrent();
405 int curr_tid = asanThreadRegistry().GetCurrentTidOrMinusOne();
406
407 if (curr_thread) {
408 // We started reporting an error message. Stop using the fake stack
409 // in case we will call an instrumented function from a symbolizer.
410 curr_thread->fake_stack().StopUsingFakeStack();
411 }
412
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000413 Report("ERROR: AddressSanitizer %s on address "
Evgeniy Stepanov739eb792012-03-21 11:32:46 +0000414 "%p at pc 0x%zx bp 0x%zx sp 0x%zx\n",
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000415 bug_descr, addr, pc, bp, sp);
416
Evgeniy Stepanov739eb792012-03-21 11:32:46 +0000417 Printf("%s of size %zu at %p thread T%d\n",
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000418 access_size ? (is_write ? "WRITE" : "READ") : "ACCESS",
Kostya Serebryanyc4b34d92011-12-09 01:49:31 +0000419 access_size, addr, curr_tid);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000420
421 if (FLAG_debug) {
422 PrintBytes("PC: ", (uintptr_t*)pc);
423 }
424
Evgeniy Stepanov9cfa1942012-01-19 11:34:18 +0000425 GET_STACK_TRACE_WITH_PC_AND_BP(kStackTraceMax, pc, bp);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000426 stack.PrintStack();
427
428 CHECK(AddrIsInMem(addr));
429
430 DescribeAddress(addr, access_size);
431
432 uintptr_t shadow_addr = MemToShadow(addr);
433 Report("ABORTING\n");
434 __asan_print_accumulated_stats();
435 Printf("Shadow byte and word:\n");
436 Printf(" %p: %x\n", shadow_addr, *(unsigned char*)shadow_addr);
437 uintptr_t aligned_shadow = shadow_addr & ~(kWordSize - 1);
438 PrintBytes(" ", (uintptr_t*)(aligned_shadow));
439 Printf("More shadow bytes:\n");
440 PrintBytes(" ", (uintptr_t*)(aligned_shadow-4*kWordSize));
441 PrintBytes(" ", (uintptr_t*)(aligned_shadow-3*kWordSize));
442 PrintBytes(" ", (uintptr_t*)(aligned_shadow-2*kWordSize));
443 PrintBytes(" ", (uintptr_t*)(aligned_shadow-1*kWordSize));
444 PrintBytes("=>", (uintptr_t*)(aligned_shadow+0*kWordSize));
445 PrintBytes(" ", (uintptr_t*)(aligned_shadow+1*kWordSize));
446 PrintBytes(" ", (uintptr_t*)(aligned_shadow+2*kWordSize));
447 PrintBytes(" ", (uintptr_t*)(aligned_shadow+3*kWordSize));
448 PrintBytes(" ", (uintptr_t*)(aligned_shadow+4*kWordSize));
Alexander Potapenko3fe91352012-02-27 14:06:48 +0000449 if (error_report_callback) {
450 error_report_callback(error_message_buffer);
451 }
Kostya Serebryany0ecf5eb2012-01-09 23:11:26 +0000452 AsanDie();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000453}
454
Alexander Potapenkofca72fd2012-05-25 15:37:16 +0000455static void ParseAsanOptions(const char *options) {
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000456 IntFlagValue(options, "malloc_context_size=",
457 (int64_t*)&FLAG_malloc_context_size);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000458 CHECK(FLAG_malloc_context_size <= kMallocContextSize);
459
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000460 IntFlagValue(options, "max_malloc_fill_size=",
461 (int64_t*)&FLAG_max_malloc_fill_size);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000462
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000463 IntFlagValue(options, "verbosity=", &FLAG_v);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000464
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000465 IntFlagValue(options, "redzone=", (int64_t*)&FLAG_redzone);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000466 CHECK(FLAG_redzone >= 32);
467 CHECK((FLAG_redzone & (FLAG_redzone - 1)) == 0);
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000468 IntFlagValue(options, "quarantine_size=", (int64_t*)&FLAG_quarantine_size);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000469
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000470 IntFlagValue(options, "atexit=", &FLAG_atexit);
471 BoolFlagValue(options, "poison_shadow=", &FLAG_poison_shadow);
472 IntFlagValue(options, "report_globals=", &FLAG_report_globals);
473 BoolFlagValue(options, "handle_segv=", &FLAG_handle_segv);
474 BoolFlagValue(options, "use_sigaltstack=", &FLAG_use_sigaltstack);
475 BoolFlagValue(options, "symbolize=", &FLAG_symbolize);
476 IntFlagValue(options, "demangle=", &FLAG_demangle);
477 IntFlagValue(options, "debug=", &FLAG_debug);
478 BoolFlagValue(options, "replace_cfallocator=", &FLAG_replace_cfallocator);
479 BoolFlagValue(options, "replace_str=", &FLAG_replace_str);
480 BoolFlagValue(options, "replace_intrin=", &FLAG_replace_intrin);
481 BoolFlagValue(options, "use_fake_stack=", &FLAG_use_fake_stack);
482 IntFlagValue(options, "exitcode=", &FLAG_exitcode);
483 BoolFlagValue(options, "allow_user_poisoning=", &FLAG_allow_user_poisoning);
484 IntFlagValue(options, "sleep_before_dying=", &FLAG_sleep_before_dying);
485 BoolFlagValue(options, "abort_on_error=", &FLAG_abort_on_error);
486 BoolFlagValue(options, "unmap_shadow_on_exit=", &FLAG_unmap_shadow_on_exit);
Kostya Serebryanyf8e6fee2012-04-06 01:27:11 +0000487 // By default, disable core dumper on 64-bit --
488 // it makes little sense to dump 16T+ core.
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000489 BoolFlagValue(options, "disable_core=", &FLAG_disable_core);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000490
Alexander Potapenko37931232012-05-25 15:20:13 +0000491 // Allow the users to work around the bug in Nvidia drivers prior to 295.*.
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000492 BoolFlagValue(options, "check_malloc_usable_size=",
493 &FLAG_check_malloc_usable_size);
Alexander Potapenkofca72fd2012-05-25 15:37:16 +0000494}
495
496void __asan_init() {
497 if (asan_inited) return;
498 asan_init_is_running = true;
499
500 // Make sure we are not statically linked.
501 AsanDoesNotSupportStaticLinkage();
502
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000503 if (__asan_default_options) {
504 Report("Using the defaults from __asan_default_options: %s\n",
505 __asan_default_options);
506 ParseAsanOptions(__asan_default_options);
507 }
Alexander Potapenkofca72fd2012-05-25 15:37:16 +0000508 // flags
509 const char *options = AsanGetEnv("ASAN_OPTIONS");
Alexander Potapenkof2981f32012-05-25 15:56:40 +0000510 ParseAsanOptions(options);
Alexander Potapenkofeb47932012-03-16 16:38:31 +0000511
Alexander Potapenko62f10e72012-05-28 16:21:19 +0000512 if (FLAG_v && options) {
Alexander Potapenkofeb47932012-03-16 16:38:31 +0000513 Report("Parsed ASAN_OPTIONS: %s\n", options);
514 }
515
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000516 if (FLAG_atexit) {
Alexey Samsonovb823e3c2012-02-22 14:07:06 +0000517 Atexit(asan_atexit);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000518 }
519
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000520 // interceptors
521 InitializeAsanInterceptors();
522
523 ReplaceSystemMalloc();
Alexey Samsonov4d5f98d2012-04-06 08:21:08 +0000524 ReplaceOperatorsNewAndDelete();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000525
526 if (FLAG_v) {
527 Printf("|| `[%p, %p]` || HighMem ||\n", kHighMemBeg, kHighMemEnd);
528 Printf("|| `[%p, %p]` || HighShadow ||\n",
529 kHighShadowBeg, kHighShadowEnd);
530 Printf("|| `[%p, %p]` || ShadowGap ||\n",
531 kShadowGapBeg, kShadowGapEnd);
532 Printf("|| `[%p, %p]` || LowShadow ||\n",
533 kLowShadowBeg, kLowShadowEnd);
534 Printf("|| `[%p, %p]` || LowMem ||\n", kLowMemBeg, kLowMemEnd);
535 Printf("MemToShadow(shadow): %p %p %p %p\n",
536 MEM_TO_SHADOW(kLowShadowBeg),
537 MEM_TO_SHADOW(kLowShadowEnd),
538 MEM_TO_SHADOW(kHighShadowBeg),
539 MEM_TO_SHADOW(kHighShadowEnd));
Evgeniy Stepanov739eb792012-03-21 11:32:46 +0000540 Printf("red_zone=%zu\n", (size_t)FLAG_redzone);
541 Printf("malloc_context_size=%zu\n", (size_t)FLAG_malloc_context_size);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000542
Evgeniy Stepanov739eb792012-03-21 11:32:46 +0000543 Printf("SHADOW_SCALE: %zx\n", (size_t)SHADOW_SCALE);
544 Printf("SHADOW_GRANULARITY: %zx\n", (size_t)SHADOW_GRANULARITY);
545 Printf("SHADOW_OFFSET: %zx\n", (size_t)SHADOW_OFFSET);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000546 CHECK(SHADOW_SCALE >= 3 && SHADOW_SCALE <= 7);
547 }
548
Kostya Serebryanyf8e6fee2012-04-06 01:27:11 +0000549 if (FLAG_disable_core) {
Kostya Serebryanyef14ff62012-01-06 02:12:25 +0000550 AsanDisableCoreDumper();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000551 }
552
Alexander Potapenkoc50e8352012-02-13 15:11:23 +0000553 if (AsanShadowRangeIsAvailable()) {
Kostya Serebryanya7e760a2012-01-09 19:18:27 +0000554 if (kLowShadowBeg != kLowShadowEnd) {
Timur Iskhodzhanov3e81fe42012-02-09 17:20:14 +0000555 // mmap the low shadow plus at least one page.
556 ReserveShadowMemoryRange(kLowShadowBeg - kMmapGranularity, kLowShadowEnd);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000557 }
Kostya Serebryanya7e760a2012-01-09 19:18:27 +0000558 // mmap the high shadow.
559 ReserveShadowMemoryRange(kHighShadowBeg, kHighShadowEnd);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000560 // protect the gap
Kostya Serebryanya874fe52011-12-28 23:28:54 +0000561 void *prot = AsanMprotect(kShadowGapBeg, kShadowGapEnd - kShadowGapBeg + 1);
562 CHECK(prot == (void*)kShadowGapBeg);
Alexander Potapenkoc50e8352012-02-13 15:11:23 +0000563 } else {
564 Report("Shadow memory range interleaves with an existing memory mapping. "
565 "ASan cannot proceed correctly. ABORTING.\n");
Alexander Potapenko99d17eb2012-02-22 09:11:55 +0000566 AsanDumpProcessMap();
Alexander Potapenkoc50e8352012-02-13 15:11:23 +0000567 AsanDie();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000568 }
569
Alexander Potapenkof03d8af2012-04-05 10:54:52 +0000570 InstallSignalHandlers();
571
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000572 // On Linux AsanThread::ThreadStart() calls malloc() that's why asan_inited
573 // should be set to 1 prior to initializing the threads.
574 asan_inited = 1;
575 asan_init_is_running = false;
576
577 asanThreadRegistry().Init();
578 asanThreadRegistry().GetMain()->ThreadStart();
Kostya Serebryany51e75c42011-12-28 00:59:39 +0000579 force_interface_symbols(); // no-op.
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000580
581 if (FLAG_v) {
Kostya Serebryanyd6567c52011-12-01 21:40:52 +0000582 Report("AddressSanitizer Init done\n");
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000583 }
584}
Evgeniy Stepanov8bcc6b92012-01-11 08:17:19 +0000585
586#if defined(ASAN_USE_PREINIT_ARRAY)
Timur Iskhodzhanov38ed7362012-02-21 16:24:23 +0000587 // On Linux, we force __asan_init to be called before anyone else
588 // by placing it into .preinit_array section.
589 // FIXME: do we have anything like this on Mac?
590 __attribute__((section(".preinit_array")))
591 typeof(__asan_init) *__asan_preinit =__asan_init;
592#elif defined(_WIN32) && defined(_DLL)
593 // On Windows, when using dynamic CRT (/MD), we can put a pointer
594 // to __asan_init into the global list of C initializers.
595 // See crt0dat.c in the CRT sources for the details.
Timur Iskhodzhanov39c22ee2012-02-22 09:28:14 +0000596 #pragma section(".CRT$XIB", long, read) // NOLINT
Timur Iskhodzhanov38ed7362012-02-21 16:24:23 +0000597 __declspec(allocate(".CRT$XIB")) void (*__asan_preinit)() = __asan_init;
Evgeniy Stepanov8bcc6b92012-01-11 08:17:19 +0000598#endif