1 // RUN: %clangxx_asan %s -pthread -o %t 2 // RUN: env ASAN_OPTIONS=detect_stack_use_after_return=1 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1 3 // RUN: env ASAN_OPTIONS=detect_stack_use_after_return=0 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK0 4 // REQUIRES: stable-runtime 5 6 #include <assert.h> 7 #include <stdio.h> 8 #include <pthread.h> 9 #include <sanitizer/asan_interface.h> 10 11 static const int kNumThreads = 2; 12 13 void *Thread(void *unused) { 14 void *fake_stack = __asan_get_current_fake_stack(); 15 char var[15]; 16 if (fake_stack) { 17 fprintf(stderr, "fake stack found: %p; var: %p\n", fake_stack, var); 18 // CHECK1: fake stack found 19 // CHECK1: fake stack found 20 void *beg, *end; 21 void *real_stack = 22 __asan_addr_is_in_fake_stack(fake_stack, &var[0], &beg, &end); 23 assert(real_stack); 24 assert((char*)beg <= (char*)&var[0]); 25 assert((char*)end > (char*)&var[0]); 26 for (int i = -32; i < 15; i++) { 27 void *beg1, *end1; 28 char *ptr = &var[0] + i; 29 void *real_stack1 = 30 __asan_addr_is_in_fake_stack(fake_stack, ptr, &beg1, &end1); 31 assert(real_stack == real_stack1); 32 assert(beg == beg1); 33 assert(end == end1); 34 } 35 } else { 36 fprintf(stderr, "no fake stack\n"); 37 // CHECK0: no fake stack 38 // CHECK0: no fake stack 39 } 40 return NULL; 41 } 42 43 int main(int argc, char **argv) { 44 pthread_t t[kNumThreads]; 45 for (int i = 0; i < kNumThreads; i++) 46 pthread_create(&t[i], 0, Thread, 0); 47 for (int i = 0; i < kNumThreads; i++) 48 pthread_join(t[i], 0); 49 return 0; 50 } 51
