bpf: Fix bounds when ranges cross sign boundary
Get series with b4
b4 am [email protected]Versions newest first
- v1 Latest6 patches 0 repliesNew
Patches in v1 No applies recorded yet
| # | Subject and files | Size | Replies | Applied |
|---|---|---|---|---|
| 1/6 | bpf: Improve bounds when s64 crosses sign boundarykernel/ | +52 | 0 replies | |
| 2/6 | selftests/bpf: Test cross-sign 64bits range refinementtools/ | +118 | 0 replies | |
| 3/6 | selftests/bpf: Test invariants on JSLT crossing signtools/ | +1 | 0 replies | |
| 4/6 | bpf: Add third round of bounds deductionkernel/ tools/ | +2 | 0 replies | |
| 5/6 | bpf: Fix u32/s32 bounds when ranges cross min/max boundarykernel/ tools/ | +82 | 0 replies | |
| 6/6 | selftests/bpf: test refining u32/s32 bounds when ranges cross min/max boundarytools/ | +38 | 0 replies |
Reviews trailers per patch
All 6 patches have a Reviewed-by or Acked-by.
| Patch | Eduard Zingerman | Shung-Hsi Yu | Emil Tsalapatis | Paul Chaignon |
|---|---|---|---|---|
| 1/6 | A-b | A-b | ||
| 2/6 | A-b | |||
| 3/6 | A-b | |||
| 4/6 | A-b | |||
| 5/6 | A-b | R-b | ||
| 6/6 | A-b | R-b | R-b |
Trailers given in replies are filled; those carried in the patches from earlier versions are outlined with dashes. Scroll the table sideways for all 4 reviewers.
Cover letter [PATCH stable 6.12 0/6] bpf: Fix bounds when ranges cross sign boundary
As discussed in [1], this series backports two sets of fixes for BPF, with their selftests:
- 00bf8d0c6c9b ("bpf: Improve bounds when s64 crosses sign boundary")
- 26e5e346a52c ("selftests/bpf: Test cross-sign 64bits range refinement")
- f96841bbf4a1 ("selftests/bpf: Test invariants on JSLT crossing sign")
- 5dbb19b16ac4 ("bpf: Add third round of bounds deduction")
- fbc7aef517d8 ("bpf: Fix u32/s32 bounds when ranges cross min/max boundary")
- f81fdfd16771 ("selftests/bpf: test refining u32/s32 bounds when ranges cross min/max boundary")
Using Shung-Hsi's stable CI repo [2], I verified the BPF selftests pass with these commits applied on top of v6.12.
1: https://lore.kernel.org/stable/2026040240-friday-gurgling-7088@gregkh/
2: https://github.com/pchaigno/stable-bpf-ci/actions/runs/23940850516/job/69826632354
Eduard Zingerman (2):
bpf: Fix u32/s32 bounds when ranges cross min/max boundary selftests/bpf: test refining u32/s32 bounds when ranges cross min/max
boundary
Paul Chaignon (4):
bpf: Improve bounds when s64 crosses sign boundary selftests/bpf: Test cross-sign 64bits range refinement selftests/bpf: Test invariants on JSLT crossing sign
bpf: Add third round of bounds deduction
kernel/bpf/verifier.c | 77 +++++++++ .../selftests/bpf/prog_tests/reg_bounds.c | 62 ++++++- .../selftests/bpf/progs/verifier_bounds.c | 159 +++++++++++++++++- 3 files changed, 292 insertions(+), 6 deletions(-)
Signature · 1 line
2.43.0