Re: [PATCH bpf-next v3 0/6] Improvements for tracking scalars in the BPF verifier

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

 



Hello:

This series was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <andrii@xxxxxxxxxx>:

On Sat, 27 Jan 2024 19:52:31 +0200 you wrote:
> From: Maxim Mikityanskiy <maxim@xxxxxxxxxxxxx>
> 
> The goal of this series is to extend the verifier's capabilities of
> tracking scalars when they are spilled to stack, especially when the
> spill or fill is narrowing. It also contains a fix by Eduard for
> infinite loop detection and a state pruning optimization by Eduard that
> compensates for a verification complexity regression introduced by
> tracking unbounded scalars. These improvements reduce the surface of
> false rejections that I saw while working on Cilium codebase.
> 
> [...]

Here is the summary with links:
  - [bpf-next,v3,1/6] bpf: Track spilled unbounded scalars
    https://git.kernel.org/bpf/bpf-next/c/e67ddd9b1cff
  - [bpf-next,v3,2/6] selftests/bpf: Test tracking spilled unbounded scalars
    https://git.kernel.org/bpf/bpf-next/c/6be503cec6c9
  - [bpf-next,v3,3/6] bpf: Preserve boundaries and track scalars on narrowing fill
    https://git.kernel.org/bpf/bpf-next/c/c1e6148cb4f8
  - [bpf-next,v3,4/6] selftests/bpf: Add test cases for narrowing fill
    https://git.kernel.org/bpf/bpf-next/c/067313a85c6f
  - [bpf-next,v3,5/6] bpf: handle scalar spill vs all MISC in stacksafe()
    https://git.kernel.org/bpf/bpf-next/c/6efbde200bf3
  - [bpf-next,v3,6/6] selftests/bpf: states pruning checks for scalar vs STACK_MISC
    https://git.kernel.org/bpf/bpf-next/c/73a28d9d000e

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






[Index of Archives]     [Linux Wireless]     [Linux Kernel]     [ATH6KL]     [Linux Bluetooth]     [Linux Netdev]     [Kernel Newbies]     [Share Photos]     [IDE]     [Security]     [Git]     [Netfilter]     [Bugtraq]     [Yosemite News]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux ATA RAID]     [Samba]     [Device Mapper]

  Powered by Linux