Lines Matching refs:dfsan_label
24 typedef uint8_t dfsan_label;
31 typedef void (*dfsan_conditional_callback_t)(dfsan_label label,
36 typedef void (*dfsan_reaches_function_callback_t)(dfsan_label label,
43 dfsan_label dfsan_union(dfsan_label l1, dfsan_label l2);
46 void dfsan_set_label(dfsan_label label, void *addr, size_t size);
50 void dfsan_add_label(dfsan_label label, void *addr, size_t size);
58 dfsan_label dfsan_get_label(long data);
67 dfsan_label dfsan_read_label(const void *addr, size_t size);
74 int dfsan_has_label(dfsan_label label, dfsan_label elem);
100 dfsan_label dfsan_get_labels_in_signal_conditional();
112 dfsan_label dfsan_get_labels_in_signal_reaches_function();
121 size_t n, dfsan_label s1_label,
122 dfsan_label s2_label, dfsan_label n_label);
124 size_t n, dfsan_label s1_label,
125 dfsan_label s2_label, dfsan_label n_label);
201 template <typename T> void dfsan_set_label(dfsan_label label, T &data) {