kernel/tools/testing/selftests/bpf/verifier/int_ptr.c, branch linux-6.2.yHosts the 0x221E linux distro kernel.https://universe.0xinfinity.dev/distro/kernel/atom?h=linux-6.2.y2021-02-10T18:44:19Zselftest/bpf: Adjust expected verifier errors2021-02-10T18:44:19ZAndrei Mateiandreimatei1@gmail.com2021-02-07T01:10:25Zurn:sha1:a680cb3d8e3f4f84205720b90c926579d04eedb6
The verifier errors around stack accesses have changed slightly in the
previous commit (generally for the better).
Signed-off-by: Andrei Matei <andreimatei1@gmail.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://lore.kernel.org/bpf/20210207011027.676572-3-andreimatei1@gmail.com
selftests/bpf: Test ARG_PTR_TO_LONG arg type2019-04-12T20:54:59ZAndrey Ignatovrdna@fb.com2019-03-19T01:17:03Zurn:sha1:c2d5f12e4c6cf7e94cfcb98389db51557cf05f9a
Test that verifier handles new argument types properly, including
uninitialized or partially initialized value, misaligned stack access,
etc.
Example of output:
#456/p ARG_PTR_TO_LONG uninitialized OK
#457/p ARG_PTR_TO_LONG half-uninitialized OK
#458/p ARG_PTR_TO_LONG misaligned OK
#459/p ARG_PTR_TO_LONG size < sizeof(long) OK
#460/p ARG_PTR_TO_LONG initialized OK
Signed-off-by: Andrey Ignatov <rdna@fb.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>