summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2025-11-24bpf: account for current allocated stack depth in widen_imprecise_scalars()Eduard Zingerman1-2/+4
2025-10-15bpf: Reject negative offsets for ALU opsYazhou Tang1-2/+2
2025-10-02bpf: Reject bpf_timer for PREEMPT_RTLeon Hwang1-0/+4
2025-08-28bpf: Make reg_not_null() true for CONST_PTR_TO_MAPIhor Solodrai1-1/+2
2025-06-04bpf: don't do clean_live_states when state->loop_entry->branches > 0Eduard Zingerman1-0/+4
2025-05-09bpf: fix null dereference when computing changes_pkt_data of prog w/o subprogsEduard Zingerman1-2/+5
2025-05-09bpf: check changes_pkt_data property for extension programsEduard Zingerman1-4/+12
2025-05-09bpf: track changes_pkt_data property for global functionsEduard Zingerman1-1/+31
2025-05-09bpf: refactor bpf_helper_changes_pkt_data to use helper numberEduard Zingerman1-1/+1
2025-05-09bpf: add find_containing_subprog() utility functionEduard Zingerman1-4/+24
2025-05-02bpf: Reject attaching fexit/fmod_ret to __noreturn functionsYafang Shao1-0/+32
2025-01-09Revert "bpf: support non-r10 register spill/fill to/from stack in precision t...Shung-Hsi Yu1-102/+73
2024-12-19bpf: sync_linked_regs() must preserve subreg_defEduard Zingerman1-1/+4
2024-12-14bpf: Fix narrow scalar spill onto 64-bit spilled scalar slotsTao Lyu1-0/+1
2024-12-09bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko1-73/+102
2024-11-17bpf: use kvzmalloc to allocate BPF verifier environmentRik van Riel1-2/+2
2024-11-08bpf: Force checkpoint when jmp history is too longEduard Zingerman1-3/+6
2024-11-01bpf: Fix overloading of MEM_UNINIT's meaningDaniel Borkmann1-38/+35
2024-11-01bpf: Simplify checking size of helper accessesAndrei Matei1-6/+4
2024-11-01bpf: Fix truncation bug in coerce_reg_to_size_sx()Dimitar Kanaliev1-4/+4
2024-11-01bpf: fix kfunc btf caching for modulesToke Høiland-Jørgensen1-1/+7
2024-10-10bpf: Make the pointer returned by iter next method validJuntong Deng1-4/+22
2024-10-04bpf: Improve check_raw_mode_ok test for MEM_UNINIT-tagged typesDaniel Borkmann1-5/+11
2024-10-04bpf: Fix helper writes to read-only mapsDaniel Borkmann1-36/+5
2024-09-12bpf, verifier: Correct tail_call_reachable for bpf progLeon Hwang1-1/+3
2024-08-29bpf: Fix a kernel verifier crash in stacksafe()Yonghong Song1-2/+3
2024-07-09Revert "bpf: Take return from set_memory_ro() into account with bpf_prog_lock...Greg Kroah-Hartman1-6/+2
2024-07-05bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy1-2/+6
2024-07-05bpf: Add missed var_off setting in coerce_subreg_to_size_sx()Yonghong Song1-0/+1
2024-07-05bpf: Add missed var_off setting in set_sext32_default_val()Yonghong Song1-0/+1
2024-06-21bpf: Optimize the free of inner mapHou Tao1-1/+3
2024-06-12bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki1-3/+7
2024-06-12bpf: Fix verifier assumptions about socket->skAlexei Starovoitov1-5/+18
2024-06-12bpf: prevent r10 register from being marked as preciseAndrii Nakryiko1-2/+4
2024-05-17bpf: Fix a verifier verbose messageAnton Protopopov1-2/+1
2024-04-10bpf: Protect against int overflow for stack access sizeAndrei Matei1-0/+5
2024-03-15bpf: check bpf_func_state->callback_depth when pruning statesEduard Zingerman1-0/+3
2024-01-31bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman1-2/+17
2024-01-31bpf: widening for callback iteratorsEduard Zingerman1-2/+22
2024-01-31bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman1-98/+174
2024-01-31bpf: extract setup_func_entry() utility functionEduard Zingerman1-36/+48
2024-01-31bpf: extract __check_reg_arg() utility functionEduard Zingerman1-6/+13
2024-01-31bpf: print full verifier states on infinite loop detectionEduard Zingerman1-0/+4
2024-01-31bpf: correct loop detection for iterators convergenceEduard Zingerman1-4/+203
2024-01-31bpf: exact states comparison for iterator convergence checksEduard Zingerman1-31/+187
2024-01-31bpf: extract same_callsites() as utility functionEduard Zingerman1-5/+15
2024-01-31bpf: move explored_state() closer to the beginning of verifier.cEduard Zingerman1-15/+13
2024-01-25bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun1-0/+4
2024-01-25bpf: Fix accesses to uninit stack slotsAndrei Matei1-39/+26
2024-01-25bpf: Guard stack limits against 32bit overflowAndrei Matei1-3/+3