1 // RUN: %clangxx_asan -O0 -fno-builtin %s -o %t
2 // RUN: not %run %t 2>&1 | FileCheck %s
3 // RUN: echo "interceptor_via_fun:bad_function" > %t.supp
4 // RUN: %env_asan_opts=suppressions='"%t.supp"' %run %t
5 // RUN: echo "interceptor_name:strcat" > %t.supp
6 // RUN: %env_asan_opts=suppressions='"%t.supp"' %run %t
7 //
8 // RUN: %clangxx_asan -O1 -fno-builtin %s -o %t
9 // RUN: not %run %t 2>&1 | FileCheck %s
10 // RUN: echo "interceptor_via_fun:bad_function" > %t.supp
11 // RUN: %env_asan_opts=suppressions='"%t.supp"' %run %t
12 // RUN: echo "interceptor_name:strcat" > %t.supp
13 // RUN: %env_asan_opts=suppressions='"%t.supp"' %run %t
14 //
15 // RUN: %clangxx_asan -O2 -fno-builtin %s -o %t
16 // RUN: not %run %t 2>&1 | FileCheck %s
17 // RUN: echo "interceptor_via_fun:bad_function" > %t.supp
18 // RUN: %env_asan_opts=suppressions='"%t.supp"' %run %t
19 // RUN: echo "interceptor_name:strcat" > %t.supp
20 // RUN: %env_asan_opts=suppressions='"%t.supp"' %run %t
21 //
22 // RUN: %clangxx_asan -O3 -fno-builtin %s -o %t
23 // RUN: not %run %t 2>&1 | FileCheck %s
24 // RUN: echo "interceptor_via_fun:bad_function" > %t.supp
25 // RUN: %env_asan_opts=suppressions='"%t.supp"' %run %t
26 // RUN: echo "interceptor_name:strcat" > %t.supp
27 // RUN: %env_asan_opts=suppressions='"%t.supp"' %run %t
28 
29 // This test when run with suppressions invokes undefined
30 // behavior which can cause all sorts of bad things to happen
31 // depending on how strcat() is implemented. For now only run
32 // on platforms where we know the test passes.
33 // REQUIRES: x86_64h-darwin || x86_64-darwin || i386-darwin || x86_64-linux || i386-linux
34 // UNSUPPORTED: windows-msvc
35 // UNSUPPORTED: android
36 
37 #include <string.h>
38 
39 
40 // Don't inline function otherwise stacktrace changes.
41 __attribute__((noinline)) void bad_function() {
42   char buffer[] = "hello\0XXX";
43   // CHECK: strcat-param-overlap: memory ranges
44   // CHECK: [{{0x.*,[ ]*0x.*}}) and [{{0x.*,[ ]*0x.*}}) overlap
45   // CHECK: {{#0 0x.* in .*strcat}}
46   // CHECK: {{#1 0x.* in bad_function.*strcat-overlap.cpp:}}[[@LINE+2]]
47   // CHECK: {{#2 0x.* in main .*strcat-overlap.cpp:}}[[@LINE+5]]
48   strcat(buffer, buffer + 1); // BOOM
49 }
50 
51 int main(int argc, char **argv) {
52   bad_function();
53   return 0;
54 }