uint32_t __taint2_query_reg(int reg_num, int offset) { LabelSetP ls = tp_query_reg(shadow, reg_num, offset); return ls_card(ls); }
uint32_t __taint_query_reg(int reg_num, int offset) { return tp_query_reg(shadow, reg_num, offset); }