| 1 | // RUN: %clang_cl_asan %Od %p/dll_host.cpp %Fe%t |
|---|
| 2 | // RUN: %clang_cl_asan %if !MSVC %{ -Wno-fortify-source %} %LD %Od %s %Fe%t.dll |
|---|
| 3 | // RUN: not %run %t %t.dll 2>&1 | FileCheck %s |
|---|
| 4 | |
|---|
| 5 | // Test that it works correctly even with ICF enabled. |
|---|
| 6 | // RUN: %clang_cl_asan %if !MSVC %{ -Wno-fortify-source %} %LD %Od %s %Fe%t.dll \ |
|---|
| 7 | // RUN: %if target={{.*-windows-gnu}} %{ -Wl,--gc-sections,--icf=all %} \ |
|---|
| 8 | // RUN: %else %{ -link /OPT:REF /OPT:ICF %} |
|---|
| 9 | // RUN: not %run %t %t.dll 2>&1 | FileCheck %s |
|---|
| 10 | |
|---|
| 11 | #include <stdio.h> |
|---|
| 12 | #include <string.h> |
|---|
| 13 | |
|---|
| 14 | extern "C" __declspec(dllexport) |
|---|
| 15 | int test_function() { |
|---|
| 16 | char buff1[6] = "Hello" , buff2[5]; |
|---|
| 17 | |
|---|
| 18 | memcpy(dest: buff2, src: buff1, n: 5); |
|---|
| 19 | if (buff1[2] != buff2[2]) |
|---|
| 20 | return 2; |
|---|
| 21 | printf(format: "Initial test OK\n" ); |
|---|
| 22 | fflush(stream: 0); |
|---|
| 23 | // CHECK: Initial test OK |
|---|
| 24 | |
|---|
| 25 | memcpy(dest: buff2, src: buff1, n: 6); |
|---|
| 26 | // CHECK: AddressSanitizer: stack-buffer-overflow on address [[ADDR:0x[0-9a-f]+]] |
|---|
| 27 | // CHECK: WRITE of size 6 at [[ADDR]] thread T0 |
|---|
| 28 | // CHECK-NEXT: __asan_{{.*}}{{(memcpy|memmove)}} |
|---|
| 29 | // CHECK-NEXT: test_function {{.*}}dll_intercept_memcpy.cpp:[[@LINE-4]] |
|---|
| 30 | // CHECK: Address [[ADDR]] is located in stack of thread T0 at offset {{.*}} in frame |
|---|
| 31 | // CHECK-NEXT: test_function {{.*}}dll_intercept_memcpy.cpp |
|---|
| 32 | // CHECK: 'buff2'{{.*}} <== Memory access at offset {{.*}} overflows this variable |
|---|
| 33 | return 0; |
|---|
| 34 | } |
|---|
| 35 | |
|---|
