summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)Author
2026-06-14bpf: Raise maximum call chain depth to 16 framesAlexei Starovoitov
2026-06-07bpf: Add bpf_trampoline_multi_attach/detach functionsJiri Olsa
2026-06-02bpf: Silence unused-but-set-variable warning in bpf_for_each_reg_in_vstate_maskAmery Hung
2026-06-01bpf: Unify release handling for helpers and kfuncsAmery Hung
2026-06-01bpf: Unify referenced object tracking in verifierAmery Hung
2026-06-01bpf: Refactor object relationship tracking and fix dynptr UAF bugAmery Hung
2026-06-01bpf: Unify dynptr handling in the verifierAmery Hung
2026-05-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf 7.1-rc5Alexei Starovoitov
2026-05-17bpf: Check global subprog exception pathsKumar Kartikeya Dwivedi
2026-05-13bpf: Report maximum combined stack depthPaul Chaignon
2026-05-13bpf: Add precision marking and backtracking for stack argument slotsYonghong Song
2026-05-13bpf: Refactor jmp history to use dedicated spi/frame fieldsYonghong Song
2026-05-13bpf: Support stack arguments for bpf functionsYonghong Song
2026-05-13bpf: Convert bpf_get_spilled_reg macro to static inline functionYonghong Song
2026-05-12bpf: Add syscall common attributes support for map_createLeon Hwang
2026-05-12bpf: Add syscall common attributes support for prog_loadLeon Hwang
2026-05-12bpf: Refactor reporting log_true_size for prog_loadLeon Hwang
2026-04-30bpf: Print breakdown of insns processed by subprogsPaul Chaignon
2026-04-24bpf: replace min/max fields with struct cnum{32,64}Eduard Zingerman
2026-04-24bpf: use accessor functions for bpf_reg_state min/max fieldsEduard Zingerman
2026-04-23bpf: Prepare verifier logs for upcoming kfunc stack argumentsYonghong Song
2026-04-16bpf: Add helper to detect indirect jump targetsXu Kuohai
2026-04-12bpf: Move BTF checking logic into check_btf.cAlexei Starovoitov
2026-04-12bpf: Move backtracking logic to backtrack.cAlexei Starovoitov
2026-04-12bpf: Move state equivalence logic to states.cAlexei Starovoitov
2026-04-12bpf: Move check_cfg() into cfg.cAlexei Starovoitov
2026-04-12bpf: Move compute_insn_live_regs() into liveness.cAlexei Starovoitov
2026-04-12bpf: Move fixup/post-processing logic from verifier.c into fixups.cAlexei Starovoitov
2026-04-10bpf: poison dead stack slotsAlexei Starovoitov
2026-04-10bpf: change logging scheme for live stack analysisEduard Zingerman
2026-04-10bpf: simplify liveness to use (callsite, depth) keyed func_instancesEduard Zingerman
2026-04-10bpf: record arg tracking results in bpf_liveness masksEduard Zingerman
2026-04-10bpf: introduce forward arg-tracking dataflow analysisEduard Zingerman
2026-04-10bpf: make liveness.c track stack with 4-byte granularityEduard Zingerman
2026-04-10bpf: Add spis_*() helpers for 4-byte stack slot bitmasksAlexei Starovoitov
2026-04-10bpf: save subprogram name in bpf_subprog_infoEduard Zingerman
2026-04-10bpf: share several utility functions as internal APIEduard Zingerman
2026-04-03bpf: Add helper and kfunc stack access size resolutionAlexei Starovoitov
2026-04-03bpf: Move verifier helpers to headerAlexei Starovoitov
2026-04-03bpf: Add bpf_compute_const_regs() and bpf_prune_dead_branches() passesAlexei Starovoitov
2026-04-03bpf: Sort subprogs in topological order after check_cfg()Alexei Starovoitov
2026-04-02bpf: Use bpf_verifier_env buffers for reg_set_min_maxPaul Chaignon
2026-03-03bpf: Factor out program return value calculationEmil Tsalapatis
2026-02-13bpf: rename bpf_reg_state->off to bpf_reg_state->deltaEduard Zingerman
2026-02-13bpf: use reg->var_off instead of reg->off for pointersEduard Zingerman
2026-02-04bpf: Support negative offsets, BPF_SUB, and alu32 for linked register trackingPuranjay Mohan
2026-02-03bpf: Clear singular ids for scalars in is_state_visited()Puranjay Mohan
2026-01-20bpf/verifier: Optimize ID mapping reset in states_equalQiliang Yuan
2025-11-21bpf: support nested rcu critical sectionsPuranjay Mohan
2025-11-21bpf: correct stack liveness for tail callsEduard Zingerman