aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2026-10-01bpf: Fix packet range of pointers sharing an idAlexei Starovoitov1-1/+9
2026-09-22bpf: Prevent variable arena/non-arena register contentsEmil Tsalapatis1-1/+23
2026-09-22bpf: Reject pkt arguments in mutating subprogsEmil Tsalapatis1-0/+10
2026-09-21bpf: Reject non-negative offsets in stack_slot_obj_get_spi()Xu Yunxiang1-1/+1
2026-09-17bpf: Assign lock identity to callback map valuesKumar Kartikeya Dwivedi1-4/+9
2026-09-17bpf: Apply CO-RE relocations before subprogram validationKumar Kartikeya Dwivedi1-1/+11
2026-09-17bpf: Verify global subprogs in each sleepability contextKumar Kartikeya Dwivedi1-34/+37
2026-09-12bpf: Allow terminal gotox instructionsSiddharth Chintamaneni1-1/+4
2026-09-10bpf: Clear scalar delta on narrowing stack spillDaniel Borkmann1-1/+1
2026-09-10bpf: Require CAP_PERFMON for untrusted read-only memory readsDaniel Borkmann1-0/+9
2026-09-10bpf: Add KF_PERFMON kfunc flagDaniel Borkmann1-0/+14
2026-09-06Merge tag 'bpf-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfLinus Torvalds1-51/+208
2026-09-05bpf: Reject non-scalar bpf_loop iteration countsKumar Kartikeya Dwivedi1-0/+1
2026-09-04treewide: refresh kmalloc_obj() conversionsKees Cook1-3/+2
2026-09-04bpf: use mark_arg_precision() in check_mem_size_reg()Eduard Zingerman1-8/+2
2026-09-04bpf: propagate mark_chain_precision() errors out of loop_flag_is_zero()Eduard Zingerman1-11/+25
2026-09-04bpf: mark a NULL BTF_ID argument of a global subprogram preciseEduard Zingerman1-1/+5
2026-09-04bpf: mark a NULL kfunc argument preciseEduard Zingerman1-1/+5
2026-09-04bpf: mark a NULL memory argument of a call preciseEduard Zingerman1-1/+10
2026-09-04bpf: mark a NULL call argument preciseEduard Zingerman1-1/+8
2026-09-04bpf: Preserve inner map identity in callback framesKumar Kartikeya Dwivedi1-0/+10
2026-09-04bpf: Mark NULL kptr stores preciseKumar Kartikeya Dwivedi1-2/+9
2026-09-04bpf: Clear NON_OWN_REF after RCU protection endsKumar Kartikeya Dwivedi1-4/+14
2026-09-04bpf: Keep refcount_acquire nullable for borrowed RCU kptrsNing Ding1-1/+1
2026-09-04bpf: Require MEM_PERCPU for percpu kptr storesKumar Kartikeya Dwivedi1-0/+7
2026-09-04bpf: Mark the zero register precise for a register-form NULL checkEduard Zingerman1-0/+9
2026-09-04bpf: Don't predict JMP32 pointer vs zero comparisonsEduard Zingerman1-0/+7
2026-09-04bpf: Don't resurrect a scalar id dropped by collect_linked_regs()Eduard Zingerman1-4/+10
2026-09-04bpf: Don't infer non-NULL from a pointer with an unbounded offsetEduard Zingerman1-0/+7
2026-09-03bpf: Reject legacy packet loads from callbacksKumar Kartikeya Dwivedi1-0/+17
2026-09-03bpf: Check ancestor frames for rbtree callbacksKumar Kartikeya Dwivedi1-11/+14
2026-09-03bpf: don't rewrite bpf_fastcall patterns entered by a jumpEduard Zingerman1-0/+8
2026-09-03bpf: Reject resilient lock operations in rbtree callbacksKumar Kartikeya Dwivedi1-0/+5
2026-09-03bpf: Reject tail calls directly from callback framesKumar Kartikeya Dwivedi1-0/+11
2026-09-02bpf: 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