summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
27 hoursbpf: Fix NULL deref in map_kptr_match_type for scalar regsMykyta Yatsenko
7 daysbpf: Don't mark STACK_INVALID as STACK_MISC in mark_stack_slot_miscKumar Kartikeya Dwivedi
7 daysbpf: handle fake register spill to stack with BPF_ST_MEM instructionAndrii Nakryiko
7 daysbpf: track aligned STACK_ZERO cases as imprecise spilled registersAndrii Nakryiko
7 daysbpf: preserve constant zero when doing partial register restoreAndrii Nakryiko
7 daysbpf: preserve STACK_ZERO slots on partial reg spillsAndrii Nakryiko
7 daysbpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko
2026-04-11bpf: reject direct access to nullable PTR_TO_BUF pointersQi Tang
2026-04-11bpf: Fix regsafe() for pointers to packetAlexei Starovoitov
2026-03-25bpf: Forget ranges when refining tnum after JSETPaul Chaignon
2026-03-04bpf: verifier improvement in 32bit shift sign extension patternCupertino Miranda
2025-11-24bpf: account for current allocated stack depth in widen_imprecise_scalars()Eduard Zingerman
2025-10-15bpf: Reject negative offsets for ALU opsYazhou Tang
2025-10-02bpf: Reject bpf_timer for PREEMPT_RTLeon Hwang
2025-08-28bpf: Make reg_not_null() true for CONST_PTR_TO_MAPIhor Solodrai
2025-06-04bpf: don't do clean_live_states when state->loop_entry->branches > 0Eduard Zingerman
2025-05-09bpf: fix null dereference when computing changes_pkt_data of prog w/o subprogsEduard Zingerman
2025-05-09bpf: check changes_pkt_data property for extension programsEduard Zingerman
2025-05-09bpf: track changes_pkt_data property for global functionsEduard Zingerman
2025-05-09bpf: refactor bpf_helper_changes_pkt_data to use helper numberEduard Zingerman
2025-05-09bpf: add find_containing_subprog() utility functionEduard Zingerman
2025-05-02bpf: Reject attaching fexit/fmod_ret to __noreturn functionsYafang Shao
2025-01-09Revert "bpf: support non-r10 register spill/fill to/from stack in precision t...Shung-Hsi Yu
2024-12-19bpf: sync_linked_regs() must preserve subreg_defEduard Zingerman
2024-12-14bpf: Fix narrow scalar spill onto 64-bit spilled scalar slotsTao Lyu
2024-12-09bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko
2024-11-17bpf: use kvzmalloc to allocate BPF verifier environmentRik van Riel
2024-11-08bpf: Force checkpoint when jmp history is too longEduard Zingerman
2024-11-01bpf: Fix overloading of MEM_UNINIT's meaningDaniel Borkmann
2024-11-01bpf: Simplify checking size of helper accessesAndrei Matei
2024-11-01bpf: Fix truncation bug in coerce_reg_to_size_sx()Dimitar Kanaliev
2024-11-01bpf: fix kfunc btf caching for modulesToke Høiland-Jørgensen
2024-10-10bpf: Make the pointer returned by iter next method validJuntong Deng
2024-10-04bpf: Improve check_raw_mode_ok test for MEM_UNINIT-tagged typesDaniel Borkmann
2024-10-04bpf: Fix helper writes to read-only mapsDaniel Borkmann
2024-09-12bpf, verifier: Correct tail_call_reachable for bpf progLeon Hwang
2024-08-29bpf: Fix a kernel verifier crash in stacksafe()Yonghong Song
2024-07-09Revert "bpf: Take return from set_memory_ro() into account with bpf_prog_lock...Greg Kroah-Hartman
2024-07-05bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy
2024-07-05bpf: Add missed var_off setting in coerce_subreg_to_size_sx()Yonghong Song
2024-07-05bpf: Add missed var_off setting in set_sext32_default_val()Yonghong Song
2024-06-21bpf: Optimize the free of inner mapHou Tao
2024-06-12bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki
2024-06-12bpf: Fix verifier assumptions about socket->skAlexei Starovoitov
2024-06-12bpf: prevent r10 register from being marked as preciseAndrii Nakryiko
2024-05-17bpf: Fix a verifier verbose messageAnton Protopopov
2024-04-10bpf: Protect against int overflow for stack access sizeAndrei Matei
2024-03-15bpf: check bpf_func_state->callback_depth when pruning statesEduard Zingerman
2024-01-31bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman
2024-01-31bpf: widening for callback iteratorsEduard Zingerman