aboutsummaryrefslogtreecommitdiffstats
path: root/include/linux/bpf_verifier.h (follow)
AgeCommit message (Expand)AuthorFilesLines
2025-10-15bpf: Tidy verifier bug messagePaul Chaignon1-5/+7
2025-07-03bpf: Avoid putting struct bpf_scc_callchain variables on the stackYonghong Song1-0/+1
2025-06-12bpf: include backedges in peak_states statEduard Zingerman1-0/+2
2025-06-12bpf: remove {update,get}_loop_entry functionsEduard Zingerman1-15/+0
2025-06-12bpf: propagate read/precision marks over state graph backedgesEduard Zingerman1-0/+38
2025-06-12bpf: compute SCCs in program control flow graphEduard Zingerman1-0/+5
2025-06-12Revert "bpf: use common instruction history across all states"Eduard Zingerman1-11/+8
2025-06-09bpf: Fall back to nospec for Spectre v1Luis Gerhorst1-0/+1
2025-06-09bpf: Rename sanitize_stack_spill to nospec_resultLuis Gerhorst1-1/+1
2025-05-27bpf: 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-13bpf: 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-18bpf: fix env->peak_states computationEduard Zingerman1-0/+2
2025-02-18bpf: free verifier states when they are no longer referencedEduard Zingerman1-6/+8
2025-02-18bpf: 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-12bpf: Support private stack for struct_ops progsYonghong Song1-0/+1
2024-11-12bpf: 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-29bpf: Add gen_epilogue to bpf_verifier_opsMartin KaFai Lau1-0/+1
2024-08-29bpf: 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-12bpf: Fix updating attached freplace prog in prog_array mapLeon Hwang1-2/+2
2024-07-29bpf: 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/bpf-nextPaolo 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-23bpf: 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-11bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov1-0/+1
2024-03-06bpf: Introduce may_goto instructionAlexei Starovoitov1-0/+2
2024-02-02bpf: 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-23bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Kui-Feng Lee1-0/+1
2024-01-23bpf: Make bpf_for_each_spilled_reg consider narrow spillsMaxim Mikityanskiy1-1/+1