[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id:
<170502844684.24601.17326225284234857035.git-patchwork-notify@kernel.org>
Date: Fri, 12 Jan 2024 03:00:46 +0000
From: patchwork-bot+netdevbpf@...nel.org
To: Maxim Mikityanskiy <maxtram95@...il.com>
Cc: eddyz87@...il.com, ast@...nel.org, daniel@...earbox.net,
andrii@...nel.org, shung-hsi.yu@...e.com, john.fastabend@...il.com,
martin.lau@...ux.dev, song@...nel.org, yonghong.song@...ux.dev,
kpsingh@...nel.org, sdf@...gle.com, haoluo@...gle.com, jolsa@...nel.org,
mykolal@...com, shuah@...nel.org, davem@...emloft.net, kuba@...nel.org,
hawk@...nel.org, bpf@...r.kernel.org, linux-kselftest@...r.kernel.org,
netdev@...r.kernel.org, maxim@...valent.com
Subject: Re: [PATCH bpf-next v2 00/15] Improvements for tracking scalars in the
BPF verifier
Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@...nel.org>:
On Mon, 8 Jan 2024 22:51:54 +0200 you wrote:
> From: Maxim Mikityanskiy <maxim@...valent.com>
>
> 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,v2,01/15] selftests/bpf: Fix the u64_offset_to_skb_data test
https://git.kernel.org/bpf/bpf-next/c/02fb00d34de1
- [bpf-next,v2,02/15] bpf: make infinite loop detection in is_state_visited() exact
https://git.kernel.org/bpf/bpf-next/c/3a96c705f48a
- [bpf-next,v2,03/15] selftests/bpf: check if imprecise stack spills confuse infinite loop detection
https://git.kernel.org/bpf/bpf-next/c/723909ae6496
- [bpf-next,v2,04/15] bpf: Make bpf_for_each_spilled_reg consider narrow spills
https://git.kernel.org/bpf/bpf-next/c/0e00a9551c61
- [bpf-next,v2,05/15] selftests/bpf: Add a test case for 32-bit spill tracking
https://git.kernel.org/bpf/bpf-next/c/221dffec93e8
- [bpf-next,v2,06/15] bpf: Add the assign_scalar_id_before_mov function
https://git.kernel.org/bpf/bpf-next/c/85b6e9d75c8e
- [bpf-next,v2,07/15] bpf: Add the get_reg_width function
https://git.kernel.org/bpf/bpf-next/c/b08973e4d9c4
- [bpf-next,v2,08/15] bpf: Assign ID to scalars on spill
https://git.kernel.org/bpf/bpf-next/c/26b560765e67
- [bpf-next,v2,09/15] selftests/bpf: Test assigning ID to scalars on spill
https://git.kernel.org/bpf/bpf-next/c/5a052eb509e9
- [bpf-next,v2,10/15] bpf: Track spilled unbounded scalars
https://git.kernel.org/bpf/bpf-next/c/53ac20c9e0dd
- [bpf-next,v2,11/15] selftests/bpf: Test tracking spilled unbounded scalars
https://git.kernel.org/bpf/bpf-next/c/9ba80a06cabb
- [bpf-next,v2,12/15] bpf: Preserve boundaries and track scalars on narrowing fill
(no matching commit)
- [bpf-next,v2,13/15] selftests/bpf: Add test cases for narrowing fill
(no matching commit)
- [bpf-next,v2,14/15] bpf: Optimize state pruning for spilled scalars
(no matching commit)
- [bpf-next,v2,15/15] selftests/bpf: states pruning checks for scalar vs STACK_{MISC,ZERO}
(no matching commit)
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
Powered by blists - more mailing lists