38 lines · c
1// RUN: %clang_dfsan -gmlt -mllvm -dfsan-track-origins=1 %s -o %t && \2// RUN: %run %t >%t.out 2>&13// RUN: FileCheck %s < %t.out4//5// Test origin tracking is accurate in terms of endianness.6 7#include <sanitizer/dfsan_interface.h>8 9typedef uint64_t FULL_TYPE;10typedef uint32_t HALF_TYPE;11 12__attribute__((noinline)) FULL_TYPE foo(FULL_TYPE a, FULL_TYPE b) {13 return a + b;14}15 16int main(int argc, char *argv[]) {17 FULL_TYPE a = 1;18 FULL_TYPE b = 10;19 dfsan_set_label(4, (HALF_TYPE *)&a, sizeof(HALF_TYPE));20 FULL_TYPE c = foo(a, b);21 dfsan_print_origin_trace(&c, NULL);22 dfsan_print_origin_trace((HALF_TYPE *)&c, NULL);23}24 25// CHECK: Taint value 0x4 {{.*}} origin tracking ()26// CHECK: Origin value: {{.*}}, Taint value was stored to memory at27// CHECK: #0 {{.*}} in main {{.*}}origin_endianness.c:[[@LINE-7]]28 29// CHECK: Origin value: {{.*}}, Taint value was created at30// CHECK: #0 {{.*}} in main {{.*}}origin_endianness.c:[[@LINE-11]]31 32// CHECK: Taint value 0x4 {{.*}} origin tracking ()33// CHECK: Origin value: {{.*}}, Taint value was stored to memory at34// CHECK: #0 {{.*}} in main {{.*}}origin_endianness.c:[[@LINE-14]]35 36// CHECK: Origin value: {{.*}}, Taint value was created at37// CHECK: #0 {{.*}} in main {{.*}}origin_endianness.c:[[@LINE-18]]38