summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
6 daysMerge tag 'bpf-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfLinus Torvalds1-51/+208
7 daysbpf: Reject non-scalar bpf_loop iteration countsKumar Kartikeya Dwivedi1-0/+1
8 daystreewide: refresh kmalloc_obj() conversionsKees Cook1-3/+2
8 daysbpf: use mark_arg_precision() in check_mem_size_reg()Eduard Zingerman1-8/+2
8 daysbpf: propagate mark_chain_precision() errors out of loop_flag_is_zero()Eduard Zingerman1-11/+25
8 daysbpf: mark a NULL BTF_ID argument of a global subprogram preciseEduard Zingerman1-1/+5
8 daysbpf: mark a NULL kfunc argument preciseEduard Zingerman1-1/+5
8 daysbpf: mark a NULL memory argument of a call preciseEduard Zingerman1-1/+10
8 daysbpf: mark a NULL call argument preciseEduard Zingerman1-1/+8
8 daysbpf: Preserve inner map identity in callback framesKumar Kartikeya Dwivedi1-0/+10
8 daysbpf: Mark NULL kptr stores preciseKumar Kartikeya Dwivedi1-2/+9
9 daysbpf: Clear NON_OWN_REF after RCU protection endsKumar Kartikeya Dwivedi1-4/+14
9 daysbpf: Keep refcount_acquire nullable for borrowed RCU kptrsNing Ding1-1/+1
9 daysbpf: Require MEM_PERCPU for percpu kptr storesKumar Kartikeya Dwivedi1-0/+7
9 daysbpf: Mark the zero register precise for a register-form NULL checkEduard Zingerman1-0/+9
9 daysbpf: Don't predict JMP32 pointer vs zero comparisonsEduard Zingerman1-0/+7
9 daysbpf: Don't resurrect a scalar id dropped by collect_linked_regs()Eduard Zingerman1-4/+10
9 daysbpf: Don't infer non-NULL from a pointer with an unbounded offsetEduard Zingerman1-0/+7
9 daysbpf: Reject legacy packet loads from callbacksKumar Kartikeya Dwivedi1-0/+17
9 daysbpf: Check ancestor frames for rbtree callbacksKumar Kartikeya Dwivedi1-11/+14
9 daysbpf: don't rewrite bpf_fastcall patterns entered by a jumpEduard Zingerman1-0/+8
9 daysbpf: Reject resilient lock operations in rbtree callbacksKumar Kartikeya Dwivedi1-0/+5
9 daysbpf: Reject tail calls directly from callback framesKumar Kartikeya Dwivedi1-0/+11
10 daysbpf: reject BPF_PSEUDO_FUNC reference to the main programEduard Zingerman1-0/+9
2026-08-26bpf: check_cond_jmp_op(): properly infer if register is nullEduard Zingerman1-3/+6
2026-08-20bpf: Fix REG INVARIANTS VIOLATION on speculative pointer arithmeticJiayuan Chen1-3/+8
2026-08-17bpf: Distinguish function references in policy diagnosticsKumar Kartikeya Dwivedi1-2/+10
2026-08-17bpf: Correct kfunc argument diagnosticsKumar Kartikeya Dwivedi1-9/+13
2026-08-17bpf: Preserve R0 lineage across helper callsKumar Kartikeya Dwivedi1-1/+1
2026-08-17bpf: Rewrite any fault prone load out of a mem or btf_id pointerDaniel Borkmann1-13/+2
2026-08-17bpf: Reject a store through a fault prone pointerDaniel Borkmann1-1/+1
2026-08-17bpf: Treat a fault prone PTR_TO_MEM as a pointer type mismatchDaniel Borkmann1-0/+2
2026-08-17bpf: Keep fault protection when merging pointer typesDaniel Borkmann1-26/+23
2026-08-16bpf: Check pointer type for all atomic RMW pathsYiyang Chen1-5/+3
2026-08-15bpf: Add ksock kfuncsMahe Tardy1-0/+3
2026-08-15bpf: Report Policy helper and kfunc errorsKumar Kartikeya Dwivedi1-1/+32
2026-08-15bpf: Report Program Structure CFG errorsKumar Kartikeya Dwivedi1-0/+16
2026-08-15bpf: Report Execution Context Safety errorsKumar Kartikeya Dwivedi1-0/+44
2026-08-15bpf: Report Call Type Safety argument errorsKumar Kartikeya Dwivedi1-56/+338
2026-08-15bpf: Report Resource Lifetime reference leaksKumar Kartikeya Dwivedi1-8/+95
2026-08-15bpf: Report Memory Safety bounds errorsKumar Kartikeya Dwivedi1-4/+74
2026-08-15bpf: Report Register Type Safety errorsKumar Kartikeya Dwivedi1-15/+113
2026-08-15bpf: Track verifier context diagnostic eventsKumar Kartikeya Dwivedi1-5/+23
2026-08-15bpf: Track verifier reference diagnostic eventsKumar Kartikeya Dwivedi1-7/+25
2026-08-15bpf: Track verifier register diagnostic eventsKumar Kartikeya Dwivedi1-12/+119
2026-08-15bpf: Prune verifier diagnostics when switching pathsKumar Kartikeya Dwivedi1-2/+9
2026-08-15bpf: Add verifier diagnostic event logKumar Kartikeya Dwivedi1-0/+21
2026-08-15bpf: Add source and instruction diagnostic contextKumar Kartikeya Dwivedi1-10/+37
2026-08-13bpf: Introduce global percpu dataLeon Hwang1-0/+11
2026-08-13bpf: Factor out check_map_mem_read helper in verifierLeon Hwang1-32/+43