Stephen Hines | 6a211c5 | 2014-07-21 00:49:56 -0700 | [diff] [blame] | 1 | // RUN: %clangxx_asan %s -pthread -o %t |
Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 2 | // RUN: %env_asan_opts=detect_stack_use_after_return=1 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1 |
| 3 | // RUN: %env_asan_opts=detect_stack_use_after_return=0 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK0 |
Stephen Hines | 86277eb | 2015-03-23 12:06:32 -0700 | [diff] [blame] | 4 | // RUN: %clangxx_asan -O3 %s -pthread -o %t |
Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 5 | // RUN: %env_asan_opts=detect_stack_use_after_return=1 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1 |
| 6 | // RUN: %env_asan_opts=detect_stack_use_after_return=0 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK0 |
Stephen Hines | 6a211c5 | 2014-07-21 00:49:56 -0700 | [diff] [blame] | 7 | // REQUIRES: stable-runtime |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 8 | |
| 9 | #include <assert.h> |
| 10 | #include <stdio.h> |
| 11 | #include <pthread.h> |
| 12 | #include <sanitizer/asan_interface.h> |
| 13 | |
| 14 | static const int kNumThreads = 2; |
Stephen Hines | 86277eb | 2015-03-23 12:06:32 -0700 | [diff] [blame] | 15 | static const int kLeftRedzoneSize = sizeof(void *) * 4; |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 16 | |
| 17 | void *Thread(void *unused) { |
| 18 | void *fake_stack = __asan_get_current_fake_stack(); |
| 19 | char var[15]; |
| 20 | if (fake_stack) { |
| 21 | fprintf(stderr, "fake stack found: %p; var: %p\n", fake_stack, var); |
| 22 | // CHECK1: fake stack found |
| 23 | // CHECK1: fake stack found |
| 24 | void *beg, *end; |
| 25 | void *real_stack = |
| 26 | __asan_addr_is_in_fake_stack(fake_stack, &var[0], &beg, &end); |
| 27 | assert(real_stack); |
| 28 | assert((char*)beg <= (char*)&var[0]); |
| 29 | assert((char*)end > (char*)&var[0]); |
Stephen Hines | 86277eb | 2015-03-23 12:06:32 -0700 | [diff] [blame] | 30 | for (int i = -kLeftRedzoneSize; i < 15; i++) { |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 31 | void *beg1, *end1; |
| 32 | char *ptr = &var[0] + i; |
| 33 | void *real_stack1 = |
| 34 | __asan_addr_is_in_fake_stack(fake_stack, ptr, &beg1, &end1); |
| 35 | assert(real_stack == real_stack1); |
| 36 | assert(beg == beg1); |
| 37 | assert(end == end1); |
| 38 | } |
| 39 | } else { |
| 40 | fprintf(stderr, "no fake stack\n"); |
| 41 | // CHECK0: no fake stack |
| 42 | // CHECK0: no fake stack |
| 43 | } |
| 44 | return NULL; |
| 45 | } |
| 46 | |
| 47 | int main(int argc, char **argv) { |
| 48 | pthread_t t[kNumThreads]; |
| 49 | for (int i = 0; i < kNumThreads; i++) |
| 50 | pthread_create(&t[i], 0, Thread, 0); |
| 51 | for (int i = 0; i < kNumThreads; i++) |
| 52 | pthread_join(t[i], 0); |
| 53 | return 0; |
| 54 | } |