diff options
| author | Andrii Nakryiko <andrii@kernel.org> | 2023-12-04 15:39:19 -0800 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2023-12-11 19:21:22 -0800 |
| commit | 1e68485d8299860e68c4e1d29589ff0d20db0287 (patch) | |
| tree | f31114becd2070bb20ca79ba97020dd419c8c7e3 /kernel/bpf | |
| parent | e72c1ccfd449598f7eda10d3bb7441d501ddcfc3 (diff) | |
| download | linux-1e68485d8299860e68c4e1d29589ff0d20db0287.tar.gz linux-1e68485d8299860e68c4e1d29589ff0d20db0287.tar.bz2 linux-1e68485d8299860e68c4e1d29589ff0d20db0287.zip | |
bpf: log PTR_TO_MEM memory size in verifier log
Emit valid memory size addressable through PTR_TO_MEM register.
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20231204233931.49758-2-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'kernel/bpf')
| -rw-r--r-- | kernel/bpf/log.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/bpf/log.c b/kernel/bpf/log.c index 55d019f30e91..61d7d23a0118 100644 --- a/kernel/bpf/log.c +++ b/kernel/bpf/log.c @@ -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) { |