summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)Author
2025-11-21bpf: support nested rcu critical sectionsPuranjay Mohan
2025-11-21bpf: correct stack liveness for tail callsEduard Zingerman
2025-11-05bpf, x86: add support for indirect jumpsAnton Protopopov
2025-11-05bpf, x86: add new map type: instructions arrayAnton Protopopov
2025-10-21bpf: make bpf_insn_successors to return a pointerAnton Protopopov
2025-10-10bpf: Refactor storage_get_func_atomic to generic non_sleepable flagKumar Kartikeya Dwivedi
2025-09-19bpf: table based bpf_insn_successors()Eduard Zingerman
2025-09-19bpf: disable and remove registers chain based livenessEduard Zingerman
2025-09-19bpf: signal error if old liveness is more conservative than newEduard Zingerman
2025-09-19bpf: callchain sensitive stack liveness tracking using CFGEduard Zingerman
2025-09-19bpf: compute instructions postorder per subprogramEduard Zingerman
2025-09-19bpf: declare a few utility functions as internal apiEduard Zingerman
2025-09-19bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONEEduard Zingerman
2025-08-12bpf: Tidy verifier bug messagePaul Chaignon
2025-08-01bpf: Allow syscall bpf programs to call non-recur helpersAmery Hung
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
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-22 16:34:46 +0000