1 // RUN: %clang_cl_asan -O0 %s -Fe%t 2 // RUN: not %run %t 2>&1 | FileCheck %s 3 4 #include <stdio.h> 5 #include <string.h> 6 7 void call_memcpy(void* (*f)(void *, const void *, size_t), 8 void *a, const void *b, size_t c) { 9 f(a, b, c); 10 } 11 12 int main() { 13 char buff1[6] = "Hello", buff2[5]; 14 15 call_memcpy(&memcpy, buff2, buff1, 5); 16 if (buff1[2] != buff2[2]) 17 return 2; 18 printf("Initial test OK\n"); 19 fflush(0); 20 // CHECK: Initial test OK 21 22 call_memcpy(&memcpy, buff2, buff1, 6); 23 // CHECK: AddressSanitizer: stack-buffer-overflow on address [[ADDR:0x[0-9a-f]+]] 24 // CHECK: WRITE of size 6 at [[ADDR]] thread T0 25 // CHECK-NEXT: __asan_{{.*}}memcpy 26 // CHECK-NEXT: call_memcpy 27 // CHECK-NEXT: main {{.*}}intercept_memcpy.cc:[[@LINE-5]] 28 // CHECK: Address [[ADDR]] is located in stack of thread T0 at offset {{.*}} in frame 29 // CHECK-NEXT: #0 {{.*}} main 30 // CHECK: 'buff2' <== Memory access at offset {{.*}} overflows this variable 31 } 32
