diff options
author | Peter Collingbourne <peter@pcc.me.uk> | 2019-07-09 20:22:36 +0000 |
---|---|---|
committer | Peter Collingbourne <peter@pcc.me.uk> | 2019-07-09 20:22:36 +0000 |
commit | 0e5e92c2f05a900e816783def8dea3d8c9bb5fa2 (patch) | |
tree | 300d310eac711ddce85da064753653c95438ab9f /test/hwasan | |
parent | 89b1efade55161b3f6e1738c9b89def20b908879 (diff) | |
download | compiler-rt-0e5e92c2f05a900e816783def8dea3d8c9bb5fa2.tar.gz |
hwasan: Improve precision of checks using short granule tags.
A short granule is a granule of size between 1 and `TG-1` bytes. The size
of a short granule is stored at the location in shadow memory where the
granule's tag is normally stored, while the granule's actual tag is stored
in the last byte of the granule. This means that in order to verify that a
pointer tag matches a memory tag, HWASAN must check for two possibilities:
* the pointer tag is equal to the memory tag in shadow memory, or
* the shadow memory tag is actually a short granule size, the value being loaded
is in bounds of the granule and the pointer tag is equal to the last byte of
the granule.
Pointer tags between 1 to `TG-1` are possible and are as likely as any other
tag. This means that these tags in memory have two interpretations: the full
tag interpretation (where the pointer tag is between 1 and `TG-1` and the
last byte of the granule is ordinary data) and the short tag interpretation
(where the pointer tag is stored in the granule).
When HWASAN detects an error near a memory tag between 1 and `TG-1`, it
will show both the memory tag and the last byte of the granule. Currently,
it is up to the user to disambiguate the two possibilities.
Because this functionality obsoletes the right aligned heap feature of
the HWASAN memory allocator (and because we can no longer easily test
it), the feature is removed.
Also update the documentation to cover both short granule tags and
outlined checks.
Differential Revision: https://reviews.llvm.org/D63908
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@365551 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/hwasan')
-rw-r--r-- | test/hwasan/TestCases/heap-buffer-overflow.c | 37 | ||||
-rw-r--r-- | test/hwasan/TestCases/random-align-right.c | 35 | ||||
-rw-r--r-- | test/hwasan/TestCases/stack-oob.c | 3 | ||||
-rw-r--r-- | test/hwasan/TestCases/tail-magic.c | 16 |
4 files changed, 27 insertions, 64 deletions
diff --git a/test/hwasan/TestCases/heap-buffer-overflow.c b/test/hwasan/TestCases/heap-buffer-overflow.c index 9f605b320..f3ff7bc8f 100644 --- a/test/hwasan/TestCases/heap-buffer-overflow.c +++ b/test/hwasan/TestCases/heap-buffer-overflow.c @@ -1,21 +1,13 @@ // RUN: %clang_hwasan %s -o %t -// RUN: not %run %t 40 2>&1 | FileCheck %s --check-prefix=CHECK40-LEFT -// RUN: %env_hwasan_opts=malloc_align_right=2 not %run %t 40 2>&1 | FileCheck %s --check-prefix=CHECK40-RIGHT -// RUN: not %run %t 80 2>&1 | FileCheck %s --check-prefix=CHECK80-LEFT -// RUN: %env_hwasan_opts=malloc_align_right=2 not %run %t 80 2>&1 | FileCheck %s --check-prefix=CHECK80-RIGHT +// RUN: not %run %t 40 2>&1 | FileCheck %s --check-prefix=CHECK40 +// RUN: not %run %t 80 2>&1 | FileCheck %s --check-prefix=CHECK80 // RUN: not %run %t -30 2>&1 | FileCheck %s --check-prefix=CHECKm30 // RUN: not %run %t -30 1000000 2>&1 | FileCheck %s --check-prefix=CHECKMm30 // RUN: not %run %t 1000000 1000000 2>&1 | FileCheck %s --check-prefix=CHECKM // Test OOB within the granule. -// Misses the bug when malloc is left-aligned, catches it otherwise. -// RUN: %run %t 31 -// RUN: %env_hwasan_opts=malloc_align_right=2 not %run %t 31 2>&1 | FileCheck %s --check-prefix=CHECK31 - -// RUN: %run %t 30 20 -// RUN: %env_hwasan_opts=malloc_align_right=9 not %run %t 30 20 2>&1 | FileCheck %s --check-prefix=CHECK20-RIGHT8 - -// RUN: %env_hwasan_opts=malloc_align_right=42 not %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-WRONG-FLAG +// RUN: not %run %t 31 2>&1 | FileCheck %s --check-prefix=CHECK31 +// RUN: not %run %t 30 20 2>&1 | FileCheck %s --check-prefix=CHECK20 // REQUIRES: stable-runtime @@ -33,15 +25,11 @@ int main(int argc, char **argv) { fprintf(stderr, "base: %p access: %p\n", x, &x[offset]); sink = x[offset]; -// CHECK40-LEFT: allocated heap chunk; size: 32 offset: 8 -// CHECK40-LEFT: is located 10 bytes to the right of 30-byte region -// CHECK40-RIGHT: allocated heap chunk; size: 32 offset: -// CHECK40-RIGHT: is located 10 bytes to the right of 30-byte region +// CHECK40: allocated heap chunk; size: 32 offset: 8 +// CHECK40: is located 10 bytes to the right of 30-byte region // -// CHECK80-LEFT: allocated heap chunk; size: 32 offset: 16 -// CHECK80-LEFT: is located 50 bytes to the right of 30-byte region -// CHECK80-RIGHT: allocated heap chunk; size: 32 offset: -// CHECK80-RIGHT: is located 50 bytes to the right of 30-byte region +// CHECK80: allocated heap chunk; size: 32 offset: 16 +// CHECK80: is located 50 bytes to the right of 30-byte region // // CHECKm30: is located 30 bytes to the left of 30-byte region // @@ -51,10 +39,13 @@ int main(int argc, char **argv) { // CHECKM: is a large allocated heap chunk; size: 1003520 offset: 1000000 // CHECKM: is located 0 bytes to the right of 1000000-byte region // +// CHECK31: tags: [[TAG:..]]/0e (ptr/mem) // CHECK31: is located 1 bytes to the right of 30-byte region +// CHECK31: Memory tags around the buggy address +// CHECK31: [0e] +// CHECK31: Tags for short granules around the buggy address +// CHECK31: {{\[}}[[TAG]]] // -// CHECK20-RIGHT8: is located 10 bytes to the right of 20-byte region [0x{{.*}}8,0x{{.*}}c) -// -// CHECK-WRONG-FLAG: ERROR: unsupported value of malloc_align_right flag: 42 +// CHECK20: is located 10 bytes to the right of 20-byte region [0x{{.*}}0,0x{{.*}}4) free(x); } diff --git a/test/hwasan/TestCases/random-align-right.c b/test/hwasan/TestCases/random-align-right.c deleted file mode 100644 index e6e634179..000000000 --- a/test/hwasan/TestCases/random-align-right.c +++ /dev/null @@ -1,35 +0,0 @@ -// Tests malloc_align_right=1 and 8 (randomly aligning right). -// RUN: %clang_hwasan %s -o %t -// -// RUN: %run %t 20 -// RUN: %run %t 30 -// RUN: %env_hwasan_opts=malloc_align_right=1 not %run %t 20 2>&1 | FileCheck %s --check-prefix=CHECK20 -// RUN: %env_hwasan_opts=malloc_align_right=1 not %run %t 30 2>&1 | FileCheck %s --check-prefix=CHECK30 -// RUN: %env_hwasan_opts=malloc_align_right=8 not %run %t 30 2>&1 | FileCheck %s --check-prefix=CHECK30 - -// REQUIRES: stable-runtime - -#include <stdlib.h> -#include <stdio.h> -#include <sanitizer/hwasan_interface.h> - -static volatile void *sink; - -int main(int argc, char **argv) { - __hwasan_enable_allocator_tagging(); - int index = atoi(argv[1]); - - // Perform 1000 buffer overflows within the 16-byte granule, - // so that random right-alignment has a very high chance of - // catching at least one of them. - for (int i = 0; i < 1000; i++) { - char *p = (char*)malloc(20); - sink = p; - p[index] = 0; -// index=20 requires malloc_align_right=1 to catch -// CHECK20: HWAddressSanitizer: tag-mismatch -// index=30 requires malloc_align_right={1,8} to catch -// CHECK30: HWAddressSanitizer: tag-mismatch - } -} - diff --git a/test/hwasan/TestCases/stack-oob.c b/test/hwasan/TestCases/stack-oob.c index 567af334e..ba7493092 100644 --- a/test/hwasan/TestCases/stack-oob.c +++ b/test/hwasan/TestCases/stack-oob.c @@ -1,3 +1,4 @@ +// RUN: %clang_hwasan -DSIZE=15 -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s // RUN: %clang_hwasan -DSIZE=16 -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s // RUN: %clang_hwasan -DSIZE=64 -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s // RUN: %clang_hwasan -DSIZE=0x1000 -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s @@ -17,7 +18,7 @@ int f() { int main() { return f(); // CHECK: READ of size 1 at - // CHECK: #0 {{.*}} in f{{.*}}stack-oob.c:14 + // CHECK: #0 {{.*}} in f{{.*}}stack-oob.c:15 // CHECK: is located in stack of threa diff --git a/test/hwasan/TestCases/tail-magic.c b/test/hwasan/TestCases/tail-magic.c index 95c5ada08..8cdeaab4d 100644 --- a/test/hwasan/TestCases/tail-magic.c +++ b/test/hwasan/TestCases/tail-magic.c @@ -10,19 +10,25 @@ #include <stdio.h> #include <sanitizer/hwasan_interface.h> -static volatile void *sink; +static volatile char *sink; + +// Overwrite the tail in a non-hwasan function so that we don't detect the +// stores as OOB. +__attribute__((no_sanitize("hwaddress"))) void overwrite_tail() { + sink[20] = 0x42; + sink[24] = 0x66; +} int main(int argc, char **argv) { __hwasan_enable_allocator_tagging(); char *p = (char*)malloc(20); - sink = p; - p[20] = 0x42; - p[24] = 0x66; + sink = (char *)((uintptr_t)(p) & 0xffffffffffffff); + overwrite_tail(); free(p); // CHECK: ERROR: HWAddressSanitizer: alocation-tail-overwritten; heap object [{{.*}}) of size 20 // CHECK: in main {{.*}}tail-magic.c:[[@LINE-2]] // CHECK: allocated here: -// CHECK: in main {{.*}}tail-magic.c:[[@LINE-8]] +// CHECK: in main {{.*}}tail-magic.c:[[@LINE-7]] // CHECK: Tail contains: .. .. .. .. 42 {{.. .. ..}} 66 } |