1//===-- dfsan.h -------------------------------------------------*- C++ -*-===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file is a part of DataFlowSanitizer.
11//
12// Private DFSan header.
13//===----------------------------------------------------------------------===//
14
15#ifndef DFSAN_H
16#define DFSAN_H
17
18#include "sanitizer_common/sanitizer_internal_defs.h"
19
20// Copy declarations from public sanitizer/dfsan_interface.h header here.
21typedef u16 dfsan_label;
22
23struct dfsan_label_info {
24  dfsan_label l1;
25  dfsan_label l2;
26  const char *desc;
27  void *userdata;
28};
29
30extern "C" {
31void dfsan_add_label(dfsan_label label, void *addr, uptr size);
32void dfsan_set_label(dfsan_label label, void *addr, uptr size);
33dfsan_label dfsan_read_label(const void *addr, uptr size);
34dfsan_label dfsan_union(dfsan_label l1, dfsan_label l2);
35}  // extern "C"
36
37template <typename T>
38void dfsan_set_label(dfsan_label label, T &data) {  // NOLINT
39  dfsan_set_label(label, (void *)&data, sizeof(T));
40}
41
42namespace __dfsan {
43
44void InitializeInterceptors();
45
46inline dfsan_label *shadow_for(void *ptr) {
47  return (dfsan_label *) ((((uptr) ptr) & ~0x700000000000) << 1);
48}
49
50inline const dfsan_label *shadow_for(const void *ptr) {
51  return shadow_for(const_cast<void *>(ptr));
52}
53
54struct Flags {
55  // Whether to warn on unimplemented functions.
56  bool warn_unimplemented;
57  // Whether to warn on non-zero labels.
58  bool warn_nonzero_labels;
59  // Whether to propagate labels only when there is an obvious data dependency
60  // (e.g., when comparing strings, ignore the fact that the output of the
61  // comparison might be data-dependent on the content of the strings). This
62  // applies only to the custom functions defined in 'custom.c'.
63  bool strict_data_dependencies;
64};
65
66extern Flags flags_data;
67inline Flags &flags() {
68  return flags_data;
69}
70
71}  // namespace __dfsan
72
73#endif  // DFSAN_H
74