netdev - Re: [PATCH bpf-next v2 00/15] Improvements for tracking scalars in the BPF verifier

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

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