Hello:
This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Fri, 1 Aug 2025 11:47:23 +0200 you wrote:
> flow_dissector_is_valid_access doesn't check that the context access is
> aligned. As a consequence, an unaligned access within one of the exposed
> field is considered valid and later rejected by
> flow_dissector_convert_ctx_access when we try to convert it.
>
> The later rejection is problematic because it's reported as a verifier
> bug with a kernel warning and doesn't point to the right instruction in
> verifier logs.
>
> [...]
Here is the summary with links:
- [bpf,1/4] bpf: Check flow_dissector ctx accesses are aligned
https://git.kernel.org/bpf/bpf/c/ead3d7b2b6af
- [bpf,2/4] bpf: Check netfilter ctx accesses are aligned
https://git.kernel.org/bpf/bpf/c/9e6448f7b1ef
- [bpf,3/4] bpf: Improve ctx access verifier error message
https://git.kernel.org/bpf/bpf/c/f914876eec9e
- [bpf,4/4] selftests/bpf: Test for unaligned flow_dissector ctx access
https://git.kernel.org/bpf/bpf/c/3fea6d121b56
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
