[v2] bpf, verifier: Improve precision of BPF_ADD and BPF_SUB

[PATCH v2 0/2] bpf, verifier: Improve precision of BPF_ADD and BPF_SUB

Harishankar Vishwanathan posted 2 patches 3 months, 3 weeks ago

Diff against v3
Download series mbox

There is a newer version of this series

kernel/bpf/verifier.c                         | 76 ++++++++++++-----
.../selftests/bpf/progs/verifier_bounds.c     | 85 +++++++++++++++++++
2 files changed, 141 insertions(+), 20 deletions(-)

Expand all Fold all

[PATCH v2 0/2] bpf, verifier: Improve precision of BPF_ADD and BPF_SUB

Posted by Harishankar Vishwanathan 3 months, 3 weeks ago

This patchset improves the precision of BPF_ADD and BPF_SUB range
tracking, and also adds selftests that exercise the precision
improvement.

Changelog:

v2:
* Add clearer example of precision improvement in the commit message for
  verifier.c changes.
* Add selftests that exercise the precision improvement to
  verifier_bounds.c (suggested by Eduard Zingerman).

v1:
  https://lore.kernel.org/bpf/20250610221356.2663491-1-harishankar.vishwanathan@gmail.com/

Harishankar Vishwanathan (2):
  bpf, verifier: Improve precision for BPF_ADD and BPF_SUB
  selftests/bpf: Add testcases for BPF_ADD and BPF_SUB

 kernel/bpf/verifier.c                         | 76 ++++++++++++-----
 .../selftests/bpf/progs/verifier_bounds.c     | 85 +++++++++++++++++++
 2 files changed, 141 insertions(+), 20 deletions(-)

-- 
2.45.2