summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)AuthorFilesLines
2026-08-17bpf: Rewrite any fault prone load out of a mem or btf_id pointerDaniel Borkmann1-0/+11
2026-08-17bpf: Keep fault protection when merging pointer typesDaniel Borkmann1-0/+10
2026-08-15bpf: Track verifier register diagnostic eventsKumar Kartikeya Dwivedi1-0/+17
2026-08-15bpf: Add source and instruction diagnostic contextKumar Kartikeya Dwivedi1-0/+4
2026-08-13bpf: Eliminate dup/restore of insn_aux_dataXu Kuohai1-0/+1
2026-08-13bpf: Track verifier instruction stats for each subprogramKumar Kartikeya Dwivedi1-1/+4
2026-08-08bpf: Support __arena and __arena__nullable on struct_ops argumentsTejun Heo1-0/+10
2026-08-08bpf: Rename 'early' BTF checking as a preparation phaseKumar Kartikeya Dwivedi1-2/+2
2026-08-08bpf: Infer zext_dst based on static register liveness analysisEduard Zingerman1-6/+1
2026-08-03bpf: Generate kfunc argument prototype at add-call timeAmery Hung1-3/+6
2026-08-03bpf: Fold __szk const size handling into the scalar arg pathAmery Hung1-4/+7
2026-08-03bpf: Rename ARG_CONST_SIZE{,_OR_ZERO} to ARG_MEM_SIZE{,_OR_ZERO}Amery Hung1-1/+1
2026-07-15bpf: Unify helper and kfunc call argument metaAmery Hung1-15/+23
2026-07-15bpf: Unify helper and kfunc allocation-size argument handlingAmery Hung1-2/+7
2026-07-15bpf: Factor out raw_mode-related fields in bpf_call_arg_metaAmery Hung1-0/+9
2026-07-08bpf: Verify signed loader metadata at load timeDaniel Borkmann1-0/+1
2026-07-08bpf: Resolve and cache fd_array objects at load timeDaniel Borkmann1-1/+21
2026-06-26bpf: Preserve scalar zero spills for stack readsWoojin Ji1-0/+5
2026-06-14bpf: Raise maximum call chain depth to 16 framesAlexei Starovoitov1-6/+7
2026-06-07bpf: Add bpf_trampoline_multi_attach/detach functionsJiri Olsa1-0/+4
2026-06-02bpf: Silence unused-but-set-variable warning in bpf_for_each_reg_in_vstate_maskAmery Hung1-0/+1
2026-06-02bpf: Unify release handling for helpers and kfuncsAmery Hung1-3/+3
2026-06-02bpf: Unify referenced object tracking in verifierAmery Hung1-1/+13
2026-06-02bpf: Refactor object relationship tracking and fix dynptr UAF bugAmery Hung1-49/+28
2026-06-02bpf: Unify dynptr handling in the verifierAmery Hung1-5/+8
2026-05-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf 7.1-rc5Alexei Starovoitov1-0/+2
2026-05-17bpf: Check global subprog exception pathsKumar Kartikeya Dwivedi1-0/+2
2026-05-14bpf: Report maximum combined stack depthPaul Chaignon1-0/+2
2026-05-13bpf: Add precision marking and backtracking for stack argument slotsYonghong Song1-0/+8
2026-05-13bpf: Refactor jmp history to use dedicated spi/frame fieldsYonghong Song1-21/+16
2026-05-13bpf: Support stack arguments for bpf functionsYonghong Song1-4/+39
2026-05-13bpf: Convert bpf_get_spilled_reg macro to static inline functionYonghong Song1-4/+8
2026-05-12bpf: Add syscall common attributes support for map_createLeon Hwang1-0/+3
2026-05-12bpf: Add syscall common attributes support for prog_loadLeon Hwang1-1/+2
2026-05-12bpf: Refactor reporting log_true_size for prog_loadLeon Hwang1-0/+12
2026-04-30bpf: Print breakdown of insns processed by subprogsPaul Chaignon1-0/+1
2026-04-25bpf: replace min/max fields with struct cnum{32,64}Eduard Zingerman1-24/+15
2026-04-25bpf: use accessor functions for bpf_reg_state min/max fieldsEduard Zingerman1-0/+64
2026-04-23bpf: Prepare verifier logs for upcoming kfunc stack argumentsYonghong Song1-0/+1
2026-04-16bpf: Add helper to detect indirect jump targetsXu Kuohai1-4/+5
2026-04-12bpf: Move BTF checking logic into check_btf.cAlexei Starovoitov1-0/+5
2026-04-12bpf: Move backtracking logic to backtrack.cAlexei Starovoitov1-0/+18
2026-04-12bpf: Move state equivalence logic to states.cAlexei Starovoitov1-0/+67
2026-04-12bpf: Move check_cfg() into cfg.cAlexei Starovoitov1-1/+114
2026-04-12bpf: Move compute_insn_live_regs() into liveness.cAlexei Starovoitov1-0/+2
2026-04-12bpf: Move fixup/post-processing logic from verifier.c into fixups.cAlexei Starovoitov1-0/+78
2026-04-11bpf: poison dead stack slotsAlexei Starovoitov1-0/+1
2026-04-11bpf: change logging scheme for live stack analysisEduard Zingerman1-5/+0
2026-04-11bpf: simplify liveness to use (callsite, depth) keyed func_instancesEduard Zingerman1-19/+0
2026-04-11bpf: record arg tracking results in bpf_liveness masksEduard Zingerman1-1/+0