On Fri, 2023-11-10 at 08:10 -0800, Andrii Nakryiko wrote: [...] > Patch #8 prints frame number for PTR_TO_CTX registers, if that frame is > different from the "current" one. This removes ambiguity and confusion, > especially in complicated cases with multiple subprogs passing around > pointers. > > Andrii Nakryiko (8): > bpf: move verbose_linfo() into kernel/bpf/log.c > bpf: move verifier state printing code to kernel/bpf/log.c > bpf: extract register state printing > bpf: print spilled register state in stack slot > bpf: emit map name in register state if applicable and available > bpf: omit default off=0 and imm=0 in register state log > bpf: smarter verifier log number printing logic > bpf: emit frameno for PTR_TO_STACK regs if it differs from current one This should be very handy, at-least for verifier development. Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
