Re: [PATCH v3 bpf-next 0/8] BPF verifier log improvements

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hello:

This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:

On Fri, 17 Nov 2023 19:46:15 -0800 you wrote:
> This patch set moves a big chunk of verifier log related code from gigantic
> verifier.c file into more focused kernel/bpf/log.c. This is not essential to
> the rest of functionality in this patch set, so I can undo it, but it felt
> like it's good to start chipping away from 20K+ verifier.c whenever we can.
> 
> The main purpose of the patch set, though, is in improving verifier log
> further.
> 
> [...]

Here is the summary with links:
  - [v3,bpf-next,1/8] bpf: move verbose_linfo() into kernel/bpf/log.c
    https://git.kernel.org/bpf/bpf-next/c/db840d389bad
  - [v3,bpf-next,2/8] bpf: move verifier state printing code to kernel/bpf/log.c
    https://git.kernel.org/bpf/bpf-next/c/42feb6620acc
  - [v3,bpf-next,3/8] bpf: extract register state printing
    https://git.kernel.org/bpf/bpf-next/c/009f5465be36
  - [v3,bpf-next,4/8] bpf: print spilled register state in stack slot
    https://git.kernel.org/bpf/bpf-next/c/67d43dfbb42d
  - [v3,bpf-next,5/8] bpf: emit map name in register state if applicable and available
    https://git.kernel.org/bpf/bpf-next/c/0c95c9fdb696
  - [v3,bpf-next,6/8] bpf: omit default off=0 and imm=0 in register state log
    https://git.kernel.org/bpf/bpf-next/c/1db747d75b1d
  - [v3,bpf-next,7/8] bpf: smarter verifier log number printing logic
    https://git.kernel.org/bpf/bpf-next/c/0f8dbdbc641b
  - [v3,bpf-next,8/8] bpf: emit frameno for PTR_TO_STACK regs if it differs from current one
    https://git.kernel.org/bpf/bpf-next/c/46862ee854b4

You are awesome, thank you!
-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html






[Index of Archives]     [Linux Samsung SoC]     [Linux Rockchip SoC]     [Linux Actions SoC]     [Linux for Synopsys ARC Processors]     [Linux NFS]     [Linux NILFS]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]


  Powered by Linux