Andrii Nakryiko c50c0b57a5 bpf: fix mark_all_scalars_precise use in mark_chain_precision ... When precision backtracking bails out due to some unsupported sequence of instructions (e.g., stack access through register other than r10), we need to mark all SCALAR registers as precise to be safe. Currently, though, we mark SCALARs precise only starting from the state we detected unsupported condition, which could be one of the parent states of the actual current state. This will leave some registers potentially not marked as precise, even though they should. So make sure we start marking scalars as precise from current state (env->cur_state). Further, we don't currently detect a situation when we end up with some stack slots marked as needing precision, but we ran out of available states to find the instructions that populate those stack slots. This is akin the `i >= func->allocated_stack / BPF_REG_SIZE` check and should be handled similarly by falling back to marking all SCALARs precise. Add this check when we run out of states. Signed-off-by: Andrii Nakryiko <andrii@kernel.org> Link: https://lore.kernel.org/r/20230505043317.3629845-8-andrii@kernel.org Signed-off-by: Alexei Starovoitov <ast@kernel.org>		2023-05-04 22:35:35 -07:00
..
.gitignore
atomic_and.c	bpf, x86: Fix BPF_FETCH atomic and/or/xor with r0 as src	2021-02-22 18:03:11 +01:00
atomic_bounds.c	bpf: Propagate stack bounds to registers in atomics w/ BPF_FETCH	2021-02-02 18:23:29 -08:00
atomic_cmpxchg.c	bpf, selftests: Update test case for atomic cmpxchg on r0 with pointer	2021-12-14 19:33:06 -08:00
atomic_fetch_add.c	bpf: Add tests for new BPF atomic operations	2021-01-14 18:34:29 -08:00
atomic_fetch.c	bpf, selftests: Add test case for atomic fetch on spilled pointer	2021-12-14 19:33:06 -08:00
atomic_invalid.c	bpf: Small BPF verifier log improvements	2022-03-03 16:54:10 +01:00
atomic_or.c	bpf: Explicitly zero-extend R0 after 32-bit cmpxchg	2021-03-04 19:06:03 -08:00
atomic_xchg.c	bpf: Add tests for new BPF atomic operations	2021-01-14 18:34:29 -08:00
atomic_xor.c	selftests/bpf: Fix endianness issues in atomic tests	2021-02-10 11:55:22 -08:00
basic_call.c
basic_instr.c
basic_stx_ldx.c
basic.c	selftests/bpf: Fix test_verifier after introducing resolve_pseudo_ldimm64	2020-10-06 20:16:57 -07:00
bpf_loop_inline.c	selftests/bpf: Fix test_verifier failed test in unprivileged mode	2022-07-21 21:03:25 -07:00
bpf_st_mem.c	selftests/bpf: check if BPF_ST with variable offset preserves STACK_ZERO	2023-02-15 11:48:48 -08:00
calls.c	bpf: Treat KF_RELEASE kfuncs as KF_TRUSTED_ARGS	2023-03-25 16:56:22 -07:00
ctx_sk_lookup.c	selftests/bpf: Add tests for accessing ingress_ifindex in bpf_sk_lookup	2021-11-10 16:29:59 -08:00
ctx_skb.c	selftests/bpf: Use __BYTE_ORDER__	2021-10-25 20:39:42 -07:00
dead_code.c	selftests, bpf: Test that dead ldx_w insns are accepted	2021-08-13 17:46:26 +02:00
direct_value_access.c	selftests/bpf: Mark tests that require unaligned memory access	2020-11-18 17:45:35 -08:00
event_output.c
jit.c	bpf: add selftests for lsh, rsh, arsh with reg operand	2022-10-19 16:53:51 -07:00
jmp32.c	bpf, selftests: Add verifier test case for jmp32's jeq/jne	2022-07-01 12:56:27 -07:00
jset.c	bpf, selftests: Adjust few selftest outcomes wrt unreachable code	2021-06-14 23:06:38 +02:00
jump.c	bpf, selftests: Add verifier test case for imm=0,umin=0,umax=1 scalar	2022-07-01 12:56:27 -07:00
junk_insn.c
ld_abs.c
ld_dw.c
ld_imm64.c	selftests/bpf: Fix test_verifier after introducing resolve_pseudo_ldimm64	2020-10-06 20:16:57 -07:00
map_kptr.c	bpf: Remove bpf_kfunc_call_test_kptr_get() test kfunc	2023-04-16 08:51:24 -07:00
perf_event_sample_period.c	selftests/bpf: Use __BYTE_ORDER__	2021-10-25 20:39:42 -07:00
precise.c	bpf: fix mark_all_scalars_precise use in mark_chain_precision	2023-05-04 22:35:35 -07:00
scale.c
sleepable.c	bpf: Allow BPF_PROG_TYPE_STRUCT_OPS programs to be sleepable	2023-01-25 10:25:57 -08:00
wide_access.c	selftests/bpf: Mark tests that require unaligned memory access	2020-11-18 17:45:35 -08:00