test/asan/TestCases/heap-overflow.cc

   1 // RUN: %clangxx_asan -O0 %s -o %t && not %t 2>&1 | FileCheck %s --check-prefix=CHECK-%os --check-prefix=CHECK
   2 // RUN: %clangxx_asan -O1 %s -o %t && not %t 2>&1 | FileCheck %s --check-prefix=CHECK-%os --check-prefix=CHECK
   3 // RUN: %clangxx_asan -O2 %s -o %t && not %t 2>&1 | FileCheck %s --check-prefix=CHECK-%os --check-prefix=CHECK
   4 // RUN: %clangxx_asan -O3 %s -o %t && not %t 2>&1 | FileCheck %s --check-prefix=CHECK-%os --check-prefix=CHECK
   5
   6 #include <stdlib.h>
   7 #include <string.h>
   8 int main(int argc, char **argv) {
   9   char *x = (char*)malloc(10 * sizeof(char));
  10   memset(x, 0, 10);
  11   int res = x[argc * 10];  // BOOOM
  12   // CHECK: {{READ of size 1 at 0x.* thread T0}}
  13   // CHECK: {{    #0 0x.* in main .*heap-overflow.cc:}}[[@LINE-2]]
  14   // CHECK: {{0x.* is located 0 bytes to the right of 10-byte region}}
  15   // CHECK: {{allocated by thread T0 here:}}
  16
  17   // CHECK-Linux: {{    #0 0x.* in .*malloc}}
  18   // CHECK-Linux: {{    #1 0x.* in main .*heap-overflow.cc:9}}
  19
  20   // CHECK-Darwin: {{    #0 0x.* in wrap_malloc.*}}
  21   // CHECK-Darwin: {{    #1 0x.* in main .*heap-overflow.cc:9}}
  22   free(x);
  23   return res;
  24 }