summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)AuthorFilesLines
2025-05-28bpf: Do not include stack ptr register in precision backtracking bookkeepingYonghong Song1-4/+8
2025-05-19bpf: WARN_ONCE on verifier bugsPaul Chaignon1-0/+11
2025-05-14bpf: Add support for __prog argument suffix to pass in prog->auxKumar Kartikeya Dwivedi1-0/+1
2025-03-19bpf: Maintain FIFO property for rqspinlock unlockKumar Kartikeya Dwivedi1-0/+3
2025-03-19bpf: Implement verifier support for rqspinlockKumar Kartikeya Dwivedi1-3/+13
2025-03-15bpf: simple DFA-based live registers analysisEduard Zingerman1-0/+6
2025-03-15bpf: Summarize sleepable global subprogsKumar Kartikeya Dwivedi1-0/+1
2025-02-19bpf: fix env->peak_states computationEduard Zingerman1-0/+2
2025-02-19bpf: free verifier states when they are no longer referencedEduard Zingerman1-6/+8
2025-02-19bpf: use list_head to track explored states and free listEduard Zingerman1-3/+6
2024-12-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov1-0/+1
2024-12-10bpf: track changes_pkt_data property for global functionsEduard Zingerman1-0/+1
2024-12-04bpf: Introduce support for bpf_local_irq_{save,restore}Kumar Kartikeya Dwivedi1-2/+5
2024-12-04bpf: Consolidate locks and reference state in verifier stateKumar Kartikeya Dwivedi1-8/+11
2024-11-15bpf: use common instruction history across all statesAndrii Nakryiko1-8/+11
2024-11-13bpf: Support private stack for struct_ops progsYonghong Song1-0/+1
2024-11-13bpf: Find eligible subprogs for private stack supportYonghong Song1-0/+7
2024-11-11bpf: Drop special callback reference handlingKumar Kartikeya Dwivedi1-17/+4
2024-11-11bpf: Refactor active lock managementKumar Kartikeya Dwivedi1-28/+25
2024-09-05bpf: use type_may_be_null() helper for nullable-param checkShung-Hsi Yu1-0/+5
2024-09-04bpf: Remove the insn_buf array stack usage from the inline_bpf_loop()Martin KaFai Lau1-1/+1
2024-08-30bpf: Add gen_epilogue to bpf_verifier_opsMartin KaFai Lau1-0/+1
2024-08-30bpf: Move insn_buf[16] to bpf_verifier_envMartin KaFai Lau1-0/+3
2024-08-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov1-2/+2
2024-08-22bpf: rename nocsr -> bpf_fastcall in verifierEduard Zingerman1-9/+9
2024-08-13bpf: Fix updating attached freplace prog in prog_array mapLeon Hwang1-2/+2
2024-07-30bpf: no_caller_saved_registers attribute for helper callsEduard Zingerman1-0/+14
2024-07-29bpf: Track equal scalars history on per-instruction levelEduard Zingerman1-0/+4
2024-07-12bpf: Fix null pointer dereference in resolve_prog_type() for BPF_PROG_TYPE_EXTTengda Wu1-1/+1
2024-07-09Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Paolo Abeni1-1/+11
2024-06-14bpf: Track delta between "linked" registers.Alexei Starovoitov1-1/+11
2024-06-13bpf: Fix reg_set_min_max corruption of fake_regDaniel Borkmann1-0/+2
2024-04-24bpf: Introduce bpf_preempt_[disable,enable] kfuncsKumar Kartikeya Dwivedi1-0/+1
2024-04-24bpf: wq: add bpf_wq_set_callback_implBenjamin Tissoires1-0/+1
2024-04-05bpf: store both map ptr and state in bpf_insn_aux_dataPhilo Lu1-1/+8
2024-03-12bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov1-0/+1
2024-03-07bpf: Introduce may_goto instructionAlexei Starovoitov1-0/+2
2024-02-03bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy1-0/+9
2024-01-30bpf: add __arg_trusted global func arg tagAndrii Nakryiko1-0/+1
2024-01-24bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Kui-Feng Lee1-0/+1
2024-01-24bpf: Make bpf_for_each_spilled_reg consider narrow spillsMaxim Mikityanskiy1-1/+1
2023-12-20bpf: move subprog call logic back to verifier.cAndrii Nakryiko1-8/+0
2023-12-20bpf: prepare btf_prepare_func_args() for handling static subprogsAndrii Nakryiko1-0/+5
2023-12-20bpf: abstract away global subprog arg preparation logic from reg state setupAndrii Nakryiko1-0/+16
2023-12-12bpf: use bitfields for simple per-subprog bool flagsAndrii Nakryiko1-6/+6
2023-12-09bpf: Add some comments to stack representationAndrei Matei1-0/+14
2023-12-06bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko1-4/+27
2023-12-02bpf: enforce exact retval range on subprog/callback exitAndrii Nakryiko1-1/+6
2023-12-02bpf: rearrange bpf_func_state fields to save a bit of memoryAndrii Nakryiko1-2/+2
2023-11-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-0/+16