Eduard Zingerman d9631d0d8c selftests/bpf: track tcp payload offset as scalar in xdp_synproxy ... commit 977bc146d4 upstream. This change prepares syncookie_{tc,xdp} for update in callbakcs verification logic. To allow bpf_loop() verification converge when multiple callback itreations are considered: - track offset inside TCP payload explicitly, not as a part of the pointer; - make sure that offset does not exceed MAX_PACKET_OFF enforced by verifier; - make sure that offset is tracked as unbound scalar between iterations, otherwise verifier won't be able infer that bpf_loop callback reaches identical states. Acked-by: Andrii Nakryiko <andrii@kernel.org> Signed-off-by: Eduard Zingerman <eddyz87@gmail.com> Link: https://lore.kernel.org/r/20231121020701.26440-2-eddyz87@gmail.com Signed-off-by: Alexei Starovoitov <ast@kernel.org> Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>		2024-01-31 16:18:59 -08:00
..
crypto/chacha20-s390
cxl	cxl: Add cxl_num_decoders_committed() usage to cxl_test	2024-01-10 17:17:02 +01:00
fault-injection
ktest
kunit	sound updates for 6.6-rc1	2023-08-30 13:45:05 -07:00
memblock	memblock tests: fix warning ‘struct seq_file’ declared inside parameter list	2023-09-14 10:51:28 +03:00
nvdimm
radix-tree	maple_tree: do not preallocate nodes for slot stores	2024-01-05 15:19:43 +01:00
scatterlist
selftests	selftests/bpf: track tcp payload offset as scalar in xdp_synproxy	2024-01-31 16:18:59 -08:00
vsock	vsock/test: fix SEQPACKET message bounds test	2023-12-03 07:33:05 +01:00