summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2025-07-10bpf: Do not include stack ptr register in precision backtracking bookkeepingYonghong Song
2025-07-10bpf: use common instruction history across all statesAndrii Nakryiko
2025-05-29bpf: abort verification if env->cur_state->loop_entry != NULLEduard Zingerman
2025-05-29bpf: copy_verifier_state() should copy 'loop_entry' fieldEduard Zingerman
2025-05-29bpf: don't do clean_live_states when state->loop_entry->branches > 0Eduard Zingerman
2025-05-29bpf: Search and add kfuncs in struct_ops prologue and epilogueAmery Hung
2025-05-02bpf: Reject attaching fexit/fmod_ret to __noreturn functionsYafang Shao
2025-04-25bpf: fix null dereference when computing changes_pkt_data of prog w/o subprogsEduard Zingerman
2025-04-25bpf: check changes_pkt_data property for extension programsEduard Zingerman
2025-04-25bpf: track changes_pkt_data property for global functionsEduard Zingerman
2025-04-25bpf: add find_containing_subprog() utility functionEduard Zingerman
2025-04-10bpf: Fix array bounds error with may_gotoJiayuan Chen
2025-01-09bpf: refactor bpf_helper_changes_pkt_data to use helper numberEduard Zingerman
2025-01-02bpf: Zero index arg error string for dynptr and iterKumar Kartikeya Dwivedi
2025-01-02bpf: Fix bpf_get_smp_processor_id() on !CONFIG_SMPAndrea Righi
2024-12-19bpf: Revert "bpf: Mark raw_tp arguments with PTR_MAYBE_NULL"Kumar Kartikeya Dwivedi
2024-12-14bpf: Fix narrow scalar spill onto 64-bit spilled scalar slotsTao Lyu
2024-12-14bpf: Don't mark STACK_INVALID as STACK_MISC in mark_stack_slot_miscKumar Kartikeya Dwivedi
2024-12-14bpf: Ensure reg is PTR_TO_STACK in process_iter_argTao Lyu
2024-12-05bpf: Allow return values 0 and 1 for kprobe sessionJiri Olsa
2024-12-05bpf: Mark raw_tp arguments with PTR_MAYBE_NULLKumar Kartikeya Dwivedi
2024-12-05bpf: Tighten tail call checks for lingering locks, RCU, preempt_disableKumar Kartikeya Dwivedi
2024-10-29bpf: disallow 40-bytes extra stack for bpf_fastcall patternsEduard Zingerman
2024-10-29bpf: Force checkpoint when jmp history is too longEduard Zingerman
2024-10-23bpf: fix do_misc_fixups() for bpf_get_branch_snapshot()Andrii Nakryiko
2024-10-22bpf: Fix overloading of MEM_UNINIT's meaningDaniel Borkmann
2024-10-17bpf: Fix incorrect delta propagation between linked registersDaniel Borkmann
2024-10-15bpf: Fix truncation bug in coerce_reg_to_size_sx()Dimitar Kanaliev
2024-10-10bpf: fix kfunc btf caching for modulesToke Høiland-Jørgensen
2024-10-09bpf: use kvzmalloc to allocate BPF verifier environmentRik van Riel
2024-10-01bpf: sync_linked_regs() must preserve subreg_defEduard Zingerman
2024-09-24Merge tag 'bpf-next-6.12-struct-fd' of git://git.kernel.org/pub/scm/linux/ker...Linus Torvalds
2024-09-21Merge tag 'bpf-next-6.12' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds
2024-09-13bpf: Improve check_raw_mode_ok test for MEM_UNINIT-tagged typesDaniel Borkmann
2024-09-13bpf: Fix helper writes to read-only mapsDaniel Borkmann
2024-09-13bpf: Fix a sdiv overflow issueYonghong Song
2024-09-11bpf: Support __nullable argument suffix for tp_btfPhilo Lu
2024-09-09bpf: Fix error message on kfunc arg type mismatchMaxim Mikityanskiy
2024-09-05bpf: use type_may_be_null() helper for nullable-param checkShung-Hsi Yu
2024-09-04bpf: Fix indentation issue in epilogue_idxMartin KaFai Lau
2024-09-04bpf: Remove the insn_buf array stack usage from the inline_bpf_loop()Martin KaFai Lau
2024-08-29bpf: Make the pointer returned by iter next method validJuntong Deng
2024-08-29bpf: Add gen_epilogue to bpf_verifier_opsMartin KaFai Lau
2024-08-29bpf: Adjust BPF_JMP that jumps to the 1st insn of the prologueMartin KaFai Lau
2024-08-29bpf: Move insn_buf[16] to bpf_verifier_envMartin KaFai Lau
2024-08-28bpf: Relax KF_ACQUIRE kfuncs strict type matching constraintJuntong Deng
2024-08-23bpf: Support bpf_kptr_xchg into local kptrDave Marchevsky
2024-08-23bpf: Rename ARG_PTR_TO_KPTR -> ARG_KPTR_XCHG_DESTDave Marchevsky
2024-08-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov
2024-08-22bpf: allow bpf_fastcall for bpf_cast_to_kern_ctx and bpf_rdonly_castEduard Zingerman