void dfrtl_check(const void* addr, size_t size) { printf("WindowRtl: Is addr %p size %zu tainted? ", addr, size); dfsan_label value_label = dfsan_read_label(addr, size); if(dfsan_has_label(value_label, globalInputLabel)) { printf("yes\n"); } else { printf("no\n"); } }
int main(void) { int i = 1; dfsan_label i_label = dfsan_create_label("i", 0); dfsan_set_label(i_label, &i, sizeof(i)); dfsan_label ij_label = dfsan_get_label(f(i)); assert(dfsan_has_label(ij_label, i_label)); assert(dfsan_has_label_with_desc(ij_label, "j")); return 0; }
int main(void) { int i = 1; dfsan_label i_label = dfsan_create_label("i", 0); dfsan_set_label(i_label, &i, sizeof(i)); int j = 2; dfsan_label j_label = dfsan_create_label("j", 0); dfsan_set_label(j_label, &j, sizeof(j)); int k = 3; dfsan_label k_label = dfsan_create_label("k", 0); dfsan_set_label(k_label, &k, sizeof(k)); dfsan_label ij_label = dfsan_get_label(i + j); assert(dfsan_has_label(ij_label, i_label)); assert(dfsan_has_label(ij_label, j_label)); assert(!dfsan_has_label(ij_label, k_label)); dfsan_label ijk_label = dfsan_get_label(i + j + k); assert(dfsan_has_label(ijk_label, i_label)); assert(dfsan_has_label(ijk_label, j_label)); assert(dfsan_has_label(ijk_label, k_label)); return 0; }