Skip to content

Two BPF fixes for range marking

Daniel Borkmann netdev 1 version In review

Get series with b4
b4 am [email protected]

Versions newest first

  1. v1 Latest3 patches 4 repliesIn review

Patches in v1 No applies recorded yet

#Subject and filesSizeRepliesApplied
1/3bpf: fix off by one for range markings with L{T,E} patternskernel/bpf/verifier.c+21 -121 reply
2/3bpf: fix pattern matches for direct packet accesskernel/bpf/verifier.c+24 -01 reply
3/3bpf: add test cases to bpf selftests to cover all access teststools/testing/selftests/bpf/test_verifier.c+480 -01 reply

Reviews trailers per patch

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

PatchAlexei StarovoitovJohn Fastabend
1/3A-b A-b
2/3A-b A-b
3/3A-b A-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] Two BPF fixes for range marking

The set contains two fixes for direct packet access range markings and test cases for all direct packet access patterns that the verifier matches on.

They are targeted for net tree, note that once net gets merged into net-next, there will be a minor merge conflict due to signature change of the function find_good_pkt_pointers() as well as data_meta patterns present in net-next tree. You can just add bool false to the data_meta patterns and I will follow-up with properly converting the patterns for data_meta in a similar way.

Thanks a lot!

Daniel Borkmann (3):
bpf: fix off by one for range markings with L{T,E} patterns
bpf: fix pattern matches for direct packet access
bpf: add test cases to bpf selftests to cover all access tests

 kernel/bpf/verifier.c                       |  57 +++-
 tools/testing/selftests/bpf/test_verifier.c | 480 ++++++++++++++++++++++++++++
 2 files changed, 525 insertions(+), 12 deletions(-)
Signature · 1 line
1.9.3