1*7c3d14c8STreehugger Robot //===-- asan_fake_stack.cc ------------------------------------------------===//
2*7c3d14c8STreehugger Robot //
3*7c3d14c8STreehugger Robot // The LLVM Compiler Infrastructure
4*7c3d14c8STreehugger Robot //
5*7c3d14c8STreehugger Robot // This file is distributed under the University of Illinois Open Source
6*7c3d14c8STreehugger Robot // License. See LICENSE.TXT for details.
7*7c3d14c8STreehugger Robot //
8*7c3d14c8STreehugger Robot //===----------------------------------------------------------------------===//
9*7c3d14c8STreehugger Robot //
10*7c3d14c8STreehugger Robot // This file is a part of AddressSanitizer, an address sanity checker.
11*7c3d14c8STreehugger Robot //
12*7c3d14c8STreehugger Robot // FakeStack is used to detect use-after-return bugs.
13*7c3d14c8STreehugger Robot //===----------------------------------------------------------------------===//
14*7c3d14c8STreehugger Robot
15*7c3d14c8STreehugger Robot #include "asan_allocator.h"
16*7c3d14c8STreehugger Robot #include "asan_poisoning.h"
17*7c3d14c8STreehugger Robot #include "asan_thread.h"
18*7c3d14c8STreehugger Robot
19*7c3d14c8STreehugger Robot namespace __asan {
20*7c3d14c8STreehugger Robot
21*7c3d14c8STreehugger Robot static const u64 kMagic1 = kAsanStackAfterReturnMagic;
22*7c3d14c8STreehugger Robot static const u64 kMagic2 = (kMagic1 << 8) | kMagic1;
23*7c3d14c8STreehugger Robot static const u64 kMagic4 = (kMagic2 << 16) | kMagic2;
24*7c3d14c8STreehugger Robot static const u64 kMagic8 = (kMagic4 << 32) | kMagic4;
25*7c3d14c8STreehugger Robot
26*7c3d14c8STreehugger Robot static const u64 kAllocaRedzoneSize = 32UL;
27*7c3d14c8STreehugger Robot static const u64 kAllocaRedzoneMask = 31UL;
28*7c3d14c8STreehugger Robot
29*7c3d14c8STreehugger Robot // For small size classes inline PoisonShadow for better performance.
SetShadow(uptr ptr,uptr size,uptr class_id,u64 magic)30*7c3d14c8STreehugger Robot ALWAYS_INLINE void SetShadow(uptr ptr, uptr size, uptr class_id, u64 magic) {
31*7c3d14c8STreehugger Robot CHECK_EQ(SHADOW_SCALE, 3); // This code expects SHADOW_SCALE=3.
32*7c3d14c8STreehugger Robot u64 *shadow = reinterpret_cast<u64*>(MemToShadow(ptr));
33*7c3d14c8STreehugger Robot if (class_id <= 6) {
34*7c3d14c8STreehugger Robot for (uptr i = 0; i < (((uptr)1) << class_id); i++) {
35*7c3d14c8STreehugger Robot shadow[i] = magic;
36*7c3d14c8STreehugger Robot // Make sure this does not become memset.
37*7c3d14c8STreehugger Robot SanitizerBreakOptimization(nullptr);
38*7c3d14c8STreehugger Robot }
39*7c3d14c8STreehugger Robot } else {
40*7c3d14c8STreehugger Robot // The size class is too big, it's cheaper to poison only size bytes.
41*7c3d14c8STreehugger Robot PoisonShadow(ptr, size, static_cast<u8>(magic));
42*7c3d14c8STreehugger Robot }
43*7c3d14c8STreehugger Robot }
44*7c3d14c8STreehugger Robot
Create(uptr stack_size_log)45*7c3d14c8STreehugger Robot FakeStack *FakeStack::Create(uptr stack_size_log) {
46*7c3d14c8STreehugger Robot static uptr kMinStackSizeLog = 16;
47*7c3d14c8STreehugger Robot static uptr kMaxStackSizeLog = FIRST_32_SECOND_64(24, 28);
48*7c3d14c8STreehugger Robot if (stack_size_log < kMinStackSizeLog)
49*7c3d14c8STreehugger Robot stack_size_log = kMinStackSizeLog;
50*7c3d14c8STreehugger Robot if (stack_size_log > kMaxStackSizeLog)
51*7c3d14c8STreehugger Robot stack_size_log = kMaxStackSizeLog;
52*7c3d14c8STreehugger Robot uptr size = RequiredSize(stack_size_log);
53*7c3d14c8STreehugger Robot FakeStack *res = reinterpret_cast<FakeStack *>(
54*7c3d14c8STreehugger Robot flags()->uar_noreserve ? MmapNoReserveOrDie(size, "FakeStack")
55*7c3d14c8STreehugger Robot : MmapOrDie(size, "FakeStack"));
56*7c3d14c8STreehugger Robot res->stack_size_log_ = stack_size_log;
57*7c3d14c8STreehugger Robot u8 *p = reinterpret_cast<u8 *>(res);
58*7c3d14c8STreehugger Robot VReport(1, "T%d: FakeStack created: %p -- %p stack_size_log: %zd; "
59*7c3d14c8STreehugger Robot "mmapped %zdK, noreserve=%d \n",
60*7c3d14c8STreehugger Robot GetCurrentTidOrInvalid(), p,
61*7c3d14c8STreehugger Robot p + FakeStack::RequiredSize(stack_size_log), stack_size_log,
62*7c3d14c8STreehugger Robot size >> 10, flags()->uar_noreserve);
63*7c3d14c8STreehugger Robot return res;
64*7c3d14c8STreehugger Robot }
65*7c3d14c8STreehugger Robot
Destroy(int tid)66*7c3d14c8STreehugger Robot void FakeStack::Destroy(int tid) {
67*7c3d14c8STreehugger Robot PoisonAll(0);
68*7c3d14c8STreehugger Robot if (Verbosity() >= 2) {
69*7c3d14c8STreehugger Robot InternalScopedString str(kNumberOfSizeClasses * 50);
70*7c3d14c8STreehugger Robot for (uptr class_id = 0; class_id < kNumberOfSizeClasses; class_id++)
71*7c3d14c8STreehugger Robot str.append("%zd: %zd/%zd; ", class_id, hint_position_[class_id],
72*7c3d14c8STreehugger Robot NumberOfFrames(stack_size_log(), class_id));
73*7c3d14c8STreehugger Robot Report("T%d: FakeStack destroyed: %s\n", tid, str.data());
74*7c3d14c8STreehugger Robot }
75*7c3d14c8STreehugger Robot uptr size = RequiredSize(stack_size_log_);
76*7c3d14c8STreehugger Robot FlushUnneededASanShadowMemory(reinterpret_cast<uptr>(this), size);
77*7c3d14c8STreehugger Robot UnmapOrDie(this, size);
78*7c3d14c8STreehugger Robot }
79*7c3d14c8STreehugger Robot
PoisonAll(u8 magic)80*7c3d14c8STreehugger Robot void FakeStack::PoisonAll(u8 magic) {
81*7c3d14c8STreehugger Robot PoisonShadow(reinterpret_cast<uptr>(this), RequiredSize(stack_size_log()),
82*7c3d14c8STreehugger Robot magic);
83*7c3d14c8STreehugger Robot }
84*7c3d14c8STreehugger Robot
85*7c3d14c8STreehugger Robot #if !defined(_MSC_VER) || defined(__clang__)
86*7c3d14c8STreehugger Robot ALWAYS_INLINE USED
87*7c3d14c8STreehugger Robot #endif
Allocate(uptr stack_size_log,uptr class_id,uptr real_stack)88*7c3d14c8STreehugger Robot FakeFrame *FakeStack::Allocate(uptr stack_size_log, uptr class_id,
89*7c3d14c8STreehugger Robot uptr real_stack) {
90*7c3d14c8STreehugger Robot CHECK_LT(class_id, kNumberOfSizeClasses);
91*7c3d14c8STreehugger Robot if (needs_gc_)
92*7c3d14c8STreehugger Robot GC(real_stack);
93*7c3d14c8STreehugger Robot uptr &hint_position = hint_position_[class_id];
94*7c3d14c8STreehugger Robot const int num_iter = NumberOfFrames(stack_size_log, class_id);
95*7c3d14c8STreehugger Robot u8 *flags = GetFlags(stack_size_log, class_id);
96*7c3d14c8STreehugger Robot for (int i = 0; i < num_iter; i++) {
97*7c3d14c8STreehugger Robot uptr pos = ModuloNumberOfFrames(stack_size_log, class_id, hint_position++);
98*7c3d14c8STreehugger Robot // This part is tricky. On one hand, checking and setting flags[pos]
99*7c3d14c8STreehugger Robot // should be atomic to ensure async-signal safety. But on the other hand,
100*7c3d14c8STreehugger Robot // if the signal arrives between checking and setting flags[pos], the
101*7c3d14c8STreehugger Robot // signal handler's fake stack will start from a different hint_position
102*7c3d14c8STreehugger Robot // and so will not touch this particular byte. So, it is safe to do this
103*7c3d14c8STreehugger Robot // with regular non-atimic load and store (at least I was not able to make
104*7c3d14c8STreehugger Robot // this code crash).
105*7c3d14c8STreehugger Robot if (flags[pos]) continue;
106*7c3d14c8STreehugger Robot flags[pos] = 1;
107*7c3d14c8STreehugger Robot FakeFrame *res = reinterpret_cast<FakeFrame *>(
108*7c3d14c8STreehugger Robot GetFrame(stack_size_log, class_id, pos));
109*7c3d14c8STreehugger Robot res->real_stack = real_stack;
110*7c3d14c8STreehugger Robot *SavedFlagPtr(reinterpret_cast<uptr>(res), class_id) = &flags[pos];
111*7c3d14c8STreehugger Robot return res;
112*7c3d14c8STreehugger Robot }
113*7c3d14c8STreehugger Robot return nullptr; // We are out of fake stack.
114*7c3d14c8STreehugger Robot }
115*7c3d14c8STreehugger Robot
AddrIsInFakeStack(uptr ptr,uptr * frame_beg,uptr * frame_end)116*7c3d14c8STreehugger Robot uptr FakeStack::AddrIsInFakeStack(uptr ptr, uptr *frame_beg, uptr *frame_end) {
117*7c3d14c8STreehugger Robot uptr stack_size_log = this->stack_size_log();
118*7c3d14c8STreehugger Robot uptr beg = reinterpret_cast<uptr>(GetFrame(stack_size_log, 0, 0));
119*7c3d14c8STreehugger Robot uptr end = reinterpret_cast<uptr>(this) + RequiredSize(stack_size_log);
120*7c3d14c8STreehugger Robot if (ptr < beg || ptr >= end) return 0;
121*7c3d14c8STreehugger Robot uptr class_id = (ptr - beg) >> stack_size_log;
122*7c3d14c8STreehugger Robot uptr base = beg + (class_id << stack_size_log);
123*7c3d14c8STreehugger Robot CHECK_LE(base, ptr);
124*7c3d14c8STreehugger Robot CHECK_LT(ptr, base + (((uptr)1) << stack_size_log));
125*7c3d14c8STreehugger Robot uptr pos = (ptr - base) >> (kMinStackFrameSizeLog + class_id);
126*7c3d14c8STreehugger Robot uptr res = base + pos * BytesInSizeClass(class_id);
127*7c3d14c8STreehugger Robot *frame_end = res + BytesInSizeClass(class_id);
128*7c3d14c8STreehugger Robot *frame_beg = res + sizeof(FakeFrame);
129*7c3d14c8STreehugger Robot return res;
130*7c3d14c8STreehugger Robot }
131*7c3d14c8STreehugger Robot
HandleNoReturn()132*7c3d14c8STreehugger Robot void FakeStack::HandleNoReturn() {
133*7c3d14c8STreehugger Robot needs_gc_ = true;
134*7c3d14c8STreehugger Robot }
135*7c3d14c8STreehugger Robot
136*7c3d14c8STreehugger Robot // When throw, longjmp or some such happens we don't call OnFree() and
137*7c3d14c8STreehugger Robot // as the result may leak one or more fake frames, but the good news is that
138*7c3d14c8STreehugger Robot // we are notified about all such events by HandleNoReturn().
139*7c3d14c8STreehugger Robot // If we recently had such no-return event we need to collect garbage frames.
140*7c3d14c8STreehugger Robot // We do it based on their 'real_stack' values -- everything that is lower
141*7c3d14c8STreehugger Robot // than the current real_stack is garbage.
GC(uptr real_stack)142*7c3d14c8STreehugger Robot NOINLINE void FakeStack::GC(uptr real_stack) {
143*7c3d14c8STreehugger Robot uptr collected = 0;
144*7c3d14c8STreehugger Robot for (uptr class_id = 0; class_id < kNumberOfSizeClasses; class_id++) {
145*7c3d14c8STreehugger Robot u8 *flags = GetFlags(stack_size_log(), class_id);
146*7c3d14c8STreehugger Robot for (uptr i = 0, n = NumberOfFrames(stack_size_log(), class_id); i < n;
147*7c3d14c8STreehugger Robot i++) {
148*7c3d14c8STreehugger Robot if (flags[i] == 0) continue; // not allocated.
149*7c3d14c8STreehugger Robot FakeFrame *ff = reinterpret_cast<FakeFrame *>(
150*7c3d14c8STreehugger Robot GetFrame(stack_size_log(), class_id, i));
151*7c3d14c8STreehugger Robot if (ff->real_stack < real_stack) {
152*7c3d14c8STreehugger Robot flags[i] = 0;
153*7c3d14c8STreehugger Robot collected++;
154*7c3d14c8STreehugger Robot }
155*7c3d14c8STreehugger Robot }
156*7c3d14c8STreehugger Robot }
157*7c3d14c8STreehugger Robot needs_gc_ = false;
158*7c3d14c8STreehugger Robot }
159*7c3d14c8STreehugger Robot
ForEachFakeFrame(RangeIteratorCallback callback,void * arg)160*7c3d14c8STreehugger Robot void FakeStack::ForEachFakeFrame(RangeIteratorCallback callback, void *arg) {
161*7c3d14c8STreehugger Robot for (uptr class_id = 0; class_id < kNumberOfSizeClasses; class_id++) {
162*7c3d14c8STreehugger Robot u8 *flags = GetFlags(stack_size_log(), class_id);
163*7c3d14c8STreehugger Robot for (uptr i = 0, n = NumberOfFrames(stack_size_log(), class_id); i < n;
164*7c3d14c8STreehugger Robot i++) {
165*7c3d14c8STreehugger Robot if (flags[i] == 0) continue; // not allocated.
166*7c3d14c8STreehugger Robot FakeFrame *ff = reinterpret_cast<FakeFrame *>(
167*7c3d14c8STreehugger Robot GetFrame(stack_size_log(), class_id, i));
168*7c3d14c8STreehugger Robot uptr begin = reinterpret_cast<uptr>(ff);
169*7c3d14c8STreehugger Robot callback(begin, begin + FakeStack::BytesInSizeClass(class_id), arg);
170*7c3d14c8STreehugger Robot }
171*7c3d14c8STreehugger Robot }
172*7c3d14c8STreehugger Robot }
173*7c3d14c8STreehugger Robot
174*7c3d14c8STreehugger Robot #if SANITIZER_LINUX && !SANITIZER_ANDROID
175*7c3d14c8STreehugger Robot static THREADLOCAL FakeStack *fake_stack_tls;
176*7c3d14c8STreehugger Robot
GetTLSFakeStack()177*7c3d14c8STreehugger Robot FakeStack *GetTLSFakeStack() {
178*7c3d14c8STreehugger Robot return fake_stack_tls;
179*7c3d14c8STreehugger Robot }
SetTLSFakeStack(FakeStack * fs)180*7c3d14c8STreehugger Robot void SetTLSFakeStack(FakeStack *fs) {
181*7c3d14c8STreehugger Robot fake_stack_tls = fs;
182*7c3d14c8STreehugger Robot }
183*7c3d14c8STreehugger Robot #else
GetTLSFakeStack()184*7c3d14c8STreehugger Robot FakeStack *GetTLSFakeStack() { return 0; }
SetTLSFakeStack(FakeStack * fs)185*7c3d14c8STreehugger Robot void SetTLSFakeStack(FakeStack *fs) { }
186*7c3d14c8STreehugger Robot #endif // SANITIZER_LINUX && !SANITIZER_ANDROID
187*7c3d14c8STreehugger Robot
GetFakeStack()188*7c3d14c8STreehugger Robot static FakeStack *GetFakeStack() {
189*7c3d14c8STreehugger Robot AsanThread *t = GetCurrentThread();
190*7c3d14c8STreehugger Robot if (!t) return nullptr;
191*7c3d14c8STreehugger Robot return t->fake_stack();
192*7c3d14c8STreehugger Robot }
193*7c3d14c8STreehugger Robot
GetFakeStackFast()194*7c3d14c8STreehugger Robot static FakeStack *GetFakeStackFast() {
195*7c3d14c8STreehugger Robot if (FakeStack *fs = GetTLSFakeStack())
196*7c3d14c8STreehugger Robot return fs;
197*7c3d14c8STreehugger Robot if (!__asan_option_detect_stack_use_after_return)
198*7c3d14c8STreehugger Robot return nullptr;
199*7c3d14c8STreehugger Robot return GetFakeStack();
200*7c3d14c8STreehugger Robot }
201*7c3d14c8STreehugger Robot
OnMalloc(uptr class_id,uptr size)202*7c3d14c8STreehugger Robot ALWAYS_INLINE uptr OnMalloc(uptr class_id, uptr size) {
203*7c3d14c8STreehugger Robot FakeStack *fs = GetFakeStackFast();
204*7c3d14c8STreehugger Robot if (!fs) return 0;
205*7c3d14c8STreehugger Robot uptr local_stack;
206*7c3d14c8STreehugger Robot uptr real_stack = reinterpret_cast<uptr>(&local_stack);
207*7c3d14c8STreehugger Robot FakeFrame *ff = fs->Allocate(fs->stack_size_log(), class_id, real_stack);
208*7c3d14c8STreehugger Robot if (!ff) return 0; // Out of fake stack.
209*7c3d14c8STreehugger Robot uptr ptr = reinterpret_cast<uptr>(ff);
210*7c3d14c8STreehugger Robot SetShadow(ptr, size, class_id, 0);
211*7c3d14c8STreehugger Robot return ptr;
212*7c3d14c8STreehugger Robot }
213*7c3d14c8STreehugger Robot
OnFree(uptr ptr,uptr class_id,uptr size)214*7c3d14c8STreehugger Robot ALWAYS_INLINE void OnFree(uptr ptr, uptr class_id, uptr size) {
215*7c3d14c8STreehugger Robot FakeStack::Deallocate(ptr, class_id);
216*7c3d14c8STreehugger Robot SetShadow(ptr, size, class_id, kMagic8);
217*7c3d14c8STreehugger Robot }
218*7c3d14c8STreehugger Robot
219*7c3d14c8STreehugger Robot } // namespace __asan
220*7c3d14c8STreehugger Robot
221*7c3d14c8STreehugger Robot // ---------------------- Interface ---------------- {{{1
222*7c3d14c8STreehugger Robot using namespace __asan;
223*7c3d14c8STreehugger Robot #define DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(class_id) \
224*7c3d14c8STreehugger Robot extern "C" SANITIZER_INTERFACE_ATTRIBUTE uptr \
225*7c3d14c8STreehugger Robot __asan_stack_malloc_##class_id(uptr size) { \
226*7c3d14c8STreehugger Robot return OnMalloc(class_id, size); \
227*7c3d14c8STreehugger Robot } \
228*7c3d14c8STreehugger Robot extern "C" SANITIZER_INTERFACE_ATTRIBUTE void __asan_stack_free_##class_id( \
229*7c3d14c8STreehugger Robot uptr ptr, uptr size) { \
230*7c3d14c8STreehugger Robot OnFree(ptr, class_id, size); \
231*7c3d14c8STreehugger Robot }
232*7c3d14c8STreehugger Robot
233*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(0)
234*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(1)
235*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(2)
236*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(3)
237*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(4)
238*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(5)
239*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(6)
240*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(7)
241*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(8)
242*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(9)
243*7c3d14c8STreehugger Robot DEFINE_STACK_MALLOC_FREE_WITH_CLASS_ID(10)
244*7c3d14c8STreehugger Robot extern "C" {
245*7c3d14c8STreehugger Robot SANITIZER_INTERFACE_ATTRIBUTE
__asan_get_current_fake_stack()246*7c3d14c8STreehugger Robot void *__asan_get_current_fake_stack() { return GetFakeStackFast(); }
247*7c3d14c8STreehugger Robot
248*7c3d14c8STreehugger Robot SANITIZER_INTERFACE_ATTRIBUTE
__asan_addr_is_in_fake_stack(void * fake_stack,void * addr,void ** beg,void ** end)249*7c3d14c8STreehugger Robot void *__asan_addr_is_in_fake_stack(void *fake_stack, void *addr, void **beg,
250*7c3d14c8STreehugger Robot void **end) {
251*7c3d14c8STreehugger Robot FakeStack *fs = reinterpret_cast<FakeStack*>(fake_stack);
252*7c3d14c8STreehugger Robot if (!fs) return nullptr;
253*7c3d14c8STreehugger Robot uptr frame_beg, frame_end;
254*7c3d14c8STreehugger Robot FakeFrame *frame = reinterpret_cast<FakeFrame *>(fs->AddrIsInFakeStack(
255*7c3d14c8STreehugger Robot reinterpret_cast<uptr>(addr), &frame_beg, &frame_end));
256*7c3d14c8STreehugger Robot if (!frame) return nullptr;
257*7c3d14c8STreehugger Robot if (frame->magic != kCurrentStackFrameMagic)
258*7c3d14c8STreehugger Robot return nullptr;
259*7c3d14c8STreehugger Robot if (beg) *beg = reinterpret_cast<void*>(frame_beg);
260*7c3d14c8STreehugger Robot if (end) *end = reinterpret_cast<void*>(frame_end);
261*7c3d14c8STreehugger Robot return reinterpret_cast<void*>(frame->real_stack);
262*7c3d14c8STreehugger Robot }
263*7c3d14c8STreehugger Robot
264*7c3d14c8STreehugger Robot SANITIZER_INTERFACE_ATTRIBUTE
__asan_alloca_poison(uptr addr,uptr size)265*7c3d14c8STreehugger Robot void __asan_alloca_poison(uptr addr, uptr size) {
266*7c3d14c8STreehugger Robot uptr LeftRedzoneAddr = addr - kAllocaRedzoneSize;
267*7c3d14c8STreehugger Robot uptr PartialRzAddr = addr + size;
268*7c3d14c8STreehugger Robot uptr RightRzAddr = (PartialRzAddr + kAllocaRedzoneMask) & ~kAllocaRedzoneMask;
269*7c3d14c8STreehugger Robot uptr PartialRzAligned = PartialRzAddr & ~(SHADOW_GRANULARITY - 1);
270*7c3d14c8STreehugger Robot FastPoisonShadow(LeftRedzoneAddr, kAllocaRedzoneSize, kAsanAllocaLeftMagic);
271*7c3d14c8STreehugger Robot FastPoisonShadowPartialRightRedzone(
272*7c3d14c8STreehugger Robot PartialRzAligned, PartialRzAddr % SHADOW_GRANULARITY,
273*7c3d14c8STreehugger Robot RightRzAddr - PartialRzAligned, kAsanAllocaRightMagic);
274*7c3d14c8STreehugger Robot FastPoisonShadow(RightRzAddr, kAllocaRedzoneSize, kAsanAllocaRightMagic);
275*7c3d14c8STreehugger Robot }
276*7c3d14c8STreehugger Robot
277*7c3d14c8STreehugger Robot SANITIZER_INTERFACE_ATTRIBUTE
__asan_allocas_unpoison(uptr top,uptr bottom)278*7c3d14c8STreehugger Robot void __asan_allocas_unpoison(uptr top, uptr bottom) {
279*7c3d14c8STreehugger Robot if ((!top) || (top > bottom)) return;
280*7c3d14c8STreehugger Robot REAL(memset)(reinterpret_cast<void*>(MemToShadow(top)), 0,
281*7c3d14c8STreehugger Robot (bottom - top) / SHADOW_GRANULARITY);
282*7c3d14c8STreehugger Robot }
283*7c3d14c8STreehugger Robot } // extern "C"
284