1 | // RUN: %clang_cl_asan %Od %s %Fe%t |
2 | // RUN: not %run %t 2>&1 | FileCheck %s |
3 | |
4 | #include <stdio.h> |
5 | #include <string.h> |
6 | |
7 | int main() { |
8 | char str[] = "Hello" ; |
9 | if (5 != strlen(s: str)) |
10 | return 1; |
11 | |
12 | printf(format: "Initial test OK\n" ); |
13 | fflush(stream: 0); |
14 | // CHECK: Initial test OK |
15 | |
16 | str[5] = '!'; // Losing '\0' at the end. |
17 | int len = strlen(s: str); |
18 | // CHECK: AddressSanitizer: stack-buffer-overflow on address [[ADDR:0x[0-9a-f]+]] |
19 | // FIXME: Should be READ of size 1, see issue 155. |
20 | // CHECK: READ of size {{[0-9]+}} at [[ADDR]] thread T0 |
21 | // CHECK: strlen |
22 | // CHECK-NEXT: main {{.*}}intercept_strlen.cpp:[[@LINE-5]] |
23 | // CHECK: Address [[ADDR]] is located in stack of thread T0 at offset {{.*}} in frame |
24 | // CHECK-NEXT: main {{.*}}intercept_strlen.cpp |
25 | // CHECK: 'str'{{.*}} <== Memory access at offset {{.*}} overflows this variable |
26 | return len < 6; |
27 | } |
28 | |