Various BPF fixes
Get series with b4
b4 am [email protected]Versions newest first · linked by author and title
- v2 Latest5 patches 1 replyIn review
- v13 patches 2 repliesSuperseded
Changes in v2 from the cover letter
- Reworked first patch so that env->strict_alignment is the final indicator on whether we have to deal with strict alignment rather than having CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS checks on various locations, so only checking env->strict_alignment is sufficient after that. Thanks for spotting, Dave!
- Added patch 3 and 4.
- Rest as is.
Patches in v2 No applies recorded yet
| # | Subject and files | Size | Replies | Applied |
|---|---|---|---|---|
| 1/5 | bpf: fix incorrect pruning decision when alignment must be trackedkernel/ | +10 | 0 replies | |
| 2/5 | bpf: properly reset caller saved regs after helper call and ld_abs/indkernel/ | +16 | 0 replies | |
| 3/5 | bpf: add bpf_clone_redirect to bpf_helper_changes_pkt_datanet/ | +1 | 0 replies | |
| 4/5 | bpf: fix wrong exposure of map_flags into fdinfo for lpmkernel/ kernel/ kernel/ | +3 | 0 replies | |
| 5/5 | bpf: add various verifier test casesinclude/ tools/ tools/ | +255 | 0 replies |
Reviews trailers per patch
All 5 patches have a Reviewed-by or Acked-by.
| Patch | Alexei Starovoitov |
|---|---|
| 1/5 | A-b |
| 2/5 | A-b |
| 3/5 | A-b |
| 4/5 | A-b |
| 5/5 | A-b |
Trailers given in replies are filled; those carried in the patches from earlier versions are outlined with dashes.
Cover letter [PATCH net v2 0/5] Various BPF fixes
Follow-up to fix incorrect pruning when alignment tracking is in use and to properly clear regs after call to not leave stale data behind, also a fix that adds bpf_clone_redirect to the bpf_helper_changes_pkt_data helper and exposes correct map_flags for lpm map into fdinfo. For details, please see individual patches.
Thanks!
v1 -> v2:
- Reworked first patch so that env->strict_alignment is the final indicator on whether we have to deal with strict alignment rather than having CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS checks on various locations, so only checking env->strict_alignment is sufficient after that. Thanks for spotting, Dave!
- Added patch 3 and 4.
- Rest as is.
Daniel Borkmann (5):
bpf: fix incorrect pruning decision when alignment must be tracked
bpf: properly reset caller saved regs after helper call and ld_abs/ind
bpf: add bpf_clone_redirect to bpf_helper_changes_pkt_data
bpf: fix wrong exposure of map_flags into fdinfo for lpm
bpf: add various verifier test cases
include/linux/filter.h | 10 ++ kernel/bpf/arraymap.c | 1 + kernel/bpf/lpm_trie.c | 1 + kernel/bpf/stackmap.c | 1 + kernel/bpf/verifier.c | 56 +++---- net/core/filter.c | 1 + tools/include/linux/filter.h | 10 ++ tools/testing/selftests/bpf/test_verifier.c | 239 +++++++++++++++++++++++++++- 8 files changed, 285 insertions(+), 34 deletions(-)
Signature · 1 line
1.9.3