1 // RUN: %clang_dfsan -gmlt -mllvm -dfsan-track-origins=1 %s -o %t 2 // 3 // RUN: %run %t >%t.out 2>&1 4 // RUN: FileCheck %s < %t.out 5 // 6 // RUN: env DFSAN_OPTIONS=origin_history_size=2 %run %t >%t.out 2>&1 7 // RUN: FileCheck %s --check-prefix=CHECK2 < %t.out 8 // 9 // RUN: env DFSAN_OPTIONS=origin_history_size=0 %run %t >%t.out 2>&1 10 // RUN: FileCheck %s --check-prefix=CHECK0 < %t.out 11 12 #include <sanitizer/dfsan_interface.h> 13 14 #include <stdio.h> 15 16 __attribute__((noinline)) int foo(int a, int b) { return a + b; } 17 18 int main(int argc, char *argv[]) { 19 int a = 10; 20 dfsan_set_label(8, &a, sizeof(a)); 21 int c = 0; 22 for (int i = 0; i < 17; ++i) { 23 c = foo(a, c); 24 printf("%lx", (unsigned long)&c); 25 } 26 dfsan_print_origin_trace(&c, NULL); 27 } 28 29 // CHECK: Taint value 0x8 {{.*}} origin tracking () 30 // CHECK-COUNT 14: Origin value: {{.*}}, Taint value was stored to memory at 31 // CHECK: Origin value: {{.*}}, Taint value was created at 32 33 // CHECK2: Taint value 0x8 {{.*}} origin tracking () 34 // CHECK2: Origin value: {{.*}}, Taint value was stored to memory at 35 // CHECK2: Origin value: {{.*}}, Taint value was created at 36 37 // CHECK0: Taint value 0x8 {{.*}} origin tracking () 38 // CHECK0-COUNT 16: Origin value: {{.*}}, Taint value was stored to memory at 39 // CHECK0: Origin value: {{.*}}, Taint value was created at 40