diff options
| author | Paul Chaignon <[email protected]> | 2025-08-01 09:47:23 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2025-08-01 16:22:44 +0000 |
| commit | ead3d7b2b6afa5ee7958620c4329982a7d9c2b78 (patch) | |
| tree | 2480cfb282aa05371c12f22a7cc06878943e8466 /scripts/rustdoc_test_gen.rs | |
| parent | Merge branch 'support-kcfi-bpf-on-arm64' (diff) | |
| download | kernel-ead3d7b2b6afa5ee7958620c4329982a7d9c2b78.tar.gz kernel-ead3d7b2b6afa5ee7958620c4329982a7d9c2b78.zip | |
bpf: Check flow_dissector ctx accesses are aligned
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.
Fixes: d58e468b1112 ("flow_dissector: implements flow dissector BPF hook")
Reported-by: [email protected]
Closes: https://syzkaller.appspot.com/bug?extid=ccac90e482b2a81d74aa
Signed-off-by: Paul Chaignon <[email protected]>
Acked-by: Yonghong Song <[email protected]>
Acked-by: Eduard Zingerman <[email protected]>
Link: https://lore.kernel.org/r/cc1b036be484c99be45eddf48bd78cc6f72839b1.1754039605.git.paul.chaignon@gmail.com
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'scripts/rustdoc_test_gen.rs')
0 files changed, 0 insertions, 0 deletions