[bpf-next,v4,0/2] bpf: Simplify checking size of helper accesses

Message

Andrei Matei Dec. 21, 2023, 11:22 p.m. UTC

v3->v4:
- kept only the minimal change, undoing debatable changes (Andrii)
- dropped the second patch from before, with changes to the error
  message (Andrii)
- extracted the new test into a separate patch (Andrii)
- added Acked by Andrii

v2->v3:
- split the error-logging function to a separate patch (Andrii)
- make the error buffers smaller (Andrii)
- include size of memory region for PTR_TO_MEM (Andrii)
- nits from Andrii and Eduard

v1->v2:
- make the error message include more info about the context of the
  zero-sized access (Andrii)

Andrei Matei (2):
  bpf: Simplify checking size of helper accesses
  bpf: add a possibly-zero-sized read test

 kernel/bpf/verifier.c                         | 10 ++---
 .../bpf/progs/verifier_helper_value_access.c  | 45 +++++++++++++++++--
 .../selftests/bpf/progs/verifier_raw_stack.c  |  2 +-
 3 files changed, 46 insertions(+), 11 deletions(-)

Comments

[e-mail] Jan. 3, 2024, 6:20 p.m. UTC | #1

Hello:

This series was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <[e-mail]>:

On Thu, 21 Dec 2023 18:22:23 -0500 you wrote:
> v3->v4:
> - kept only the minimal change, undoing debatable changes (Andrii)
> - dropped the second patch from before, with changes to the error
>   message (Andrii)
> - extracted the new test into a separate patch (Andrii)
> - added Acked by Andrii
> 
> [...]

Here is the summary with links:
  - [bpf-next,v4,1/2] bpf: Simplify checking size of helper accesses
    https://git.kernel.org/bpf/bpf-next/c/da0391947c10
  - [bpf-next,v4,2/2] bpf: add a possibly-zero-sized read test
    https://git.kernel.org/bpf/bpf-next/c/faf05f4d56a4

You are awesome, thank you!