wireguard-linux/tools/testing/selftests/bpf/verifier/int_ptr.c, branch jd/unified-crypt-queueWireGuard for the Linux kernelhttps://git.zx2c4.com/wireguard-linux/atom/tools/testing/selftests/bpf/verifier/int_ptr.c?h=jd%2Funified-crypt-queue2019-04-12T20:54:59Zselftests/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>