Eduard Zingerman 18b8926557 selftests/bpf: Verify that check_ids() is used for scalars in regsafe() ... Verify that the following example is rejected by verifier: r9 = ... some pointer with range X ... r6 = ... unbound scalar ID=a ... r7 = ... unbound scalar ID=b ... if (r6 > r7) goto +1 r7 = r6 if (r7 > X) goto exit r9 += r6 *(u64 *)r9 = Y Also add test cases to: - check that check_alu_op() for BPF_MOV instruction does not allocate scalar ID if source register is a constant; - check that unique scalar IDs are ignored when new verifier state is compared to cached verifier state; - check that two different scalar IDs in a verified state can't be mapped to the same scalar ID in current state. Signed-off-by: Eduard Zingerman <eddyz87@gmail.com> Signed-off-by: Andrii Nakryiko <andrii@kernel.org> Link: https://lore.kernel.org/bpf/20230613153824.3324830-5-eddyz87@gmail.com		2023-06-13 15:15:13 -07:00
..
crypto/chacha20-s390
cxl	tools/testing/cxl: Use DEFINE_STATIC_SRCU()	2023-05-13 00:16:40 -07:00
fault-injection
ktest	ktest: Restore stty setting at first in dodie	2023-02-20 11:52:27 -05:00
kunit	kunit: tool: Add support for SH under QEMU	2023-04-05 12:51:16 -06:00
memblock	mm, treewide: redefine MAX_ORDER sanely	2023-04-05 19:42:46 -07:00
nvdimm	Driver core changes for 6.4-rc1	2023-04-27 11:53:57 -07:00
radix-tree	maple_tree: add a test case to check maple_alloc	2023-04-18 16:29:56 -07:00
scatterlist
selftests	selftests/bpf: Verify that check_ids() is used for scalars in regsafe()	2023-06-13 15:15:13 -07:00
vsock	vsock/test: update expected return values	2023-04-04 12:46:24 +02:00