51 lines · c
1// Tests free_checks_tail_magic=1.2// RUN: %clang_hwasan %s -o %t3// RUN: %env_hwasan_opts=free_checks_tail_magic=0 %run %t4// RUN: %env_hwasan_opts=free_checks_tail_magic=1 not %run %t 2>&1 | \5// RUN: FileCheck --check-prefixes=CHECK,CHECK-NONLASTGRANULE --strict-whitespace %s6// RUN: not %run %t 2>&1 | \7// RUN: FileCheck --check-prefixes=CHECK,CHECK-NONLASTGRANULE --strict-whitespace %s8// RUN: %clang_hwasan -DLAST_GRANULE %s -o %t9// RUN: not %run %t 2>&1 | \10// RUN: FileCheck --check-prefixes=CHECK,CHECK-LASTGRANULE --strict-whitespace %s11 12#include <stdlib.h>13#include <stdio.h>14#include <sanitizer/hwasan_interface.h>15 16static volatile char *sink;17 18// Overwrite the tail in a non-hwasan function so that we don't detect the19// stores as OOB.20__attribute__((no_sanitize("hwaddress"))) void overwrite_tail() {21#ifdef LAST_GRANULE22 sink[31] = 0x71;23#else // LAST_GRANULE24 sink[20] = 0x42;25 sink[24] = 0x66;26#endif // LAST_GRANULE27}28 29int main(int argc, char **argv) {30 __hwasan_enable_allocator_tagging();31 32 char *p = (char*)malloc(20);33 __hwasan_print_shadow(p, 1);34 sink = p;35 overwrite_tail();36 free(p);37// CHECK: HWASan shadow map for {{.*}} (pointer tag [[TAG:[a-f0-9]+]])38// CHECK: ERROR: HWAddressSanitizer: allocation-tail-overwritten; heap object [{{.*}}) of size 2039// CHECK: Stack of invalid access unknown. Issue detected at deallocation time.40// CHECK: deallocated here:41// CHECK: in main {{.*}}tail-magic.c:[[@LINE-5]]42// CHECK: allocated here:43// CHECK: in main {{.*}}tail-magic.c:[[@LINE-11]]44// CHECK-NONLASTGRANULE: Tail contains: .. .. .. .. 42 {{(([a-f0-9]{2} ){3})}}6645// CHECK-LASTGRANULE: Tail contains: .. .. .. .. {{(([a-f0-9]{2} ?)+)}}71{{ *$}}46// CHECK-NEXT: Expected: {{ +}} .. .. .. .. {{([a-f0-9]{2} )+0?}}[[TAG]]{{ *$}}47// CHECK-NONLASTGRANULE-NEXT: {{ +}}^^{{ +}}^^{{ *$}}48// CHECK-LASTGRANULE-NEXT: {{ +}}^^{{ *$}}49 return 0;50}51