kernel/tools/testing/selftests/bpf/verifier/precise.c, branch linux-6.2.yHosts the 0x221E linux distro kernel.https://universe.0xinfinity.dev/distro/kernel/atom?h=linux-6.2.y2022-08-25T19:07:45Zselftests/bpf: Add regression test for pruning fix2022-08-25T19:07:45ZKumar Kartikeya Dwivedimemxor@gmail.com2022-08-23T18:55:00Zurn:sha1:1800b2ac96d8bc4ccdddc2ea9e83ecaffd54d3f2
Add a test to ensure we do mark_chain_precision for the argument type
ARG_CONST_ALLOC_SIZE_OR_ZERO. For other argument types, this was already
done, but propagation for missing for this case. Without the fix, this
test case loads successfully.
Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
Link: https://lore.kernel.org/r/20220823185500.467-1-memxor@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
bpf: Small BPF verifier log improvements2022-03-03T15:54:10ZMykola Lysenkomykolal@fb.com2022-03-01T22:27:45Zurn:sha1:7df5072cc05fd1aab5823bbc465d033cd292fca8
In particular these include:
1) Remove output of inv for scalars in print_verifier_state
2) Replace inv with scalar in verifier error messages
3) Remove _value suffixes for umin/umax/s32_min/etc (except map_value)
4) Remove output of id=0
5) Remove output of ref_obj_id=0
Signed-off-by: Mykola Lysenko <mykolal@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/bpf/20220301222745.1667206-1-mykolal@fb.com
bpf, selftests: Use bpf_probe_read_kernel2020-06-02T19:04:04ZIlya Leoshkevichiii@linux.ibm.com2020-06-02T17:44:48Zurn:sha1:9bc499befeef07a4d79f4924bfca05634ad8fc97
Since commit 0ebeea8ca8a4 ("bpf: Restrict bpf_probe_read{, str}() only to
archs where they work") 44 verifier tests fail on s390 due to not having
bpf_probe_read anymore. Fix by using bpf_probe_read_kernel.
Signed-off-by: Ilya Leoshkevich <iii@linux.ibm.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Link: https://lore.kernel.org/bpf/20200602174448.2501214-1-iii@linux.ibm.com
selftests/bpf: precision tracking tests2019-09-05T11:55:50ZAlexei Starovoitovast@kernel.org2019-09-03T22:51:33Zurn:sha1:310f4204eeb6053e35c277a23d9c179e8e32322e
Add two tests to check that stack slot marking during backtracking
doesn't trigger 'spi > allocated_stack' warning.
One test is using BPF_ST insn. Another is using BPF_STX.
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
selftests/bpf: add precision tracking test2019-08-27T22:30:12ZAlexei Starovoitovast@kernel.org2019-08-23T05:52:15Zurn:sha1:411cdb4569013cc1089c00b2cd279033d6278f61
Copy-paste of existing test
"calls: cross frame pruning - liveness propagation"
but ran with different parentage chain heuristic
which stresses different path in precision tracking logic.
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Song Liu <songliubraving@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
selftests/bpf: verifier precise tests2019-08-27T22:30:11ZAlexei Starovoitovast@kernel.org2019-08-23T05:52:14Zurn:sha1:e8c13c4d9b36065903a025f163db87a7afff7307
Use BPF_F_TEST_STATE_FREQ flag to check that precision
tracking works as expected by comparing every step it takes.
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Song Liu <songliubraving@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>