summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorLines
2024-12-17bpf: Fix bpf_get_smp_processor_id() on !CONFIG_SMPAndrea Righi-1/+5
2024-12-13bpf: Revert "bpf: Mark raw_tp arguments with PTR_MAYBE_NULL"Kumar Kartikeya Dwivedi-72/+7
2024-12-12bpf: fix null dereference when computing changes_pkt_data of prog w/o subprogsEduard Zingerman-2/+5
2024-12-10bpf: check changes_pkt_data property for extension programsEduard Zingerman-4/+12
2024-12-10bpf: track changes_pkt_data property for global functionsEduard Zingerman-1/+31
2024-12-10bpf: refactor bpf_helper_changes_pkt_data to use helper numberEduard Zingerman-1/+1
2024-12-10bpf: add find_containing_subprog() utility functionEduard Zingerman-4/+24
2024-12-04bpf: Fix narrow scalar spill onto 64-bit spilled scalar slotsTao Lyu-0/+1
2024-12-04bpf: Don't mark STACK_INVALID as STACK_MISC in mark_stack_slot_miscKumar Kartikeya Dwivedi-3/+6
2024-12-02bpf: Zero index arg error string for dynptr and iterKumar Kartikeya Dwivedi-6/+6
2024-12-02bpf: Ensure reg is PTR_TO_STACK in process_iter_argTao Lyu-0/+5
2024-11-15bpf: use common instruction history across all statesAndrii Nakryiko-55/+52
2024-11-13Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov-15/+8
2024-11-12bpf: Support private stack for struct_ops progsYonghong Song-1/+6
2024-11-12bpf: Enable private stack for eligible subprogsYonghong Song-0/+11
2024-11-12bpf: Find eligible subprogs for private stack supportYonghong Song-10/+86
2024-11-11bpf: Drop special callback reference handlingKumar Kartikeya Dwivedi-20/+5
2024-11-11bpf: Refactor active lock managementKumar Kartikeya Dwivedi-39/+107
2024-11-11bpf: Add support for uprobe multi session attachJiri Olsa-0/+1
2024-11-11bpf: Allow return values 0 and 1 for kprobe sessionJiri Olsa-0/+9
2024-11-04bpf: Mark raw_tp arguments with PTR_MAYBE_NULLKumar Kartikeya Dwivedi-7/+72
2024-11-03bpf: Unify resource leak checksKumar Kartikeya Dwivedi-56/+34
2024-11-03bpf: Tighten tail call checks for lingering locks, RCU, preempt_disableKumar Kartikeya Dwivedi-0/+15
2024-10-29bpf: disallow 40-bytes extra stack for bpf_fastcall patternsEduard Zingerman-12/+2
2024-10-29bpf: Force checkpoint when jmp history is too longEduard Zingerman-3/+6
2024-10-24Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov-51/+60
2024-10-24bpf: Handle BPF_UPTR in verifierKui-Feng Lee-6/+33
2024-10-23bpf: fix do_misc_fixups() for bpf_get_branch_snapshot()Andrii Nakryiko-1/+1
2024-10-22bpf: Fix overloading of MEM_UNINIT's meaningDaniel Borkmann-38/+35
2024-10-17bpf: Fix incorrect delta propagation between linked registersDaniel Borkmann-5/+6
2024-10-16mm/bpf: Add bpf_get_kmem_cache() kfuncNamhyung Kim-0/+5
2024-10-15bpf: Fix truncation bug in coerce_reg_to_size_sx()Dimitar Kanaliev-4/+4
2024-10-10bpf: fix kfunc btf caching for modulesToke Høiland-Jørgensen-1/+7
2024-10-10bpf: fix argument type in bpf_loop documentationMatteo Croce-1/+1
2024-10-09bpf: use kvzmalloc to allocate BPF verifier environmentRik van Riel-2/+2
2024-10-03bpf: Use KF_FASTCALL to mark kfuncs supporting fastcall contractEduard Zingerman-4/+1
2024-10-01bpf: sync_linked_regs() must preserve subreg_defEduard Zingerman-0/+5
2024-09-24Merge tag 'bpf-next-6.12-struct-fd' of git://git.kernel.org/pub/scm/linux/ker...Linus Torvalds-49/+61
2024-09-21Merge tag 'bpf-next-6.12' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds-295/+996
2024-09-13bpf: Improve check_raw_mode_ok test for MEM_UNINIT-tagged typesDaniel Borkmann-5/+11
2024-09-13bpf: Fix helper writes to read-only mapsDaniel Borkmann-36/+5
2024-09-13bpf: Fix a sdiv overflow issueYonghong Song-4/+89
2024-09-11bpf: Support __nullable argument suffix for tp_btfPhilo Lu-4/+32
2024-09-09bpf: Fix error message on kfunc arg type mismatchMaxim Mikityanskiy-1/+2
2024-09-05bpf: use type_may_be_null() helper for nullable-param checkShung-Hsi Yu-5/+0
2024-09-04bpf: Fix indentation issue in epilogue_idxMartin KaFai Lau-1/+1
2024-09-04bpf: Remove the insn_buf array stack usage from the inline_bpf_loop()Martin KaFai Lau-41/+42
2024-08-29bpf: Make the pointer returned by iter next method validJuntong Deng-4/+22
2024-08-29bpf: Add gen_epilogue to bpf_verifier_opsMartin KaFai Lau-1/+45
2024-08-29bpf: Adjust BPF_JMP that jumps to the 1st insn of the prologueMartin KaFai Lau-0/+6