13cab2bb3Spatrick //===-- asan_fake_stack.cpp -----------------------------------------------===//
23cab2bb3Spatrick //
33cab2bb3Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
43cab2bb3Spatrick // See https://llvm.org/LICENSE.txt for license information.
53cab2bb3Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
63cab2bb3Spatrick //
73cab2bb3Spatrick //===----------------------------------------------------------------------===//
83cab2bb3Spatrick //
93cab2bb3Spatrick // This file is a part of AddressSanitizer, an address sanity checker.
103cab2bb3Spatrick //
113cab2bb3Spatrick // FakeStack is used to detect use-after-return bugs.
123cab2bb3Spatrick //===----------------------------------------------------------------------===//
133cab2bb3Spatrick
143cab2bb3Spatrick #include "asan_allocator.h"
153cab2bb3Spatrick #include "asan_poisoning.h"
163cab2bb3Spatrick #include "asan_thread.h"
173cab2bb3Spatrick
183cab2bb3Spatrick namespace __asan {
193cab2bb3Spatrick
203cab2bb3Spatrick static const u64 kMagic1 = kAsanStackAfterReturnMagic;
213cab2bb3Spatrick static const u64 kMagic2 = (kMagic1 << 8) | kMagic1;
223cab2bb3Spatrick static const u64 kMagic4 = (kMagic2 << 16) | kMagic2;
233cab2bb3Spatrick static const u64 kMagic8 = (kMagic4 << 32) | kMagic4;
243cab2bb3Spatrick
253cab2bb3Spatrick static const u64 kAllocaRedzoneSize = 32UL;
263cab2bb3Spatrick static const u64 kAllocaRedzoneMask = 31UL;
273cab2bb3Spatrick
283cab2bb3Spatrick // For small size classes inline PoisonShadow for better performance.
SetShadow(uptr ptr,uptr size,uptr class_id,u64 magic)293cab2bb3Spatrick ALWAYS_INLINE void SetShadow(uptr ptr, uptr size, uptr class_id, u64 magic) {
303cab2bb3Spatrick u64 *shadow = reinterpret_cast<u64*>(MemToShadow(ptr));
31*810390e3Srobert if (ASAN_SHADOW_SCALE == 3 && class_id <= 6) {
32*810390e3Srobert // This code expects ASAN_SHADOW_SCALE=3.
333cab2bb3Spatrick for (uptr i = 0; i < (((uptr)1) << class_id); i++) {
343cab2bb3Spatrick shadow[i] = magic;
353cab2bb3Spatrick // Make sure this does not become memset.
363cab2bb3Spatrick SanitizerBreakOptimization(nullptr);
373cab2bb3Spatrick }
383cab2bb3Spatrick } else {
393cab2bb3Spatrick // The size class is too big, it's cheaper to poison only size bytes.
403cab2bb3Spatrick PoisonShadow(ptr, size, static_cast<u8>(magic));
413cab2bb3Spatrick }
423cab2bb3Spatrick }
433cab2bb3Spatrick
Create(uptr stack_size_log)443cab2bb3Spatrick FakeStack *FakeStack::Create(uptr stack_size_log) {
453cab2bb3Spatrick static uptr kMinStackSizeLog = 16;
463cab2bb3Spatrick static uptr kMaxStackSizeLog = FIRST_32_SECOND_64(24, 28);
473cab2bb3Spatrick if (stack_size_log < kMinStackSizeLog)
483cab2bb3Spatrick stack_size_log = kMinStackSizeLog;
493cab2bb3Spatrick if (stack_size_log > kMaxStackSizeLog)
503cab2bb3Spatrick stack_size_log = kMaxStackSizeLog;
513cab2bb3Spatrick uptr size = RequiredSize(stack_size_log);
523cab2bb3Spatrick FakeStack *res = reinterpret_cast<FakeStack *>(
533cab2bb3Spatrick flags()->uar_noreserve ? MmapNoReserveOrDie(size, "FakeStack")
543cab2bb3Spatrick : MmapOrDie(size, "FakeStack"));
553cab2bb3Spatrick res->stack_size_log_ = stack_size_log;
563cab2bb3Spatrick u8 *p = reinterpret_cast<u8 *>(res);
57*810390e3Srobert VReport(1,
58*810390e3Srobert "T%d: FakeStack created: %p -- %p stack_size_log: %zd; "
593cab2bb3Spatrick "mmapped %zdK, noreserve=%d \n",
60*810390e3Srobert GetCurrentTidOrInvalid(), (void *)p,
61*810390e3Srobert (void *)(p + FakeStack::RequiredSize(stack_size_log)), stack_size_log,
623cab2bb3Spatrick size >> 10, flags()->uar_noreserve);
633cab2bb3Spatrick return res;
643cab2bb3Spatrick }
653cab2bb3Spatrick
Destroy(int tid)663cab2bb3Spatrick void FakeStack::Destroy(int tid) {
673cab2bb3Spatrick PoisonAll(0);
683cab2bb3Spatrick if (Verbosity() >= 2) {
69d89ec533Spatrick InternalScopedString str;
703cab2bb3Spatrick for (uptr class_id = 0; class_id < kNumberOfSizeClasses; class_id++)
713cab2bb3Spatrick str.append("%zd: %zd/%zd; ", class_id, hint_position_[class_id],
723cab2bb3Spatrick NumberOfFrames(stack_size_log(), class_id));
733cab2bb3Spatrick Report("T%d: FakeStack destroyed: %s\n", tid, str.data());
743cab2bb3Spatrick }
753cab2bb3Spatrick uptr size = RequiredSize(stack_size_log_);
763cab2bb3Spatrick FlushUnneededASanShadowMemory(reinterpret_cast<uptr>(this), size);
773cab2bb3Spatrick UnmapOrDie(this, size);
783cab2bb3Spatrick }
793cab2bb3Spatrick
PoisonAll(u8 magic)803cab2bb3Spatrick void FakeStack::PoisonAll(u8 magic) {
813cab2bb3Spatrick PoisonShadow(reinterpret_cast<uptr>(this), RequiredSize(stack_size_log()),
823cab2bb3Spatrick magic);
833cab2bb3Spatrick }
843cab2bb3Spatrick
853cab2bb3Spatrick #if !defined(_MSC_VER) || defined(__clang__)
863cab2bb3Spatrick ALWAYS_INLINE USED
873cab2bb3Spatrick #endif
Allocate(uptr stack_size_log,uptr class_id,uptr real_stack)883cab2bb3Spatrick FakeFrame *FakeStack::Allocate(uptr stack_size_log, uptr class_id,
893cab2bb3Spatrick uptr real_stack) {
903cab2bb3Spatrick CHECK_LT(class_id, kNumberOfSizeClasses);
913cab2bb3Spatrick if (needs_gc_)
923cab2bb3Spatrick GC(real_stack);
933cab2bb3Spatrick uptr &hint_position = hint_position_[class_id];
943cab2bb3Spatrick const int num_iter = NumberOfFrames(stack_size_log, class_id);
953cab2bb3Spatrick u8 *flags = GetFlags(stack_size_log, class_id);
963cab2bb3Spatrick for (int i = 0; i < num_iter; i++) {
973cab2bb3Spatrick uptr pos = ModuloNumberOfFrames(stack_size_log, class_id, hint_position++);
983cab2bb3Spatrick // This part is tricky. On one hand, checking and setting flags[pos]
993cab2bb3Spatrick // should be atomic to ensure async-signal safety. But on the other hand,
1003cab2bb3Spatrick // if the signal arrives between checking and setting flags[pos], the
1013cab2bb3Spatrick // signal handler's fake stack will start from a different hint_position
1023cab2bb3Spatrick // and so will not touch this particular byte. So, it is safe to do this
1033cab2bb3Spatrick // with regular non-atomic load and store (at least I was not able to make
1043cab2bb3Spatrick // this code crash).
1053cab2bb3Spatrick if (flags[pos]) continue;
1063cab2bb3Spatrick flags[pos] = 1;
1073cab2bb3Spatrick FakeFrame *res = reinterpret_cast<FakeFrame *>(
1083cab2bb3Spatrick GetFrame(stack_size_log, class_id, pos));
1093cab2bb3Spatrick res->real_stack = real_stack;
1103cab2bb3Spatrick *SavedFlagPtr(reinterpret_cast<uptr>(res), class_id) = &flags[pos];
1113cab2bb3Spatrick return res;
1123cab2bb3Spatrick }
1133cab2bb3Spatrick return nullptr; // We are out of fake stack.
1143cab2bb3Spatrick }
1153cab2bb3Spatrick
AddrIsInFakeStack(uptr ptr,uptr * frame_beg,uptr * frame_end)1163cab2bb3Spatrick uptr FakeStack::AddrIsInFakeStack(uptr ptr, uptr *frame_beg, uptr *frame_end) {
1173cab2bb3Spatrick uptr stack_size_log = this->stack_size_log();
1183cab2bb3Spatrick uptr beg = reinterpret_cast<uptr>(GetFrame(stack_size_log, 0, 0));
1193cab2bb3Spatrick uptr end = reinterpret_cast<uptr>(this) + RequiredSize(stack_size_log);
1203cab2bb3Spatrick if (ptr < beg || ptr >= end) return 0;
1213cab2bb3Spatrick uptr class_id = (ptr - beg) >> stack_size_log;
1223cab2bb3Spatrick uptr base = beg + (class_id << stack_size_log);
1233cab2bb3Spatrick CHECK_LE(base, ptr);
1243cab2bb3Spatrick CHECK_LT(ptr, base + (((uptr)1) << stack_size_log));
1253cab2bb3Spatrick uptr pos = (ptr - base) >> (kMinStackFrameSizeLog + class_id);
1263cab2bb3Spatrick uptr res = base + pos * BytesInSizeClass(class_id);
1273cab2bb3Spatrick *frame_end = res + BytesInSizeClass(class_id);
1283cab2bb3Spatrick *frame_beg = res + sizeof(FakeFrame);
1293cab2bb3Spatrick return res;
1303cab2bb3Spatrick }
1313cab2bb3Spatrick
HandleNoReturn()1323cab2bb3Spatrick void FakeStack::HandleNoReturn() {
1333cab2bb3Spatrick needs_gc_ = true;
1343cab2bb3Spatrick }
1353cab2bb3Spatrick
1363cab2bb3Spatrick // When throw, longjmp or some such happens we don't call OnFree() and
1373cab2bb3Spatrick // as the result may leak one or more fake frames, but the good news is that
1383cab2bb3Spatrick // we are notified about all such events by HandleNoReturn().
1393cab2bb3Spatrick // If we recently had such no-return event we need to collect garbage frames.
1403cab2bb3Spatrick // We do it based on their 'real_stack' values -- everything that is lower
1413cab2bb3Spatrick // than the current real_stack is garbage.
GC(uptr real_stack)1423cab2bb3Spatrick NOINLINE void FakeStack::GC(uptr real_stack) {
1433cab2bb3Spatrick for (uptr class_id = 0; class_id < kNumberOfSizeClasses; class_id++) {
1443cab2bb3Spatrick u8 *flags = GetFlags(stack_size_log(), class_id);
1453cab2bb3Spatrick for (uptr i = 0, n = NumberOfFrames(stack_size_log(), class_id); i < n;
1463cab2bb3Spatrick i++) {
1473cab2bb3Spatrick if (flags[i] == 0) continue; // not allocated.
1483cab2bb3Spatrick FakeFrame *ff = reinterpret_cast<FakeFrame *>(
1493cab2bb3Spatrick GetFrame(stack_size_log(), class_id, i));
1503cab2bb3Spatrick if (ff->real_stack < real_stack) {
1513cab2bb3Spatrick flags[i] = 0;
1523cab2bb3Spatrick }
1533cab2bb3Spatrick }
1543cab2bb3Spatrick }
1553cab2bb3Spatrick needs_gc_ = false;
1563cab2bb3Spatrick }
1573cab2bb3Spatrick
ForEachFakeFrame(RangeIteratorCallback callback,void * arg)1583cab2bb3Spatrick void FakeStack::ForEachFakeFrame(RangeIteratorCallback callback, void *arg) {
1593cab2bb3Spatrick for (uptr class_id = 0; class_id < kNumberOfSizeClasses; class_id++) {
1603cab2bb3Spatrick u8 *flags = GetFlags(stack_size_log(), class_id);
1613cab2bb3Spatrick for (uptr i = 0, n = NumberOfFrames(stack_size_log(), class_id); i < n;
1623cab2bb3Spatrick i++) {
1633cab2bb3Spatrick if (flags[i] == 0) continue; // not allocated.
1643cab2bb3Spatrick FakeFrame *ff = reinterpret_cast<FakeFrame *>(
1653cab2bb3Spatrick GetFrame(stack_size_log(), class_id, i));
1663cab2bb3Spatrick uptr begin = reinterpret_cast<uptr>(ff);
1673cab2bb3Spatrick callback(begin, begin + FakeStack::BytesInSizeClass(class_id), arg);
1683cab2bb3Spatrick }
1693cab2bb3Spatrick }
1703cab2bb3Spatrick }
1713cab2bb3Spatrick
1723cab2bb3Spatrick #if (SANITIZER_LINUX && !SANITIZER_ANDROID) || SANITIZER_FUCHSIA
1733cab2bb3Spatrick static THREADLOCAL FakeStack *fake_stack_tls;
1743cab2bb3Spatrick
GetTLSFakeStack()1753cab2bb3Spatrick FakeStack *GetTLSFakeStack() {
1763cab2bb3Spatrick return fake_stack_tls;
1773cab2bb3Spatrick }
SetTLSFakeStack(FakeStack * fs)1783cab2bb3Spatrick void SetTLSFakeStack(FakeStack *fs) {
1793cab2bb3Spatrick fake_stack_tls = fs;
1803cab2bb3Spatrick }
1813cab2bb3Spatrick #else
GetTLSFakeStack()1823cab2bb3Spatrick FakeStack *GetTLSFakeStack() { return 0; }
SetTLSFakeStack(FakeStack * fs)1833cab2bb3Spatrick void SetTLSFakeStack(FakeStack *fs) { }
1843cab2bb3Spatrick #endif // (SANITIZER_LINUX && !SANITIZER_ANDROID) || SANITIZER_FUCHSIA
1853cab2bb3Spatrick
GetFakeStack()1863cab2bb3Spatrick static FakeStack *GetFakeStack() {
1873cab2bb3Spatrick AsanThread *t = GetCurrentThread();
1883cab2bb3Spatrick if (!t) return nullptr;
189d89ec533Spatrick return t->get_or_create_fake_stack();
1903cab2bb3Spatrick }
1913cab2bb3Spatrick
GetFakeStackFast()1923cab2bb3Spatrick static FakeStack *GetFakeStackFast() {
1933cab2bb3Spatrick if (FakeStack *fs = GetTLSFakeStack())
1943cab2bb3Spatrick return fs;
1953cab2bb3Spatrick if (!__asan_option_detect_stack_use_after_return)
1963cab2bb3Spatrick return nullptr;
1973cab2bb3Spatrick return GetFakeStack();
1983cab2bb3Spatrick }
1993cab2bb3Spatrick
GetFakeStackFastAlways()200d89ec533Spatrick static FakeStack *GetFakeStackFastAlways() {
201d89ec533Spatrick if (FakeStack *fs = GetTLSFakeStack())
202d89ec533Spatrick return fs;
203d89ec533Spatrick return GetFakeStack();
204d89ec533Spatrick }
205d89ec533Spatrick
OnMalloc(uptr class_id,uptr size)206d89ec533Spatrick static ALWAYS_INLINE uptr OnMalloc(uptr class_id, uptr size) {
2073cab2bb3Spatrick FakeStack *fs = GetFakeStackFast();
2083cab2bb3Spatrick if (!fs) return 0;
2093cab2bb3Spatrick uptr local_stack;
2103cab2bb3Spatrick uptr real_stack = reinterpret_cast<uptr>(&local_stack);
2113cab2bb3Spatrick FakeFrame *ff = fs->Allocate(fs->stack_size_log(), class_id, real_stack);
2123cab2bb3Spatrick if (!ff) return 0; // Out of fake stack.
2133cab2bb3Spatrick uptr ptr = reinterpret_cast<uptr>(ff);
2143cab2bb3Spatrick SetShadow(ptr, size, class_id, 0);
2153cab2bb3Spatrick return ptr;
2163cab2bb3Spatrick }
2173cab2bb3Spatrick
OnMallocAlways(uptr class_id,uptr size)218d89ec533Spatrick static ALWAYS_INLINE uptr OnMallocAlways(uptr class_id, uptr size) {
219d89ec533Spatrick FakeStack *fs = GetFakeStackFastAlways();
220d89ec533Spatrick if (!fs)
221d89ec533Spatrick return 0;
222d89ec533Spatrick uptr local_stack;
223d89ec533Spatrick uptr real_stack = reinterpret_cast<uptr>(&local_stack);
224d89ec533Spatrick FakeFrame *ff = fs->Allocate(fs->stack_size_log(), class_id, real_stack);
225d89ec533Spatrick if (!ff)
226d89ec533Spatrick return 0; // Out of fake stack.
227d89ec533Spatrick uptr ptr = reinterpret_cast<uptr>(ff);
228d89ec533Spatrick SetShadow(ptr, size, class_id, 0);
229d89ec533Spatrick return ptr;
230d89ec533Spatrick }
231d89ec533Spatrick
OnFree(uptr ptr,uptr class_id,uptr size)232d89ec533Spatrick static ALWAYS_INLINE void OnFree(uptr ptr, uptr class_id, uptr size) {
2333cab2bb3Spatrick FakeStack::Deallocate(ptr, class_id);
2343cab2bb3Spatrick SetShadow(ptr, size, class_id, kMagic8);
2353cab2bb3Spatrick }
2363cab2bb3Spatrick
2373cab2bb3Spatrick } // namespace __asan
2383cab2bb3Spatrick
2393cab2bb3Spatrick // ---------------------- Interface ---------------- {{{1
2403cab2bb3Spatrick using namespace __asan;
2413cab2bb3Spatrick #define DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(class_id) \
2423cab2bb3Spatrick extern "C" SANITIZER_INTERFACE_ATTRIBUTE uptr \
2433cab2bb3Spatrick __asan_stack_malloc_##class_id(uptr size) { \
2443cab2bb3Spatrick return OnMalloc(class_id, size); \
2453cab2bb3Spatrick } \
246d89ec533Spatrick extern "C" SANITIZER_INTERFACE_ATTRIBUTE uptr \
247d89ec533Spatrick __asan_stack_malloc_always_##class_id(uptr size) { \
248d89ec533Spatrick return OnMallocAlways(class_id, size); \
249d89ec533Spatrick } \
2503cab2bb3Spatrick extern "C" SANITIZER_INTERFACE_ATTRIBUTE void __asan_stack_free_##class_id( \
2513cab2bb3Spatrick uptr ptr, uptr size) { \
2523cab2bb3Spatrick OnFree(ptr, class_id, size); \
2533cab2bb3Spatrick }
2543cab2bb3Spatrick
2553cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(0)
2563cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(1)
2573cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(2)
2583cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(3)
2593cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(4)
2603cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(5)
2613cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(6)
2623cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(7)
2633cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(8)
2643cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(9)
2653cab2bb3Spatrick DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(10)
266d89ec533Spatrick
2673cab2bb3Spatrick extern "C" {
268d89ec533Spatrick // TODO: remove this method and fix tests that use it by setting
269d89ec533Spatrick // -asan-use-after-return=never, after modal UAR flag lands
270d89ec533Spatrick // (https://github.com/google/sanitizers/issues/1394)
2713cab2bb3Spatrick SANITIZER_INTERFACE_ATTRIBUTE
__asan_get_current_fake_stack()2723cab2bb3Spatrick void *__asan_get_current_fake_stack() { return GetFakeStackFast(); }
2733cab2bb3Spatrick
2743cab2bb3Spatrick SANITIZER_INTERFACE_ATTRIBUTE
__asan_addr_is_in_fake_stack(void * fake_stack,void * addr,void ** beg,void ** end)2753cab2bb3Spatrick void *__asan_addr_is_in_fake_stack(void *fake_stack, void *addr, void **beg,
2763cab2bb3Spatrick void **end) {
2773cab2bb3Spatrick FakeStack *fs = reinterpret_cast<FakeStack*>(fake_stack);
2783cab2bb3Spatrick if (!fs) return nullptr;
2793cab2bb3Spatrick uptr frame_beg, frame_end;
2803cab2bb3Spatrick FakeFrame *frame = reinterpret_cast<FakeFrame *>(fs->AddrIsInFakeStack(
2813cab2bb3Spatrick reinterpret_cast<uptr>(addr), &frame_beg, &frame_end));
2823cab2bb3Spatrick if (!frame) return nullptr;
2833cab2bb3Spatrick if (frame->magic != kCurrentStackFrameMagic)
2843cab2bb3Spatrick return nullptr;
2853cab2bb3Spatrick if (beg) *beg = reinterpret_cast<void*>(frame_beg);
2863cab2bb3Spatrick if (end) *end = reinterpret_cast<void*>(frame_end);
2873cab2bb3Spatrick return reinterpret_cast<void*>(frame->real_stack);
2883cab2bb3Spatrick }
2893cab2bb3Spatrick
2903cab2bb3Spatrick SANITIZER_INTERFACE_ATTRIBUTE
__asan_alloca_poison(uptr addr,uptr size)2913cab2bb3Spatrick void __asan_alloca_poison(uptr addr, uptr size) {
2923cab2bb3Spatrick uptr LeftRedzoneAddr = addr - kAllocaRedzoneSize;
2933cab2bb3Spatrick uptr PartialRzAddr = addr + size;
2943cab2bb3Spatrick uptr RightRzAddr = (PartialRzAddr + kAllocaRedzoneMask) & ~kAllocaRedzoneMask;
295*810390e3Srobert uptr PartialRzAligned = PartialRzAddr & ~(ASAN_SHADOW_GRANULARITY - 1);
2963cab2bb3Spatrick FastPoisonShadow(LeftRedzoneAddr, kAllocaRedzoneSize, kAsanAllocaLeftMagic);
2973cab2bb3Spatrick FastPoisonShadowPartialRightRedzone(
298*810390e3Srobert PartialRzAligned, PartialRzAddr % ASAN_SHADOW_GRANULARITY,
2993cab2bb3Spatrick RightRzAddr - PartialRzAligned, kAsanAllocaRightMagic);
3003cab2bb3Spatrick FastPoisonShadow(RightRzAddr, kAllocaRedzoneSize, kAsanAllocaRightMagic);
3013cab2bb3Spatrick }
3023cab2bb3Spatrick
3033cab2bb3Spatrick SANITIZER_INTERFACE_ATTRIBUTE
__asan_allocas_unpoison(uptr top,uptr bottom)3043cab2bb3Spatrick void __asan_allocas_unpoison(uptr top, uptr bottom) {
3053cab2bb3Spatrick if ((!top) || (top > bottom)) return;
306*810390e3Srobert REAL(memset)
307*810390e3Srobert (reinterpret_cast<void *>(MemToShadow(top)), 0,
308*810390e3Srobert (bottom - top) / ASAN_SHADOW_GRANULARITY);
3093cab2bb3Spatrick }
3103cab2bb3Spatrick } // extern "C"
311