Commit 1e68485d authored by Andrii Nakryiko's avatar Andrii Nakryiko Committed by Alexei Starovoitov
Browse files

bpf: log PTR_TO_MEM memory size in verifier log 



Emit valid memory size addressable through PTR_TO_MEM register.

Signed-off-by: default avatarAndrii Nakryiko <andrii@kernel.org>
Acked-by: default avatarEduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20231204233931.49758-2-andrii@kernel.org


Signed-off-by: default avatarAlexei Starovoitov <ast@kernel.org>
parent e72c1ccf

kernel/bpf/log.c

+4 −0
Original line number Diff line number Diff line
@@ -682,6 +682,10 @@ static void print_reg_state(struct bpf_verifier_env *env, 
		verbose_a("r=");

		verbose_unum(env, reg->range);

	}

	if (base_type(t) == PTR_TO_MEM) {

		verbose_a("sz=");

		verbose_unum(env, reg->mem_size);

	}

	if (tnum_is_const(reg->var_off)) {

		/* a pointer register with fixed offset */

		if (reg->var_off.value) {