| Index: tests_lit/asan_tests/blacklist.ll
|
| diff --git a/tests_lit/asan_tests/blacklist.ll b/tests_lit/asan_tests/blacklist.ll
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..9a82d9ddad0e4679ee55591d62447e0e8b220889
|
| --- /dev/null
|
| +++ b/tests_lit/asan_tests/blacklist.ll
|
| @@ -0,0 +1,49 @@
|
| +; Test to ensure that blacklisted functions are not instrumented and others are.
|
| +
|
| +; REQUIRES: allow_dump
|
| +
|
| +; RUN: %p2i -i %s --args -verbose=inst -threads=0 -fsanitize-address \
|
| +; RUN: -allow-externally-defined-symbols | FileCheck --check-prefix=DUMP %s
|
| +
|
| +declare external i32 @malloc(i32)
|
| +declare external void @free(i32)
|
| +
|
| +; A black listed function
|
| +define internal void @_Balloc() {
|
| + %local = alloca i8, i32 4, align 4
|
| + %heapvar = call i32 @malloc(i32 42)
|
| + call void @free(i32 %heapvar)
|
| + ret void
|
| +}
|
| +
|
| +; DUMP-LABEL: ================ Instrumented CFG ================
|
| +; DUMP-NEXT: define internal void @_Balloc() {
|
| +; DUMP-NEXT: __0:
|
| +; DUMP-NEXT: %local = alloca i8, i32 4, align 4
|
| +; DUMP-NEXT: %heapvar = call i32 @malloc(i32 42)
|
| +; DUMP-NEXT: call void @free(i32 %heapvar)
|
| +; DUMP-NEXT: ret void
|
| +; DUMP-NEXT: }
|
| +
|
| +; A non black listed function
|
| +define internal void @func() {
|
| + %local = alloca i8, i32 4, align 4
|
| + %heapvar = call i32 @malloc(i32 42)
|
| + call void @free(i32 %heapvar)
|
| + ret void
|
| +}
|
| +
|
| +; DUMP-LABEL: ================ Instrumented CFG ================
|
| +; DUMP-NEXT: define internal void @func() {
|
| +; DUMP-NEXT: __0:
|
| +; DUMP-NEXT: %local = alloca i8, i32 64, align 8
|
| +; DUMP-NEXT: %__$rz1 = alloca i8, i32 32, align 8
|
| +; DUMP-NEXT: call void @__asan_poison(i32 %__$rz1, i32 32)
|
| +; DUMP-NEXT: %__$rz0 = add i32 %local, 4
|
| +; DUMP-NEXT: call void @__asan_poison(i32 %__$rz0, i32 60)
|
| +; DUMP-NEXT: %heapvar = call i32 @__asan_malloc(i32 42)
|
| +; DUMP-NEXT: call void @__asan_free(i32 %heapvar)
|
| +; DUMP-NEXT: call void @__asan_unpoison(i32 %__$rz0, i32 60)
|
| +; DUMP-NEXT: call void @__asan_unpoison(i32 %__$rz1, i32 32)
|
| +; DUMP-NEXT: ret void
|
| +; DUMP-NEXT: }
|
|
|