summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2025-02-07bpf: Handle allocation failure in acquire_lock_stateKumar Kartikeya Dwivedi1-0/+2
2025-02-07bpf: verifier: Disambiguate get_constant_map_key() errorsDaniel Xu1-8/+17
2025-02-07bpf: verifier: Do not extract constant map keys for irrelevant mapsDaniel Xu1-3/+7
2025-01-23Merge tag 'bpf-next-6.14' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds1-346/+826
2025-01-20bpf: Remove 'may_goto 0' instruction in opt_remove_nops()Yonghong Song1-3/+8
2025-01-20bpf: Allow 'may_goto 0' instruction in verifierYonghong Song1-3/+2
2025-01-16bpf: verifier: Support eliding map lookup nullnessDaniel Xu1-3/+89
2025-01-16bpf: verifier: Refactor helper access type trackingDaniel Xu1-29/+16
2025-01-16bpf: verifier: Add missing newline on verbose() callDaniel Xu1-1/+1
2025-01-06bpf: Allow bpf_for/bpf_repeat calls while holding a spinlockEmil Tsalapatis1-1/+19
2024-12-30bpf: Fix holes in special_kfunc_list if !CONFIG_NETThomas Weißschuh1-0/+3
2024-12-30bpf, verifier: Improve precision of BPF_MULMatan Shachnai1-44/+36
2024-12-17bpf: Fix bpf_get_smp_processor_id() on !CONFIG_SMPAndrea Righi1-1/+5
2024-12-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov1-82/+78
2024-12-13bpf: Revert "bpf: Mark raw_tp arguments with PTR_MAYBE_NULL"Kumar Kartikeya Dwivedi1-72/+7
2024-12-13bpf: Fix configuration-dependent BTF function referencesThomas Weißschuh1-0/+8
2024-12-13bpf: Add fd_array_cnt attribute for prog_loadAnton Protopopov1-15/+91
2024-12-13bpf: Refactor check_pseudo_btf_idAnton Protopopov1-56/+76
2024-12-13bpf: Move map/prog compatibility checksAnton Protopopov1-55/+46
2024-12-12bpf: fix null dereference when computing changes_pkt_data of prog w/o subprogsEduard Zingerman1-2/+5
2024-12-10bpf: check changes_pkt_data property for extension programsEduard Zingerman1-4/+12
2024-12-10bpf: track changes_pkt_data property for global functionsEduard Zingerman1-1/+31
2024-12-10bpf: refactor bpf_helper_changes_pkt_data to use helper numberEduard Zingerman1-1/+1
2024-12-10bpf: add find_containing_subprog() utility functionEduard Zingerman1-4/+24
2024-12-08Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov1-9/+18
2024-12-04bpf: Fix narrow scalar spill onto 64-bit spilled scalar slotsTao Lyu1-0/+1
2024-12-04bpf: Don't mark STACK_INVALID as STACK_MISC in mark_stack_slot_miscKumar Kartikeya Dwivedi1-3/+6
2024-12-04bpf: Improve verifier log for resource leak on exitKumar Kartikeya Dwivedi1-1/+1
2024-12-04bpf: Introduce support for bpf_local_irq_{save,restore}Kumar Kartikeya Dwivedi1-2/+297
2024-12-04bpf: Refactor mark_{dynptr,iter}_readKumar Kartikeya Dwivedi1-22/+21
2024-12-04bpf: Refactor {acquire,release}_reference_stateKumar Kartikeya Dwivedi1-50/+59
2024-12-04bpf: Consolidate locks and reference state in verifier stateKumar Kartikeya Dwivedi1-74/+66
2024-12-02bpf: Zero index arg error string for dynptr and iterKumar Kartikeya Dwivedi1-6/+6
2024-12-02bpf: Ensure reg is PTR_TO_STACK in process_iter_argTao Lyu1-0/+5
2024-11-15bpf: use common instruction history across all statesAndrii Nakryiko1-55/+52
2024-11-13Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov1-15/+8
2024-11-12bpf: Support private stack for struct_ops progsYonghong Song1-1/+6
2024-11-12bpf: Enable private stack for eligible subprogsYonghong Song1-0/+11
2024-11-12bpf: Find eligible subprogs for private stack supportYonghong Song1-10/+86
2024-11-11bpf: Drop special callback reference handlingKumar Kartikeya Dwivedi1-20/+5
2024-11-11bpf: Refactor active lock managementKumar Kartikeya Dwivedi1-39/+107
2024-11-11bpf: Add support for uprobe multi session attachJiri Olsa1-0/+1
2024-11-11bpf: Allow return values 0 and 1 for kprobe sessionJiri Olsa1-0/+9
2024-11-04bpf: Mark raw_tp arguments with PTR_MAYBE_NULLKumar Kartikeya Dwivedi1-7/+72
2024-11-03bpf: Unify resource leak checksKumar Kartikeya Dwivedi1-56/+34
2024-11-03bpf: Tighten tail call checks for lingering locks, RCU, preempt_disableKumar Kartikeya Dwivedi1-0/+15
2024-10-29bpf: disallow 40-bytes extra stack for bpf_fastcall patternsEduard Zingerman1-12/+2
2024-10-29bpf: Force checkpoint when jmp history is too longEduard Zingerman1-3/+6
2024-10-24Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov1-51/+60
2024-10-24bpf: Handle BPF_UPTR in verifierKui-Feng Lee1-6/+33