Home
last modified time | relevance | path

Searched refs:STACK_POISON (Results 1 – 4 of 4) sorted by relevance

/linux/kernel/bpf/
H A Dstates.c466 st->stack[i].slot_type[j] = STACK_POISON; in __clean_func_state()
680 ((stack->slot_type[i] == STACK_INVALID || stack->slot_type[i] == STACK_POISON) && in is_stack_misc_after()
723 if (old_type == STACK_POISON) in stacksafe()
725 if (cur_type == STACK_POISON) in stacksafe()
732 old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_POISON) in stacksafe()
832 case STACK_POISON: in stacksafe()
H A Dlog.c505 [STACK_POISON] = 'p',
731 if (slot_type != STACK_INVALID && slot_type != STACK_POISON) in print_verifier_state()
H A Dverifier.c1228 case STACK_POISON: in is_stack_slot_special()
1246 * - STACK_POISON, which truly forbids access to the slot.
1257 if (*stype == STACK_INVALID || *stype == STACK_POISON) in mark_stack_slot_misc()
1264 if (*stype != STACK_INVALID && *stype != STACK_POISON) in scrub_spilled_slot()
3761 * Conservatively, treat STACK_POISON in a similar way. in check_stack_write_var_off()
3763 if ((*stype == STACK_INVALID || *stype == STACK_POISON) && in check_stack_write_var_off()
3940 if (type == STACK_POISON) { in check_stack_read_fixed_off()
3999 if (type == STACK_POISON) { in check_stack_read_fixed_off()
6908 * STACK_POISON slots are acceptable. static stack liveness in check_stack_range_initialized()
6993 if (*stype == STACK_POISON) { in check_stack_range_initialized()
[all...]
/linux/include/linux/
H A Dbpf_verifier.h241 STACK_POISON, enumerator