15d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: %clang_cl_asan -O0 %p/dll_host.cc -Fe%t
25d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: %clang_cl_asan -LD -O0 %s -Fe%t.dll
32d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: not %run %t %t.dll 2>&1 | FileCheck %s
42d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines
52d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#include <stdio.h>
62d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#include <string.h>
72d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines
82d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesextern "C" __declspec(dllexport)
92d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesint test_function() {
102d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines  char str[] = "Hello!";
112d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines  if (6 != strlen(str))
122d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines    return 1;
132d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines  printf("Initial test OK\n");
142d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines  fflush(0);
152d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: Initial test OK
162d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines
172d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines  str[6] = '!';  // Removes '\0' at the end!
182d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines  int len = strlen(str);
192d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: AddressSanitizer: stack-buffer-overflow on address [[ADDR:0x[0-9a-f]+]]
202d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// FIXME: Should be READ of size 1, see issue 155.
212d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: READ of size {{[0-9]+}} at [[ADDR]] thread T0
222d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-NEXT: {{#0 .*}}strlen
232d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-NEXT: {{#1 .* test_function .*}}dll_intercept_strlen.cc:[[@LINE-5]]
242d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines//
252d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: Address [[ADDR]] is located in stack of thread T0 at offset {{.*}} in frame
262d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-NEXT: test_function {{.*}}dll_intercept_strlen.cc:
272d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines  return len > 42;
282d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines}
29