Skip to content

BPF fixes on map_value_adj reg types

Daniel Borkmann netdev 1 version In review

Get series with b4
b4 am [email protected]

Versions newest first

  1. v1 Latest3 patches 1 replyIn review

Patches in v1 No applies recorded yet

#Subject and filesSizeRepliesApplied
1/3bpf, verifier: fix alu ops against map_value{,_adj} register typeskernel/bpf/verifier.c+1 -00 replies
2/3bpf, verifier: fix rejection of unaligned access checks for map_value_adjkernel/bpf/verifier.c+38 -200 replies
3/3bpf: add various verifier test cases for self-teststools/include/linux/filter.h tools/testing/selftests/bpf/Makefile tools/testing/selftests/bpf/test_verifier.c+283 -60 replies

Reviews trailers per patch

All 3 patches have a Reviewed-by or Acked-by.

PatchJosef BacikAlexei Starovoitov
1/3R-b A-b
2/3R-b A-b
3/3A-b

Trailers given in replies are filled; those carried in the patches from earlier versions are outlined with dashes.

Read the v1 thread

Cover letter [PATCH net 0/3] BPF fixes on map_value_adj reg types

This set adds two fixes for map_value_adj register type in the verifier and user space tests along with them for the BPF self test suite. For details, please see individual patches.

Thanks!

Daniel Borkmann (3):
bpf, verifier: fix alu ops against map_value{,_adj} register types bpf, verifier: fix rejection of unaligned access checks for map_value_adj
bpf: add various verifier test cases for self-tests

 kernel/bpf/verifier.c                       |  59 +++---
 tools/include/linux/filter.h                |  10 ++
 tools/testing/selftests/bpf/Makefile        |   9 +-
 tools/testing/selftests/bpf/test_verifier.c | 270 +++++++++++++++++++++++++++-
 4 files changed, 322 insertions(+), 26 deletions(-)
Signature · 1 line
1.9.3