summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)Author
2025-07-03bpf: Avoid putting struct bpf_scc_callchain variables on the stackYonghong Song
2025-06-12bpf: include backedges in peak_states statEduard Zingerman
2025-06-12bpf: remove {update,get}_loop_entry functionsEduard Zingerman
2025-06-12bpf: propagate read/precision marks over state graph backedgesEduard Zingerman
2025-06-12bpf: compute SCCs in program control flow graphEduard Zingerman
2025-06-12Revert "bpf: use common instruction history across all states"Eduard Zingerman
2025-06-09bpf: Fall back to nospec for Spectre v1Luis Gerhorst
2025-06-09bpf: Rename sanitize_stack_spill to nospec_resultLuis Gerhorst
2025-05-27bpf: Do not include stack ptr register in precision backtracking bookkeepingYonghong Song
2025-05-19bpf: WARN_ONCE on verifier bugsPaul Chaignon
2025-05-13bpf: Add support for __prog argument suffix to pass in prog->auxKumar Kartikeya Dwivedi
2025-03-19bpf: Maintain FIFO property for rqspinlock unlockKumar Kartikeya Dwivedi
2025-03-19bpf: Implement verifier support for rqspinlockKumar Kartikeya Dwivedi
2025-03-15bpf: simple DFA-based live registers analysisEduard Zingerman
2025-03-15bpf: Summarize sleepable global subprogsKumar Kartikeya Dwivedi
2025-02-18bpf: fix env->peak_states computationEduard Zingerman
2025-02-18bpf: free verifier states when they are no longer referencedEduard Zingerman
2025-02-18bpf: use list_head to track explored states and free listEduard Zingerman
2024-12-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov
2024-12-10bpf: track changes_pkt_data property for global functionsEduard Zingerman
2024-12-04bpf: Introduce support for bpf_local_irq_{save,restore}Kumar Kartikeya Dwivedi
2024-12-04bpf: Consolidate locks and reference state in verifier stateKumar Kartikeya Dwivedi
2024-11-15bpf: use common instruction history across all statesAndrii Nakryiko
2024-11-12bpf: Support private stack for struct_ops progsYonghong Song
2024-11-12bpf: Find eligible subprogs for private stack supportYonghong Song
2024-11-11bpf: Drop special callback reference handlingKumar Kartikeya Dwivedi
2024-11-11bpf: Refactor active lock managementKumar Kartikeya Dwivedi
2024-09-05bpf: use type_may_be_null() helper for nullable-param checkShung-Hsi Yu
2024-09-04bpf: Remove the insn_buf array stack usage from the inline_bpf_loop()Martin KaFai Lau
2024-08-29bpf: Add gen_epilogue to bpf_verifier_opsMartin KaFai Lau
2024-08-29bpf: Move insn_buf[16] to bpf_verifier_envMartin KaFai Lau
2024-08-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov
2024-08-22bpf: rename nocsr -> bpf_fastcall in verifierEduard Zingerman
2024-08-12bpf: Fix updating attached freplace prog in prog_array mapLeon Hwang
2024-07-29bpf: no_caller_saved_registers attribute for helper callsEduard Zingerman
2024-07-29bpf: Track equal scalars history on per-instruction levelEduard Zingerman
2024-07-12bpf: Fix null pointer dereference in resolve_prog_type() for BPF_PROG_TYPE_EXTTengda Wu
2024-07-09Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Paolo Abeni
2024-06-14bpf: Track delta between "linked" registers.Alexei Starovoitov
2024-06-13bpf: Fix reg_set_min_max corruption of fake_regDaniel Borkmann
2024-04-24bpf: Introduce bpf_preempt_[disable,enable] kfuncsKumar Kartikeya Dwivedi
2024-04-23bpf: wq: add bpf_wq_set_callback_implBenjamin Tissoires
2024-04-05bpf: store both map ptr and state in bpf_insn_aux_dataPhilo Lu
2024-03-11bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov
2024-03-06bpf: Introduce may_goto instructionAlexei Starovoitov
2024-02-02bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy
2024-01-30bpf: add __arg_trusted global func arg tagAndrii Nakryiko
2024-01-23bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Kui-Feng Lee
2024-01-23bpf: Make bpf_for_each_spilled_reg consider narrow spillsMaxim Mikityanskiy
2023-12-19bpf: move subprog call logic back to verifier.cAndrii Nakryiko
generated by cgit (git 2.34.1) at 2025-08-03 23:52:11 +0000