diff options
| author | Nandakumar Edamana <nandakumar@nandakumar.co.in> | 2025-08-26 06:45:24 +0300 |
|---|---|---|
| committer | Andrii Nakryiko <andrii@kernel.org> | 2025-08-28 01:00:31 +0300 |
| commit | 2660b9d477501c3dbb09705640b70d0a80072f0c (patch) | |
| tree | ea09ad0d76a3193e9add86a6841039005dbb041c /rust/helpers/helpers.c | |
| parent | 1df7dad4d5c49335b72e26d833def960b2de76e3 (diff) | |
| download | linux-2660b9d477501c3dbb09705640b70d0a80072f0c.tar.xz | |
bpf: Add selftest to check the verifier's abstract multiplication
Add new selftest to test the abstract multiplication technique(s) used
by the verifier, following the recent improvement in tnum
multiplication (tnum_mul). One of the newly added programs,
verifier_mul/mul_precise, results in a false positive with the old
tnum_mul, while the program passes with the latest one.
Signed-off-by: Nandakumar Edamana <nandakumar@nandakumar.co.in>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Reviewed-by: Harishankar Vishwanathan <harishankar.vishwanathan@gmail.com>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/bpf/20250826034524.2159515-2-nandakumar@nandakumar.co.in
Diffstat (limited to 'rust/helpers/helpers.c')
0 files changed, 0 insertions, 0 deletions