[v3] bpf, verifier: Improve precision of BPF_MUL

[PATCH bpf-next v3 0/2] bpf, verifier: Improve precision of BPF_MUL

Matan Shachnai posted 2 patches 1 year, 1 month ago

Diff against v1 v2 v4
Download series mbox

There is a newer version of this series

kernel/bpf/verifier.c                         |  72 +++++-----
.../selftests/bpf/progs/verifier_bounds.c     | 134 ++++++++++++++++++
2 files changed, 166 insertions(+), 40 deletions(-)

Expand all Fold all

[PATCH bpf-next v3 0/2] bpf, verifier: Improve precision of BPF_MUL

Posted by Matan Shachnai 1 year, 1 month ago

Hi All,

This patch-set aims to improve precision of BPF_MUL and add testcases
to illustrate precision gains using signed and unsigned bounds. 

Thanks for taking the time to review and specifically for Eduard's feedback!

Best,
Matan

Changes from v1:
 - Fixed typo made in patch

Changes from v2:
 - Added signed multiplication to BPF_MUL
 - Added test cases to exercise BPF_MUL 
 - Reordered patches in the series.

Matan Shachnai (2):
  bpf, verifier: Improve precision of BPF_MUL
  selftests/bpf: Add testcases for BPF_MUL

 kernel/bpf/verifier.c                         |  72 +++++-----
 .../selftests/bpf/progs/verifier_bounds.c     | 134 ++++++++++++++++++
 2 files changed, 166 insertions(+), 40 deletions(-)

-- 
2.25.1