#ifndef DFSAN_H
#define DFSAN_H
#include "sanitizer_common/sanitizer_internal_defs.h"
typedef u16 dfsan_label;
struct dfsan_label_info {
dfsan_label l1;
dfsan_label l2;
const char *desc;
void *userdata;
};
extern "C" {
void dfsan_set_label(dfsan_label label, void *addr, uptr size);
dfsan_label dfsan_read_label(const void *addr, uptr size);
dfsan_label dfsan_union(dfsan_label l1, dfsan_label l2);
}
template <typename T>
void dfsan_set_label(dfsan_label label, T &data) { dfsan_set_label(label, (void *)&data, sizeof(T));
}
namespace __dfsan {
void InitializeInterceptors();
inline dfsan_label *shadow_for(void *ptr) {
return (dfsan_label *) ((((uptr) ptr) & ~0x700000000000) << 1);
}
inline const dfsan_label *shadow_for(const void *ptr) {
return shadow_for(const_cast<void *>(ptr));
}
struct Flags {
bool warn_unimplemented;
bool warn_nonzero_labels;
bool strict_data_dependencies;
};
extern Flags flags_data;
inline Flags &flags() {
return flags_data;
}
}
#endif // DFSAN_H