diff options
| author | Andrii Nakryiko <[email protected]> | 2023-12-04 15:39:19 -0800 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2023-12-11 19:21:22 -0800 |
| commit | 1e68485d8299860e68c4e1d29589ff0d20db0287 (patch) | |
| tree | f31114becd2070bb20ca79ba97020dd419c8c7e3 | |
| parent | e72c1ccfd449598f7eda10d3bb7441d501ddcfc3 (diff) | |
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 <[email protected]>
Acked-by: Eduard Zingerman <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
| -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) { |