2012-06-04 21:50:10 +08:00
|
|
|
//===-- asan_rtl.cc -------------------------------------------------------===//
|
2011-11-30 09:07:02 +08:00
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file is a part of AddressSanitizer, an address sanity checker.
|
|
|
|
//
|
|
|
|
// Main file of the ASan run-time library.
|
|
|
|
//===----------------------------------------------------------------------===//
|
2014-01-16 20:31:50 +08:00
|
|
|
#include "asan_activation.h"
|
2011-11-30 09:07:02 +08:00
|
|
|
#include "asan_allocator.h"
|
|
|
|
#include "asan_interceptors.h"
|
2013-09-18 18:35:12 +08:00
|
|
|
#include "asan_interface_internal.h"
|
2011-11-30 09:07:02 +08:00
|
|
|
#include "asan_internal.h"
|
|
|
|
#include "asan_mapping.h"
|
2013-03-28 23:42:43 +08:00
|
|
|
#include "asan_poisoning.h"
|
2012-08-09 17:06:52 +08:00
|
|
|
#include "asan_report.h"
|
2011-11-30 09:07:02 +08:00
|
|
|
#include "asan_stack.h"
|
|
|
|
#include "asan_stats.h"
|
|
|
|
#include "asan_thread.h"
|
2012-06-30 00:58:33 +08:00
|
|
|
#include "sanitizer_common/sanitizer_atomic.h"
|
2012-07-09 22:36:04 +08:00
|
|
|
#include "sanitizer_common/sanitizer_flags.h"
|
2012-06-05 15:25:47 +08:00
|
|
|
#include "sanitizer_common/sanitizer_libc.h"
|
2012-08-23 15:32:06 +08:00
|
|
|
#include "sanitizer_common/sanitizer_symbolizer.h"
|
2013-05-21 22:15:35 +08:00
|
|
|
#include "lsan/lsan_common.h"
|
2011-11-30 09:07:02 +08:00
|
|
|
|
2013-09-18 18:35:12 +08:00
|
|
|
int __asan_option_detect_stack_use_after_return; // Global interface symbol.
|
2014-04-16 21:52:28 +08:00
|
|
|
uptr *__asan_test_only_reported_buggy_pointer; // Used only for testing asan.
|
2013-09-18 18:35:12 +08:00
|
|
|
|
2012-09-11 17:44:48 +08:00
|
|
|
namespace __asan {
|
2012-06-06 15:02:44 +08:00
|
|
|
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
uptr AsanMappingProfile[kAsanMappingProfileSize];
|
|
|
|
|
2012-09-11 17:44:48 +08:00
|
|
|
static void AsanDie() {
|
2012-06-30 00:58:33 +08:00
|
|
|
static atomic_uint32_t num_calls;
|
|
|
|
if (atomic_fetch_add(&num_calls, 1, memory_order_relaxed) != 0) {
|
2012-06-06 15:02:44 +08:00
|
|
|
// Don't die twice - run a busy loop.
|
|
|
|
while (1) { }
|
|
|
|
}
|
2012-07-09 22:36:04 +08:00
|
|
|
if (flags()->sleep_before_dying) {
|
2012-08-06 21:00:21 +08:00
|
|
|
Report("Sleeping for %d second(s)\n", flags()->sleep_before_dying);
|
2012-07-09 22:36:04 +08:00
|
|
|
SleepForSeconds(flags()->sleep_before_dying);
|
2012-06-06 15:02:44 +08:00
|
|
|
}
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
if (flags()->unmap_shadow_on_exit) {
|
|
|
|
if (kMidMemBeg) {
|
|
|
|
UnmapOrDie((void*)kLowShadowBeg, kMidMemBeg - kLowShadowBeg);
|
|
|
|
UnmapOrDie((void*)kMidMemEnd, kHighShadowEnd - kMidMemEnd);
|
|
|
|
} else {
|
|
|
|
UnmapOrDie((void*)kLowShadowBeg, kHighShadowEnd - kLowShadowBeg);
|
|
|
|
}
|
|
|
|
}
|
2014-05-12 22:27:36 +08:00
|
|
|
if (common_flags()->coverage)
|
2013-11-29 22:49:32 +08:00
|
|
|
__sanitizer_cov_dump();
|
2012-06-06 15:02:44 +08:00
|
|
|
if (death_callback)
|
|
|
|
death_callback();
|
2012-07-09 22:36:04 +08:00
|
|
|
if (flags()->abort_on_error)
|
2012-06-06 15:02:44 +08:00
|
|
|
Abort();
|
2013-02-20 21:54:32 +08:00
|
|
|
internal__exit(flags()->exitcode);
|
2012-06-06 15:02:44 +08:00
|
|
|
}
|
|
|
|
|
2012-09-11 17:44:48 +08:00
|
|
|
static void AsanCheckFailed(const char *file, int line, const char *cond,
|
|
|
|
u64 v1, u64 v2) {
|
2013-12-05 20:04:51 +08:00
|
|
|
Report("AddressSanitizer CHECK failed: %s:%d \"%s\" (0x%zx, 0x%zx)\n", file,
|
|
|
|
line, cond, (uptr)v1, (uptr)v2);
|
2012-09-07 23:50:19 +08:00
|
|
|
// FIXME: check for infinite recursion without a thread-local counter here.
|
2012-06-06 23:22:20 +08:00
|
|
|
PRINT_CURRENT_STACK();
|
2012-12-13 19:09:26 +08:00
|
|
|
Die();
|
2012-06-06 23:22:20 +08:00
|
|
|
}
|
|
|
|
|
2011-11-30 09:07:02 +08:00
|
|
|
// -------------------------- Flags ------------------------- {{{1
|
2013-04-16 22:58:45 +08:00
|
|
|
static const int kDefaultMallocContextSize = 30;
|
2012-05-29 00:21:19 +08:00
|
|
|
|
2013-04-12 02:36:04 +08:00
|
|
|
Flags asan_flags_dont_use_directly; // use via flags().
|
2012-07-09 22:36:04 +08:00
|
|
|
|
2012-12-08 06:01:28 +08:00
|
|
|
static const char *MaybeCallAsanDefaultOptions() {
|
|
|
|
return (&__asan_default_options) ? __asan_default_options() : "";
|
|
|
|
}
|
|
|
|
|
2014-05-15 10:22:34 +08:00
|
|
|
static const char *MaybeUseAsanDefaultOptionsCompileDefinition() {
|
2013-02-19 21:14:48 +08:00
|
|
|
#ifdef ASAN_DEFAULT_OPTIONS
|
|
|
|
// Stringize the macro value.
|
|
|
|
# define ASAN_STRINGIZE(x) #x
|
|
|
|
# define ASAN_STRINGIZE_OPTIONS(options) ASAN_STRINGIZE(options)
|
|
|
|
return ASAN_STRINGIZE_OPTIONS(ASAN_DEFAULT_OPTIONS);
|
|
|
|
#else
|
|
|
|
return "";
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2012-07-09 22:36:04 +08:00
|
|
|
static void ParseFlagsFromString(Flags *f, const char *str) {
|
2013-11-27 17:54:10 +08:00
|
|
|
CommonFlags *cf = common_flags();
|
|
|
|
ParseCommonFlagsFromString(cf, str);
|
|
|
|
CHECK((uptr)cf->malloc_context_size <= kStackTraceMax);
|
2014-03-21 16:37:59 +08:00
|
|
|
// Please write meaningful flag descriptions when adding new flags.
|
|
|
|
ParseFlag(str, &f->quarantine_size, "quarantine_size",
|
|
|
|
"Size (in bytes) of quarantine used to detect use-after-free "
|
|
|
|
"errors. Lower value may reduce memory usage but increase the "
|
|
|
|
"chance of false negatives.");
|
|
|
|
ParseFlag(str, &f->redzone, "redzone",
|
|
|
|
"Minimal size (in bytes) of redzones around heap objects. "
|
|
|
|
"Requirement: redzone >= 16, is a power of two.");
|
|
|
|
ParseFlag(str, &f->max_redzone, "max_redzone",
|
|
|
|
"Maximal size (in bytes) of redzones around heap objects.");
|
2013-04-05 22:40:25 +08:00
|
|
|
CHECK_GE(f->redzone, 16);
|
2014-01-09 22:41:03 +08:00
|
|
|
CHECK_GE(f->max_redzone, f->redzone);
|
|
|
|
CHECK_LE(f->max_redzone, 2048);
|
2012-07-09 22:36:04 +08:00
|
|
|
CHECK(IsPowerOfTwo(f->redzone));
|
2014-01-09 22:41:03 +08:00
|
|
|
CHECK(IsPowerOfTwo(f->max_redzone));
|
2012-07-09 22:36:04 +08:00
|
|
|
|
2014-03-21 16:37:59 +08:00
|
|
|
ParseFlag(str, &f->debug, "debug",
|
|
|
|
"If set, prints some debugging information and does additional checks.");
|
|
|
|
ParseFlag(str, &f->report_globals, "report_globals",
|
|
|
|
"Controls the way to handle globals (0 - don't detect buffer overflow on "
|
|
|
|
"globals, 1 - detect buffer overflow, 2 - print data about registered "
|
|
|
|
"globals).");
|
|
|
|
|
2014-03-20 20:52:52 +08:00
|
|
|
ParseFlag(str, &f->check_initialization_order,
|
2014-03-21 16:37:59 +08:00
|
|
|
"check_initialization_order",
|
|
|
|
"If set, attempts to catch initialization order issues.");
|
2012-07-09 22:36:04 +08:00
|
|
|
|
2014-03-21 16:37:59 +08:00
|
|
|
ParseFlag(str, &f->replace_str, "replace_str",
|
|
|
|
"If set, uses custom wrappers and replacements for libc string functions "
|
|
|
|
"to find more errors.");
|
|
|
|
|
|
|
|
ParseFlag(str, &f->replace_intrin, "replace_intrin",
|
|
|
|
"If set, uses custom wrappers for memset/memcpy/memmove intinsics.");
|
|
|
|
ParseFlag(str, &f->mac_ignore_invalid_free, "mac_ignore_invalid_free",
|
|
|
|
"Ignore invalid free() calls to work around some bugs. Used on OS X "
|
|
|
|
"only.");
|
2013-09-18 18:35:12 +08:00
|
|
|
ParseFlag(str, &f->detect_stack_use_after_return,
|
2014-03-21 16:37:59 +08:00
|
|
|
"detect_stack_use_after_return",
|
|
|
|
"Enables stack-use-after-return checking at run-time.");
|
|
|
|
ParseFlag(str, &f->min_uar_stack_size_log, "min_uar_stack_size_log",
|
|
|
|
"Minimum fake stack size log.");
|
|
|
|
ParseFlag(str, &f->max_uar_stack_size_log, "max_uar_stack_size_log",
|
|
|
|
"Maximum fake stack size log.");
|
|
|
|
ParseFlag(str, &f->uar_noreserve, "uar_noreserve",
|
|
|
|
"Use mmap with 'norserve' flag to allocate fake stack.");
|
|
|
|
ParseFlag(str, &f->max_malloc_fill_size, "max_malloc_fill_size",
|
|
|
|
"ASan allocator flag. max_malloc_fill_size is the maximal amount of "
|
|
|
|
"bytes that will be filled with malloc_fill_byte on malloc.");
|
|
|
|
ParseFlag(str, &f->malloc_fill_byte, "malloc_fill_byte",
|
|
|
|
"Value used to fill the newly allocated memory.");
|
|
|
|
ParseFlag(str, &f->exitcode, "exitcode",
|
|
|
|
"Override the program exit status if the tool found an error.");
|
|
|
|
ParseFlag(str, &f->allow_user_poisoning, "allow_user_poisoning",
|
|
|
|
"If set, user may manually mark memory regions as poisoned or "
|
|
|
|
"unpoisoned.");
|
|
|
|
ParseFlag(str, &f->sleep_before_dying, "sleep_before_dying",
|
|
|
|
"Number of seconds to sleep between printing an error report and "
|
|
|
|
"terminating the program. Useful for debugging purposes (e.g. when one "
|
|
|
|
"needs to attach gdb).");
|
|
|
|
|
|
|
|
ParseFlag(str, &f->check_malloc_usable_size, "check_malloc_usable_size",
|
|
|
|
"Allows the users to work around the bug in Nvidia drivers prior to "
|
|
|
|
"295.*.");
|
|
|
|
|
|
|
|
ParseFlag(str, &f->unmap_shadow_on_exit, "unmap_shadow_on_exit",
|
|
|
|
"If set, explicitly unmaps the (huge) shadow at exit.");
|
|
|
|
ParseFlag(str, &f->abort_on_error, "abort_on_error",
|
|
|
|
"If set, the tool calls abort() instead of _exit() after printing the "
|
|
|
|
"error report.");
|
|
|
|
ParseFlag(str, &f->print_stats, "print_stats",
|
|
|
|
"Print various statistics after printing an error message or if "
|
|
|
|
"atexit=1.");
|
|
|
|
ParseFlag(str, &f->print_legend, "print_legend",
|
|
|
|
"Print the legend for the shadow bytes.");
|
|
|
|
ParseFlag(str, &f->atexit, "atexit",
|
|
|
|
"If set, prints ASan exit stats even after program terminates "
|
|
|
|
"successfully.");
|
|
|
|
|
|
|
|
ParseFlag(str, &f->disable_core, "disable_core",
|
|
|
|
"Disable core dumping. By default, disable_core=1 on 64-bit to avoid "
|
2014-05-06 16:21:50 +08:00
|
|
|
"dumping a 16T+ core file. "
|
|
|
|
"Ignored on OSes that don't dump core by default.");
|
2014-03-21 16:37:59 +08:00
|
|
|
|
|
|
|
ParseFlag(str, &f->allow_reexec, "allow_reexec",
|
|
|
|
"Allow the tool to re-exec the program. This may interfere badly with "
|
|
|
|
"the debugger.");
|
|
|
|
|
2014-03-20 20:52:52 +08:00
|
|
|
ParseFlag(str, &f->print_full_thread_history,
|
2014-03-21 16:37:59 +08:00
|
|
|
"print_full_thread_history",
|
|
|
|
"If set, prints thread creation stacks for the threads involved in the "
|
|
|
|
"report and their ancestors up to the main thread.");
|
|
|
|
|
|
|
|
ParseFlag(str, &f->poison_heap, "poison_heap",
|
|
|
|
"Poison (or not) the heap memory on [de]allocation. Zero value is useful "
|
|
|
|
"for benchmarking the allocator or instrumentator.");
|
|
|
|
|
|
|
|
ParseFlag(str, &f->poison_partial, "poison_partial",
|
|
|
|
"If true, poison partially addressable 8-byte aligned words "
|
|
|
|
"(default=true). This flag affects heap and global buffers, but not "
|
|
|
|
"stack buffers.");
|
|
|
|
|
|
|
|
ParseFlag(str, &f->alloc_dealloc_mismatch, "alloc_dealloc_mismatch",
|
|
|
|
"Report errors on malloc/delete, new/free, new/delete[], etc.");
|
2014-07-30 17:48:23 +08:00
|
|
|
|
|
|
|
ParseFlag(str, &f->new_delete_size_mismatch, "new_delete_size_mismatch",
|
|
|
|
"Report errors on mismatch betwen size of new and delete.");
|
|
|
|
|
2014-03-21 16:37:59 +08:00
|
|
|
ParseFlag(str, &f->strict_memcmp, "strict_memcmp",
|
|
|
|
"If true, assume that memcmp(p1, p2, n) always reads n bytes before "
|
|
|
|
"comparing p1 and p2.");
|
|
|
|
|
|
|
|
ParseFlag(str, &f->strict_init_order, "strict_init_order",
|
|
|
|
"If true, assume that dynamic initializers can never access globals from "
|
|
|
|
"other modules, even if the latter are already initialized.");
|
|
|
|
|
|
|
|
ParseFlag(str, &f->start_deactivated, "start_deactivated",
|
|
|
|
"If true, ASan tweaks a bunch of other flags (quarantine, redzone, heap "
|
|
|
|
"poisoning) to reduce memory consumption as much as possible, and "
|
|
|
|
"restores them to original values when the first instrumented module is "
|
|
|
|
"loaded into the process. This is mainly intended to be used on "
|
|
|
|
"Android. ");
|
|
|
|
|
2014-02-27 20:45:36 +08:00
|
|
|
ParseFlag(str, &f->detect_invalid_pointer_pairs,
|
2014-03-21 16:37:59 +08:00
|
|
|
"detect_invalid_pointer_pairs",
|
|
|
|
"If non-zero, try to detect operations like <, <=, >, >= and - on "
|
|
|
|
"invalid pointer pairs (e.g. when pointers belong to different objects). "
|
|
|
|
"The bigger the value the harder we try.");
|
2014-04-21 22:18:45 +08:00
|
|
|
|
|
|
|
ParseFlag(str, &f->detect_container_overflow,
|
|
|
|
"detect_container_overflow",
|
|
|
|
"If true, honor the container overflow annotations. "
|
|
|
|
"See https://code.google.com/p/address-sanitizer/wiki/ContainerOverflow");
|
2014-04-25 16:58:28 +08:00
|
|
|
|
2014-04-28 20:47:58 +08:00
|
|
|
ParseFlag(str, &f->detect_odr_violation, "detect_odr_violation",
|
|
|
|
"If >=2, detect violation of One-Definition-Rule (ODR); "
|
|
|
|
"If ==1, detect ODR-violation only if the two variables "
|
|
|
|
"have different sizes");
|
2012-07-09 22:36:04 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void InitializeFlags(Flags *f, const char *env) {
|
2013-05-06 19:27:58 +08:00
|
|
|
CommonFlags *cf = common_flags();
|
2013-11-27 17:54:10 +08:00
|
|
|
SetCommonFlagsDefaults(cf);
|
2014-05-12 20:49:48 +08:00
|
|
|
cf->detect_leaks = CAN_SANITIZE_LEAKS;
|
2013-05-06 19:27:58 +08:00
|
|
|
cf->external_symbolizer_path = GetEnv("ASAN_SYMBOLIZER_PATH");
|
|
|
|
cf->malloc_context_size = kDefaultMallocContextSize;
|
2014-04-04 17:10:58 +08:00
|
|
|
cf->intercept_tls_get_addr = true;
|
2014-05-12 22:27:36 +08:00
|
|
|
cf->coverage = false;
|
2012-07-09 22:36:04 +08:00
|
|
|
|
2013-05-06 19:27:58 +08:00
|
|
|
internal_memset(f, 0, sizeof(*f));
|
2012-09-07 20:13:52 +08:00
|
|
|
f->quarantine_size = (ASAN_LOW_MEMORY) ? 1UL << 26 : 1UL << 28;
|
2013-04-04 19:32:49 +08:00
|
|
|
f->redzone = 16;
|
2014-01-09 22:41:03 +08:00
|
|
|
f->max_redzone = 2048;
|
2012-07-10 15:41:27 +08:00
|
|
|
f->debug = false;
|
2012-07-09 22:36:04 +08:00
|
|
|
f->report_globals = 1;
|
2013-11-06 12:27:09 +08:00
|
|
|
f->check_initialization_order = false;
|
2012-07-09 22:36:04 +08:00
|
|
|
f->replace_str = true;
|
|
|
|
f->replace_intrin = true;
|
2012-07-10 15:41:27 +08:00
|
|
|
f->mac_ignore_invalid_free = false;
|
2013-09-23 16:58:14 +08:00
|
|
|
f->detect_stack_use_after_return = false; // Also needs the compiler flag.
|
2013-12-16 16:42:08 +08:00
|
|
|
f->min_uar_stack_size_log = 16; // We can't do smaller anyway.
|
|
|
|
f->max_uar_stack_size_log = 20; // 1Mb per size class, i.e. ~11Mb per thread.
|
2013-12-13 23:03:49 +08:00
|
|
|
f->uar_noreserve = false;
|
2013-04-04 19:17:14 +08:00
|
|
|
f->max_malloc_fill_size = 0x1000; // By default, fill only the first 4K.
|
|
|
|
f->malloc_fill_byte = 0xbe;
|
2012-07-09 22:36:04 +08:00
|
|
|
f->exitcode = ASAN_DEFAULT_FAILURE_EXITCODE;
|
|
|
|
f->allow_user_poisoning = true;
|
|
|
|
f->sleep_before_dying = 0;
|
|
|
|
f->check_malloc_usable_size = true;
|
|
|
|
f->unmap_shadow_on_exit = false;
|
|
|
|
f->abort_on_error = false;
|
2013-01-28 15:34:22 +08:00
|
|
|
f->print_stats = false;
|
|
|
|
f->print_legend = true;
|
2012-07-09 22:36:04 +08:00
|
|
|
f->atexit = false;
|
2012-11-21 20:38:58 +08:00
|
|
|
f->disable_core = (SANITIZER_WORDSIZE == 64);
|
2012-08-24 17:22:05 +08:00
|
|
|
f->allow_reexec = true;
|
2012-09-05 15:37:15 +08:00
|
|
|
f->print_full_thread_history = true;
|
2012-12-20 19:54:21 +08:00
|
|
|
f->poison_heap = true;
|
2013-10-16 21:49:01 +08:00
|
|
|
f->poison_partial = true;
|
2013-08-16 19:04:59 +08:00
|
|
|
// Turn off alloc/dealloc mismatch checker on Mac and Windows for now.
|
2014-05-12 23:06:59 +08:00
|
|
|
// https://code.google.com/p/address-sanitizer/issues/detail?id=131
|
|
|
|
// https://code.google.com/p/address-sanitizer/issues/detail?id=309
|
2013-08-16 19:04:59 +08:00
|
|
|
// TODO(glider,timurrrr): Fix known issues and enable this back.
|
|
|
|
f->alloc_dealloc_mismatch = (SANITIZER_MAC == 0) && (SANITIZER_WINDOWS == 0);
|
2014-07-30 17:48:23 +08:00
|
|
|
f->new_delete_size_mismatch = true;
|
2013-02-28 22:09:30 +08:00
|
|
|
f->strict_memcmp = true;
|
2013-04-19 16:35:16 +08:00
|
|
|
f->strict_init_order = false;
|
2014-01-16 20:31:50 +08:00
|
|
|
f->start_deactivated = false;
|
2014-02-27 20:45:36 +08:00
|
|
|
f->detect_invalid_pointer_pairs = 0;
|
2014-04-21 22:18:45 +08:00
|
|
|
f->detect_container_overflow = true;
|
2014-06-03 23:06:13 +08:00
|
|
|
f->detect_odr_violation = 2;
|
2012-07-09 22:36:04 +08:00
|
|
|
|
2013-02-19 21:14:48 +08:00
|
|
|
// Override from compile definition.
|
2014-05-15 10:22:34 +08:00
|
|
|
ParseFlagsFromString(f, MaybeUseAsanDefaultOptionsCompileDefinition());
|
2013-02-19 21:14:48 +08:00
|
|
|
|
2012-07-09 22:36:04 +08:00
|
|
|
// Override from user-specified string.
|
2012-12-08 06:01:28 +08:00
|
|
|
ParseFlagsFromString(f, MaybeCallAsanDefaultOptions());
|
2013-12-05 20:04:51 +08:00
|
|
|
VReport(1, "Using the defaults from __asan_default_options: %s\n",
|
|
|
|
MaybeCallAsanDefaultOptions());
|
2012-07-09 22:36:04 +08:00
|
|
|
|
|
|
|
// Override from command line.
|
|
|
|
ParseFlagsFromString(f, env);
|
2014-03-20 20:52:52 +08:00
|
|
|
if (common_flags()->help) {
|
|
|
|
PrintFlagDescriptions();
|
|
|
|
}
|
2013-05-21 22:15:35 +08:00
|
|
|
|
2014-04-22 21:56:56 +08:00
|
|
|
if (!CAN_SANITIZE_LEAKS && cf->detect_leaks) {
|
2013-05-21 22:15:35 +08:00
|
|
|
Report("%s: detect_leaks is not supported on this platform.\n",
|
|
|
|
SanitizerToolName);
|
2013-07-22 20:38:17 +08:00
|
|
|
cf->detect_leaks = false;
|
2013-05-21 22:15:35 +08:00
|
|
|
}
|
2013-11-06 12:27:09 +08:00
|
|
|
|
|
|
|
// Make "strict_init_order" imply "check_initialization_order".
|
|
|
|
// TODO(samsonov): Use a single runtime flag for an init-order checker.
|
|
|
|
if (f->strict_init_order) {
|
|
|
|
f->check_initialization_order = true;
|
|
|
|
}
|
2012-07-09 22:36:04 +08:00
|
|
|
}
|
2011-11-30 09:07:02 +08:00
|
|
|
|
2014-01-31 22:36:55 +08:00
|
|
|
// Parse flags that may change between startup and activation.
|
|
|
|
// On Android they come from a system property.
|
|
|
|
// On other platforms this is no-op.
|
|
|
|
void ParseExtraActivationFlags() {
|
|
|
|
char buf[100];
|
|
|
|
GetExtraActivationFlags(buf, sizeof(buf));
|
|
|
|
ParseFlagsFromString(flags(), buf);
|
|
|
|
if (buf[0] != '\0')
|
|
|
|
VReport(1, "Extra activation flags: %s\n", buf);
|
|
|
|
}
|
|
|
|
|
2011-11-30 09:07:02 +08:00
|
|
|
// -------------------------- Globals --------------------- {{{1
|
|
|
|
int asan_inited;
|
|
|
|
bool asan_init_is_running;
|
2012-06-06 15:02:44 +08:00
|
|
|
void (*death_callback)(void);
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
|
|
|
|
#if !ASAN_FIXED_MAPPING
|
|
|
|
uptr kHighMemEnd, kMidMemBeg, kMidMemEnd;
|
|
|
|
#endif
|
2011-11-30 09:07:02 +08:00
|
|
|
|
|
|
|
// -------------------------- Misc ---------------- {{{1
|
|
|
|
void ShowStatsAndAbort() {
|
|
|
|
__asan_print_accumulated_stats();
|
2012-06-06 15:02:44 +08:00
|
|
|
Die();
|
2011-11-30 09:07:02 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// ---------------------- mmap -------------------- {{{1
|
2011-12-29 07:28:54 +08:00
|
|
|
// Reserve memory range [beg, end].
|
2012-05-31 22:35:53 +08:00
|
|
|
static void ReserveShadowMemoryRange(uptr beg, uptr end) {
|
2013-04-05 22:40:25 +08:00
|
|
|
CHECK_EQ((beg % GetPageSizeCached()), 0);
|
|
|
|
CHECK_EQ(((end + 1) % GetPageSizeCached()), 0);
|
2012-05-31 22:35:53 +08:00
|
|
|
uptr size = end - beg + 1;
|
2014-04-14 22:51:01 +08:00
|
|
|
DecreaseTotalMmap(size); // Don't count the shadow against mmap_limit_mb.
|
2012-06-14 22:42:58 +08:00
|
|
|
void *res = MmapFixedNoReserve(beg, size);
|
2012-09-07 23:34:40 +08:00
|
|
|
if (res != (void*)beg) {
|
|
|
|
Report("ReserveShadowMemoryRange failed while trying to map 0x%zx bytes. "
|
|
|
|
"Perhaps you're using ulimit -v\n", size);
|
|
|
|
Abort();
|
|
|
|
}
|
2011-11-30 09:07:02 +08:00
|
|
|
}
|
|
|
|
|
2012-08-27 17:30:58 +08:00
|
|
|
// --------------- LowLevelAllocateCallbac ---------- {{{1
|
|
|
|
static void OnLowLevelAllocate(uptr ptr, uptr size) {
|
|
|
|
PoisonShadow(ptr, size, kAsanInternalHeapMagic);
|
2011-12-03 05:02:20 +08:00
|
|
|
}
|
|
|
|
|
2011-11-30 09:07:02 +08:00
|
|
|
// -------------------------- Run-time entry ------------------- {{{1
|
|
|
|
// exported functions
|
2011-12-28 08:59:39 +08:00
|
|
|
#define ASAN_REPORT_ERROR(type, is_write, size) \
|
2012-06-05 21:50:57 +08:00
|
|
|
extern "C" NOINLINE INTERFACE_ATTRIBUTE \
|
2012-05-31 22:35:53 +08:00
|
|
|
void __asan_report_ ## type ## size(uptr addr); \
|
|
|
|
void __asan_report_ ## type ## size(uptr addr) { \
|
2012-03-15 09:36:00 +08:00
|
|
|
GET_CALLER_PC_BP_SP; \
|
2011-12-28 08:59:39 +08:00
|
|
|
__asan_report_error(pc, bp, sp, addr, is_write, size); \
|
2011-11-30 09:07:02 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
ASAN_REPORT_ERROR(load, false, 1)
|
|
|
|
ASAN_REPORT_ERROR(load, false, 2)
|
|
|
|
ASAN_REPORT_ERROR(load, false, 4)
|
|
|
|
ASAN_REPORT_ERROR(load, false, 8)
|
|
|
|
ASAN_REPORT_ERROR(load, false, 16)
|
|
|
|
ASAN_REPORT_ERROR(store, true, 1)
|
|
|
|
ASAN_REPORT_ERROR(store, true, 2)
|
|
|
|
ASAN_REPORT_ERROR(store, true, 4)
|
|
|
|
ASAN_REPORT_ERROR(store, true, 8)
|
|
|
|
ASAN_REPORT_ERROR(store, true, 16)
|
|
|
|
|
2013-02-19 19:30:25 +08:00
|
|
|
#define ASAN_REPORT_ERROR_N(type, is_write) \
|
|
|
|
extern "C" NOINLINE INTERFACE_ATTRIBUTE \
|
|
|
|
void __asan_report_ ## type ## _n(uptr addr, uptr size); \
|
|
|
|
void __asan_report_ ## type ## _n(uptr addr, uptr size) { \
|
|
|
|
GET_CALLER_PC_BP_SP; \
|
|
|
|
__asan_report_error(pc, bp, sp, addr, is_write, size); \
|
|
|
|
}
|
|
|
|
|
|
|
|
ASAN_REPORT_ERROR_N(load, false)
|
|
|
|
ASAN_REPORT_ERROR_N(store, true)
|
|
|
|
|
2014-04-16 21:52:28 +08:00
|
|
|
#define ASAN_MEMORY_ACCESS_CALLBACK(type, is_write, size) \
|
|
|
|
extern "C" NOINLINE INTERFACE_ATTRIBUTE void __asan_##type##size(uptr addr); \
|
|
|
|
void __asan_##type##size(uptr addr) { \
|
|
|
|
uptr sp = MEM_TO_SHADOW(addr); \
|
|
|
|
uptr s = size <= SHADOW_GRANULARITY ? *reinterpret_cast<u8 *>(sp) \
|
|
|
|
: *reinterpret_cast<u16 *>(sp); \
|
2014-04-21 15:09:01 +08:00
|
|
|
if (UNLIKELY(s)) { \
|
|
|
|
if (UNLIKELY(size >= SHADOW_GRANULARITY || \
|
|
|
|
((s8)((addr & (SHADOW_GRANULARITY - 1)) + size - 1)) >= \
|
|
|
|
(s8)s)) { \
|
2014-04-16 21:52:28 +08:00
|
|
|
if (__asan_test_only_reported_buggy_pointer) { \
|
|
|
|
*__asan_test_only_reported_buggy_pointer = addr; \
|
|
|
|
} else { \
|
|
|
|
GET_CALLER_PC_BP_SP; \
|
|
|
|
__asan_report_error(pc, bp, sp, addr, is_write, size); \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
}
|
|
|
|
|
|
|
|
ASAN_MEMORY_ACCESS_CALLBACK(load, false, 1)
|
|
|
|
ASAN_MEMORY_ACCESS_CALLBACK(load, false, 2)
|
|
|
|
ASAN_MEMORY_ACCESS_CALLBACK(load, false, 4)
|
|
|
|
ASAN_MEMORY_ACCESS_CALLBACK(load, false, 8)
|
|
|
|
ASAN_MEMORY_ACCESS_CALLBACK(load, false, 16)
|
|
|
|
ASAN_MEMORY_ACCESS_CALLBACK(store, true, 1)
|
|
|
|
ASAN_MEMORY_ACCESS_CALLBACK(store, true, 2)
|
|
|
|
ASAN_MEMORY_ACCESS_CALLBACK(store, true, 4)
|
|
|
|
ASAN_MEMORY_ACCESS_CALLBACK(store, true, 8)
|
|
|
|
ASAN_MEMORY_ACCESS_CALLBACK(store, true, 16)
|
|
|
|
|
2014-04-21 15:09:01 +08:00
|
|
|
extern "C"
|
|
|
|
NOINLINE INTERFACE_ATTRIBUTE void __asan_loadN(uptr addr, uptr size) {
|
|
|
|
if (__asan_region_is_poisoned(addr, size)) {
|
|
|
|
GET_CALLER_PC_BP_SP;
|
|
|
|
__asan_report_error(pc, bp, sp, addr, false, size);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
extern "C"
|
|
|
|
NOINLINE INTERFACE_ATTRIBUTE void __asan_storeN(uptr addr, uptr size) {
|
|
|
|
if (__asan_region_is_poisoned(addr, size)) {
|
|
|
|
GET_CALLER_PC_BP_SP;
|
|
|
|
__asan_report_error(pc, bp, sp, addr, true, size);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-11-30 09:07:02 +08:00
|
|
|
// Force the linker to keep the symbols for various ASan interface functions.
|
|
|
|
// We want to keep those in the executable in order to let the instrumented
|
|
|
|
// dynamic libraries access the symbol even if it is not used by the executable
|
|
|
|
// itself. This should help if the build system is removing dead code at link
|
|
|
|
// time.
|
2012-02-27 22:06:48 +08:00
|
|
|
static NOINLINE void force_interface_symbols() {
|
2011-11-30 09:07:02 +08:00
|
|
|
volatile int fake_condition = 0; // prevent dead condition elimination.
|
2012-08-09 17:46:12 +08:00
|
|
|
// __asan_report_* functions are noreturn, so we need a switch to prevent
|
|
|
|
// the compiler from removing any of them.
|
|
|
|
switch (fake_condition) {
|
|
|
|
case 1: __asan_report_load1(0); break;
|
|
|
|
case 2: __asan_report_load2(0); break;
|
|
|
|
case 3: __asan_report_load4(0); break;
|
|
|
|
case 4: __asan_report_load8(0); break;
|
|
|
|
case 5: __asan_report_load16(0); break;
|
|
|
|
case 6: __asan_report_store1(0); break;
|
|
|
|
case 7: __asan_report_store2(0); break;
|
|
|
|
case 8: __asan_report_store4(0); break;
|
|
|
|
case 9: __asan_report_store8(0); break;
|
|
|
|
case 10: __asan_report_store16(0); break;
|
|
|
|
case 12: __asan_register_globals(0, 0); break;
|
|
|
|
case 13: __asan_unregister_globals(0, 0); break;
|
|
|
|
case 14: __asan_set_death_callback(0); break;
|
|
|
|
case 15: __asan_set_error_report_callback(0); break;
|
|
|
|
case 16: __asan_handle_no_return(); break;
|
2012-08-10 00:05:17 +08:00
|
|
|
case 17: __asan_address_is_poisoned(0); break;
|
|
|
|
case 18: __asan_get_allocated_size(0); break;
|
|
|
|
case 19: __asan_get_current_allocated_bytes(); break;
|
|
|
|
case 20: __asan_get_estimated_allocated_size(0); break;
|
|
|
|
case 21: __asan_get_free_bytes(); break;
|
|
|
|
case 22: __asan_get_heap_size(); break;
|
|
|
|
case 23: __asan_get_ownership(0); break;
|
|
|
|
case 24: __asan_get_unmapped_bytes(); break;
|
|
|
|
case 25: __asan_poison_memory_region(0, 0); break;
|
|
|
|
case 26: __asan_unpoison_memory_region(0, 0); break;
|
|
|
|
case 27: __asan_set_error_exit_code(0); break;
|
2013-03-26 21:06:12 +08:00
|
|
|
case 30: __asan_before_dynamic_init(0); break;
|
2012-12-08 06:01:28 +08:00
|
|
|
case 31: __asan_after_dynamic_init(); break;
|
|
|
|
case 32: __asan_poison_stack_memory(0, 0); break;
|
|
|
|
case 33: __asan_unpoison_stack_memory(0, 0); break;
|
2012-12-28 23:24:16 +08:00
|
|
|
case 34: __asan_region_is_poisoned(0, 0); break;
|
2012-12-29 18:18:31 +08:00
|
|
|
case 35: __asan_describe_address(0); break;
|
2011-11-30 09:07:02 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void asan_atexit() {
|
2012-08-28 19:34:40 +08:00
|
|
|
Printf("AddressSanitizer exit stats:\n");
|
2011-11-30 09:07:02 +08:00
|
|
|
__asan_print_accumulated_stats();
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
// Print AsanMappingProfile.
|
|
|
|
for (uptr i = 0; i < kAsanMappingProfileSize; i++) {
|
|
|
|
if (AsanMappingProfile[i] == 0) continue;
|
|
|
|
Printf("asan_mapping.h:%zd -- %zd\n", i, AsanMappingProfile[i]);
|
|
|
|
}
|
2011-11-30 09:07:02 +08:00
|
|
|
}
|
|
|
|
|
2013-01-23 21:27:43 +08:00
|
|
|
static void InitializeHighMemEnd() {
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
#if !ASAN_FIXED_MAPPING
|
2013-07-16 17:47:39 +08:00
|
|
|
kHighMemEnd = GetMaxVirtualAddress();
|
|
|
|
// Increase kHighMemEnd to make sure it's properly
|
|
|
|
// aligned together with kHighMemBeg:
|
|
|
|
kHighMemEnd |= SHADOW_GRANULARITY * GetPageSizeCached() - 1;
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
#endif // !ASAN_FIXED_MAPPING
|
2013-07-16 17:47:39 +08:00
|
|
|
CHECK_EQ((kHighMemBeg % GetPageSizeCached()), 0);
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
static void ProtectGap(uptr a, uptr size) {
|
|
|
|
CHECK_EQ(a, (uptr)Mprotect(a, size));
|
|
|
|
}
|
|
|
|
|
|
|
|
static void PrintAddressSpaceLayout() {
|
|
|
|
Printf("|| `[%p, %p]` || HighMem ||\n",
|
|
|
|
(void*)kHighMemBeg, (void*)kHighMemEnd);
|
|
|
|
Printf("|| `[%p, %p]` || HighShadow ||\n",
|
|
|
|
(void*)kHighShadowBeg, (void*)kHighShadowEnd);
|
|
|
|
if (kMidMemBeg) {
|
|
|
|
Printf("|| `[%p, %p]` || ShadowGap3 ||\n",
|
|
|
|
(void*)kShadowGap3Beg, (void*)kShadowGap3End);
|
|
|
|
Printf("|| `[%p, %p]` || MidMem ||\n",
|
|
|
|
(void*)kMidMemBeg, (void*)kMidMemEnd);
|
|
|
|
Printf("|| `[%p, %p]` || ShadowGap2 ||\n",
|
|
|
|
(void*)kShadowGap2Beg, (void*)kShadowGap2End);
|
|
|
|
Printf("|| `[%p, %p]` || MidShadow ||\n",
|
|
|
|
(void*)kMidShadowBeg, (void*)kMidShadowEnd);
|
|
|
|
}
|
|
|
|
Printf("|| `[%p, %p]` || ShadowGap ||\n",
|
|
|
|
(void*)kShadowGapBeg, (void*)kShadowGapEnd);
|
|
|
|
if (kLowShadowBeg) {
|
|
|
|
Printf("|| `[%p, %p]` || LowShadow ||\n",
|
|
|
|
(void*)kLowShadowBeg, (void*)kLowShadowEnd);
|
|
|
|
Printf("|| `[%p, %p]` || LowMem ||\n",
|
|
|
|
(void*)kLowMemBeg, (void*)kLowMemEnd);
|
|
|
|
}
|
|
|
|
Printf("MemToShadow(shadow): %p %p %p %p",
|
|
|
|
(void*)MEM_TO_SHADOW(kLowShadowBeg),
|
|
|
|
(void*)MEM_TO_SHADOW(kLowShadowEnd),
|
|
|
|
(void*)MEM_TO_SHADOW(kHighShadowBeg),
|
|
|
|
(void*)MEM_TO_SHADOW(kHighShadowEnd));
|
|
|
|
if (kMidMemBeg) {
|
|
|
|
Printf(" %p %p",
|
|
|
|
(void*)MEM_TO_SHADOW(kMidShadowBeg),
|
|
|
|
(void*)MEM_TO_SHADOW(kMidShadowEnd));
|
|
|
|
}
|
|
|
|
Printf("\n");
|
2014-01-09 22:41:03 +08:00
|
|
|
Printf("redzone=%zu\n", (uptr)flags()->redzone);
|
|
|
|
Printf("max_redzone=%zu\n", (uptr)flags()->max_redzone);
|
2013-09-10 21:16:26 +08:00
|
|
|
Printf("quarantine_size=%zuM\n", (uptr)flags()->quarantine_size >> 20);
|
2013-05-06 19:27:58 +08:00
|
|
|
Printf("malloc_context_size=%zu\n",
|
|
|
|
(uptr)common_flags()->malloc_context_size);
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
|
|
|
|
Printf("SHADOW_SCALE: %zx\n", (uptr)SHADOW_SCALE);
|
|
|
|
Printf("SHADOW_GRANULARITY: %zx\n", (uptr)SHADOW_GRANULARITY);
|
|
|
|
Printf("SHADOW_OFFSET: %zx\n", (uptr)SHADOW_OFFSET);
|
|
|
|
CHECK(SHADOW_SCALE >= 3 && SHADOW_SCALE <= 7);
|
|
|
|
if (kMidMemBeg)
|
|
|
|
CHECK(kMidShadowBeg > kLowShadowEnd &&
|
|
|
|
kMidMemBeg > kMidShadowEnd &&
|
|
|
|
kHighShadowBeg > kMidMemEnd);
|
2013-01-23 21:27:43 +08:00
|
|
|
}
|
|
|
|
|
2014-01-16 20:31:50 +08:00
|
|
|
static void AsanInitInternal() {
|
2014-05-14 22:03:31 +08:00
|
|
|
if (LIKELY(asan_inited)) return;
|
2013-01-31 22:11:21 +08:00
|
|
|
SanitizerToolName = "AddressSanitizer";
|
2012-08-27 17:30:58 +08:00
|
|
|
CHECK(!asan_init_is_running && "ASan init calls itself!");
|
2012-05-25 23:37:16 +08:00
|
|
|
asan_init_is_running = true;
|
2014-05-14 16:13:11 +08:00
|
|
|
|
|
|
|
// Initialize flags. This must be done early, because most of the
|
|
|
|
// initialization steps look at flags().
|
|
|
|
const char *options = GetEnv("ASAN_OPTIONS");
|
|
|
|
InitializeFlags(flags(), options);
|
|
|
|
|
2013-01-23 21:27:43 +08:00
|
|
|
InitializeHighMemEnd();
|
2012-05-25 23:37:16 +08:00
|
|
|
|
|
|
|
// Make sure we are not statically linked.
|
|
|
|
AsanDoesNotSupportStaticLinkage();
|
|
|
|
|
2012-09-11 17:44:48 +08:00
|
|
|
// Install tool-specific callbacks in sanitizer_common.
|
|
|
|
SetDieCallback(AsanDie);
|
|
|
|
SetCheckFailedCallback(AsanCheckFailed);
|
2012-08-28 19:34:40 +08:00
|
|
|
SetPrintfAndReportCallback(AppendToErrorMessageBuffer);
|
|
|
|
|
2014-01-31 22:36:55 +08:00
|
|
|
if (!flags()->start_deactivated)
|
|
|
|
ParseExtraActivationFlags();
|
|
|
|
|
2013-06-25 21:50:44 +08:00
|
|
|
__sanitizer_set_report_path(common_flags()->log_path);
|
2013-09-18 18:35:12 +08:00
|
|
|
__asan_option_detect_stack_use_after_return =
|
|
|
|
flags()->detect_stack_use_after_return;
|
2013-12-16 16:42:08 +08:00
|
|
|
CHECK_LE(flags()->min_uar_stack_size_log, flags()->max_uar_stack_size_log);
|
2012-03-17 00:38:31 +08:00
|
|
|
|
2013-12-05 20:04:51 +08:00
|
|
|
if (options) {
|
|
|
|
VReport(1, "Parsed ASAN_OPTIONS: %s\n", options);
|
2012-03-17 00:38:31 +08:00
|
|
|
}
|
|
|
|
|
2014-01-16 20:31:50 +08:00
|
|
|
if (flags()->start_deactivated)
|
|
|
|
AsanStartDeactivated();
|
|
|
|
|
2012-08-24 17:22:05 +08:00
|
|
|
// Re-exec ourselves if we need to set additional env or command line args.
|
|
|
|
MaybeReexec();
|
|
|
|
|
2012-08-27 22:04:54 +08:00
|
|
|
// Setup internal allocator callback.
|
|
|
|
SetLowLevelAllocateCallback(OnLowLevelAllocate);
|
|
|
|
|
2011-11-30 09:07:02 +08:00
|
|
|
InitializeAsanInterceptors();
|
|
|
|
|
|
|
|
ReplaceSystemMalloc();
|
|
|
|
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
uptr shadow_start = kLowShadowBeg;
|
2013-07-16 17:47:39 +08:00
|
|
|
if (kLowShadowBeg)
|
|
|
|
shadow_start -= GetMmapGranularity();
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
bool full_shadow_is_available =
|
2013-07-16 17:47:39 +08:00
|
|
|
MemoryRangeIsAvailable(shadow_start, kHighShadowEnd);
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
|
2014-07-11 23:22:45 +08:00
|
|
|
#if SANITIZER_LINUX && defined(__x86_64__) && defined(_LP64) && \
|
|
|
|
!ASAN_FIXED_MAPPING
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
if (!full_shadow_is_available) {
|
|
|
|
kMidMemBeg = kLowMemEnd < 0x3000000000ULL ? 0x3000000000ULL : 0;
|
2013-02-28 20:28:37 +08:00
|
|
|
kMidMemEnd = kLowMemEnd < 0x3000000000ULL ? 0x4fffffffffULL : 0;
|
2011-11-30 09:07:02 +08:00
|
|
|
}
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
#endif
|
|
|
|
|
2013-10-15 21:28:51 +08:00
|
|
|
if (common_flags()->verbosity)
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
PrintAddressSpaceLayout();
|
2011-11-30 09:07:02 +08:00
|
|
|
|
2012-07-09 22:36:04 +08:00
|
|
|
if (flags()->disable_core) {
|
2012-06-15 14:08:19 +08:00
|
|
|
DisableCoreDumper();
|
2011-11-30 09:07:02 +08:00
|
|
|
}
|
|
|
|
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
if (full_shadow_is_available) {
|
|
|
|
// mmap the low shadow plus at least one page at the left.
|
|
|
|
if (kLowShadowBeg)
|
|
|
|
ReserveShadowMemoryRange(shadow_start, kLowShadowEnd);
|
|
|
|
// mmap the high shadow.
|
|
|
|
ReserveShadowMemoryRange(kHighShadowBeg, kHighShadowEnd);
|
|
|
|
// protect the gap.
|
|
|
|
ProtectGap(kShadowGapBeg, kShadowGapEnd - kShadowGapBeg + 1);
|
2014-03-27 15:36:26 +08:00
|
|
|
CHECK_EQ(kShadowGapEnd, kHighShadowBeg - 1);
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
} else if (kMidMemBeg &&
|
|
|
|
MemoryRangeIsAvailable(shadow_start, kMidMemBeg - 1) &&
|
2013-07-16 17:47:39 +08:00
|
|
|
MemoryRangeIsAvailable(kMidMemEnd + 1, kHighShadowEnd)) {
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
CHECK(kLowShadowBeg != kLowShadowEnd);
|
|
|
|
// mmap the low shadow plus at least one page at the left.
|
|
|
|
ReserveShadowMemoryRange(shadow_start, kLowShadowEnd);
|
|
|
|
// mmap the mid shadow.
|
|
|
|
ReserveShadowMemoryRange(kMidShadowBeg, kMidShadowEnd);
|
2012-01-10 03:18:27 +08:00
|
|
|
// mmap the high shadow.
|
|
|
|
ReserveShadowMemoryRange(kHighShadowBeg, kHighShadowEnd);
|
[asan] make asan work with 7fff8000 offset and prelink
When prelink is installed in the system, prelink-ed
libraries map between 0x003000000000 and 0x004000000000 thus occupying the shadow Gap,
so we need so split the address space even further, like this:
|| [0x10007fff8000, 0x7fffffffffff] || HighMem ||
|| [0x02008fff7000, 0x10007fff7fff] || HighShadow ||
|| [0x004000000000, 0x02008fff6fff] || ShadowGap3 ||
|| [0x003000000000, 0x003fffffffff] || MidMem ||
|| [0x00087fff8000, 0x002fffffffff] || ShadowGap2 ||
|| [0x00067fff8000, 0x00087fff7fff] || MidShadow ||
|| [0x00008fff7000, 0x00067fff7fff] || ShadowGap ||
|| [0x00007fff8000, 0x00008fff6fff] || LowShadow ||
|| [0x000000000000, 0x00007fff7fff] || LowMem ||
Do it only if necessary.
Also added a bit of profiling code to make sure that the
mapping code is efficient.
Added a lit test to simulate prelink-ed libraries.
Unfortunately, this test does not work with binutils-gold linker.
If gold is the default linker the test silently passes.
Also replaced
__has_feature(address_sanitizer)
with
__has_feature(address_sanitizer) || defined(__SANITIZE_ADDRESS__)
in two places.
Patch partially by Jakub Jelinek.
llvm-svn: 175263
2013-02-15 20:00:24 +08:00
|
|
|
// protect the gaps.
|
|
|
|
ProtectGap(kShadowGapBeg, kShadowGapEnd - kShadowGapBeg + 1);
|
|
|
|
ProtectGap(kShadowGap2Beg, kShadowGap2End - kShadowGap2Beg + 1);
|
|
|
|
ProtectGap(kShadowGap3Beg, kShadowGap3End - kShadowGap3Beg + 1);
|
2012-02-13 23:11:23 +08:00
|
|
|
} else {
|
|
|
|
Report("Shadow memory range interleaves with an existing memory mapping. "
|
|
|
|
"ASan cannot proceed correctly. ABORTING.\n");
|
2012-06-15 14:08:19 +08:00
|
|
|
DumpProcessMap();
|
2012-06-06 15:02:44 +08:00
|
|
|
Die();
|
2011-11-30 09:07:02 +08:00
|
|
|
}
|
|
|
|
|
2013-10-17 21:18:21 +08:00
|
|
|
AsanTSDInit(PlatformTSDDtor);
|
2014-01-31 21:10:07 +08:00
|
|
|
InstallDeadlySignalHandlers(AsanOnSIGSEGV);
|
2013-06-11 16:13:36 +08:00
|
|
|
|
|
|
|
// Allocator should be initialized before starting external symbolizer, as
|
|
|
|
// fork() on Mac locks the allocator.
|
|
|
|
InitializeAllocator();
|
|
|
|
|
2014-07-26 09:37:23 +08:00
|
|
|
Symbolizer::GetOrInit();
|
2012-04-05 18:54:52 +08:00
|
|
|
|
2011-11-30 09:07:02 +08:00
|
|
|
// On Linux AsanThread::ThreadStart() calls malloc() that's why asan_inited
|
|
|
|
// should be set to 1 prior to initializing the threads.
|
|
|
|
asan_inited = 1;
|
|
|
|
asan_init_is_running = false;
|
|
|
|
|
2013-10-18 15:57:59 +08:00
|
|
|
if (flags()->atexit)
|
|
|
|
Atexit(asan_atexit);
|
|
|
|
|
2014-05-12 22:27:36 +08:00
|
|
|
if (common_flags()->coverage) {
|
2014-04-30 18:40:48 +08:00
|
|
|
__sanitizer_cov_init();
|
2013-11-15 15:18:15 +08:00
|
|
|
Atexit(__sanitizer_cov_dump);
|
2014-04-30 18:40:48 +08:00
|
|
|
}
|
2013-11-15 15:18:15 +08:00
|
|
|
|
2013-10-18 15:57:59 +08:00
|
|
|
// interceptors
|
2013-05-29 21:09:44 +08:00
|
|
|
InitTlsSize();
|
|
|
|
|
2013-03-21 19:23:41 +08:00
|
|
|
// Create main thread.
|
|
|
|
AsanThread *main_thread = AsanThread::Create(0, 0);
|
|
|
|
CreateThreadContextArgs create_main_args = { main_thread, 0 };
|
|
|
|
u32 main_tid = asanThreadRegistry().CreateThread(
|
|
|
|
0, true, 0, &create_main_args);
|
|
|
|
CHECK_EQ(0, main_tid);
|
|
|
|
SetCurrentThread(main_thread);
|
2013-05-18 00:56:53 +08:00
|
|
|
main_thread->ThreadStart(internal_getpid());
|
2011-12-28 08:59:39 +08:00
|
|
|
force_interface_symbols(); // no-op.
|
2014-02-11 21:38:57 +08:00
|
|
|
SanitizerInitializeUnwinder();
|
2011-11-30 09:07:02 +08:00
|
|
|
|
2013-05-22 21:20:37 +08:00
|
|
|
#if CAN_SANITIZE_LEAKS
|
2013-05-21 22:15:35 +08:00
|
|
|
__lsan::InitCommonLsan();
|
2013-08-01 22:57:07 +08:00
|
|
|
if (common_flags()->detect_leaks && common_flags()->leak_check_at_exit) {
|
2013-05-22 01:56:45 +08:00
|
|
|
Atexit(__lsan::DoLeakCheck);
|
|
|
|
}
|
2013-05-22 21:20:37 +08:00
|
|
|
#endif // CAN_SANITIZE_LEAKS
|
2013-05-21 22:15:35 +08:00
|
|
|
|
2013-12-05 20:04:51 +08:00
|
|
|
VReport(1, "AddressSanitizer Init done\n");
|
2011-11-30 09:07:02 +08:00
|
|
|
}
|
2014-01-16 20:31:50 +08:00
|
|
|
|
|
|
|
// Initialize as requested from some part of ASan runtime library (interceptors,
|
|
|
|
// allocator, etc).
|
|
|
|
void AsanInitFromRtl() {
|
|
|
|
AsanInitInternal();
|
|
|
|
}
|
|
|
|
|
2014-04-01 21:16:30 +08:00
|
|
|
#if ASAN_DYNAMIC
|
|
|
|
// Initialize runtime in case it's LD_PRELOAD-ed into unsanitized executable
|
|
|
|
// (and thus normal initializer from .preinit_array haven't run).
|
|
|
|
|
|
|
|
class AsanInitializer {
|
|
|
|
public: // NOLINT
|
|
|
|
AsanInitializer() {
|
|
|
|
AsanCheckIncompatibleRT();
|
|
|
|
AsanCheckDynamicRTPrereqs();
|
2014-05-14 22:03:31 +08:00
|
|
|
if (UNLIKELY(!asan_inited))
|
2014-04-01 21:16:30 +08:00
|
|
|
__asan_init();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
static AsanInitializer asan_initializer;
|
|
|
|
#endif // ASAN_DYNAMIC
|
|
|
|
|
2014-01-16 20:31:50 +08:00
|
|
|
} // namespace __asan
|
|
|
|
|
|
|
|
// ---------------------- Interface ---------------- {{{1
|
|
|
|
using namespace __asan; // NOLINT
|
|
|
|
|
|
|
|
#if !SANITIZER_SUPPORTS_WEAK_HOOKS
|
|
|
|
extern "C" {
|
|
|
|
SANITIZER_INTERFACE_ATTRIBUTE SANITIZER_WEAK_ATTRIBUTE
|
|
|
|
const char* __asan_default_options() { return ""; }
|
|
|
|
} // extern "C"
|
|
|
|
#endif
|
|
|
|
|
|
|
|
int NOINLINE __asan_set_error_exit_code(int exit_code) {
|
|
|
|
int old = flags()->exitcode;
|
|
|
|
flags()->exitcode = exit_code;
|
|
|
|
return old;
|
|
|
|
}
|
|
|
|
|
|
|
|
void NOINLINE __asan_handle_no_return() {
|
|
|
|
int local_stack;
|
|
|
|
AsanThread *curr_thread = GetCurrentThread();
|
|
|
|
CHECK(curr_thread);
|
|
|
|
uptr PageSize = GetPageSizeCached();
|
|
|
|
uptr top = curr_thread->stack_top();
|
|
|
|
uptr bottom = ((uptr)&local_stack - PageSize) & ~(PageSize-1);
|
|
|
|
static const uptr kMaxExpectedCleanupSize = 64 << 20; // 64M
|
|
|
|
if (top - bottom > kMaxExpectedCleanupSize) {
|
|
|
|
static bool reported_warning = false;
|
|
|
|
if (reported_warning)
|
|
|
|
return;
|
|
|
|
reported_warning = true;
|
|
|
|
Report("WARNING: ASan is ignoring requested __asan_handle_no_return: "
|
|
|
|
"stack top: %p; bottom %p; size: %p (%zd)\n"
|
|
|
|
"False positive error reports may follow\n"
|
|
|
|
"For details see "
|
|
|
|
"http://code.google.com/p/address-sanitizer/issues/detail?id=189\n",
|
|
|
|
top, bottom, top - bottom, top - bottom);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
PoisonShadow(bottom, top - bottom, 0);
|
|
|
|
if (curr_thread->has_fake_stack())
|
|
|
|
curr_thread->fake_stack()->HandleNoReturn();
|
|
|
|
}
|
|
|
|
|
|
|
|
void NOINLINE __asan_set_death_callback(void (*callback)(void)) {
|
|
|
|
death_callback = callback;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Initialize as requested from instrumented application code.
|
|
|
|
// We use this call as a trigger to wake up ASan from deactivated state.
|
|
|
|
void __asan_init() {
|
2014-04-01 21:16:30 +08:00
|
|
|
AsanCheckIncompatibleRT();
|
2014-01-16 20:31:50 +08:00
|
|
|
AsanActivate();
|
|
|
|
AsanInitInternal();
|
|
|
|
}
|