diff options
| author | Nandakumar Edamana <nandakumar@nandakumar.co.in> | 2025-08-26 09:15:24 +0530 |
|---|---|---|
| committer | Andrii Nakryiko <andrii@kernel.org> | 2025-08-27 15:00:31 -0700 |
| commit | 2660b9d477501c3dbb09705640b70d0a80072f0c (patch) | |
| tree | ea09ad0d76a3193e9add86a6841039005dbb041c /tools/testing/selftests/bpf/prog_tests/stacktrace_map_skip.c | |
| parent | bpf: Improve the general precision of tnum_mul (diff) | |
| download | linux-2660b9d477501c3dbb09705640b70d0a80072f0c.tar.gz linux-2660b9d477501c3dbb09705640b70d0a80072f0c.zip | |
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 'tools/testing/selftests/bpf/prog_tests/stacktrace_map_skip.c')
0 files changed, 0 insertions, 0 deletions