summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
11 daysbpf: Fix packet range of pointers sharing an idAlexei Starovoitov
2026-09-22bpf: Prevent variable arena/non-arena register contentsEmil Tsalapatis
2026-09-22bpf: Reject pkt arguments in mutating subprogsEmil Tsalapatis
2026-09-21bpf: Reject non-negative offsets in stack_slot_obj_get_spi()Xu Yunxiang
2026-09-17bpf: Assign lock identity to callback map valuesKumar Kartikeya Dwivedi
2026-09-17bpf: Apply CO-RE relocations before subprogram validationKumar Kartikeya Dwivedi
2026-09-17bpf: Verify global subprogs in each sleepability contextKumar Kartikeya Dwivedi
2026-09-12bpf: Allow terminal gotox instructionsSiddharth Chintamaneni
2026-09-10bpf: Clear scalar delta on narrowing stack spillDaniel Borkmann
2026-09-10bpf: Require CAP_PERFMON for untrusted read-only memory readsDaniel Borkmann
2026-09-10bpf: Add KF_PERFMON kfunc flagDaniel Borkmann
2026-09-06Merge tag 'bpf-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfLinus Torvalds
2026-09-05bpf: Reject non-scalar bpf_loop iteration countsKumar Kartikeya Dwivedi
2026-09-04treewide: refresh kmalloc_obj() conversionsKees Cook
2026-09-04bpf: use mark_arg_precision() in check_mem_size_reg()Eduard Zingerman
2026-09-04bpf: propagate mark_chain_precision() errors out of loop_flag_is_zero()Eduard Zingerman
2026-09-04bpf: mark a NULL BTF_ID argument of a global subprogram preciseEduard Zingerman
2026-09-04bpf: mark a NULL kfunc argument preciseEduard Zingerman
2026-09-04bpf: mark a NULL memory argument of a call preciseEduard Zingerman
2026-09-04bpf: mark a NULL call argument preciseEduard Zingerman
2026-09-04bpf: Preserve inner map identity in callback framesKumar Kartikeya Dwivedi
2026-09-04bpf: Mark NULL kptr stores preciseKumar Kartikeya Dwivedi
2026-09-04bpf: Clear NON_OWN_REF after RCU protection endsKumar Kartikeya Dwivedi
2026-09-04bpf: Keep refcount_acquire nullable for borrowed RCU kptrsNing Ding
2026-09-04bpf: Require MEM_PERCPU for percpu kptr storesKumar Kartikeya Dwivedi
2026-09-04bpf: Mark the zero register precise for a register-form NULL checkEduard Zingerman
2026-09-04bpf: Don't predict JMP32 pointer vs zero comparisonsEduard Zingerman
2026-09-04bpf: Don't resurrect a scalar id dropped by collect_linked_regs()Eduard Zingerman
2026-09-04bpf: Don't infer non-NULL from a pointer with an unbounded offsetEduard Zingerman
2026-09-03bpf: Reject legacy packet loads from callbacksKumar Kartikeya Dwivedi
2026-09-03bpf: Check ancestor frames for rbtree callbacksKumar Kartikeya Dwivedi
2026-09-03bpf: don't rewrite bpf_fastcall patterns entered by a jumpEduard Zingerman
2026-09-03bpf: Reject resilient lock operations in rbtree callbacksKumar Kartikeya Dwivedi
2026-09-03bpf: Reject tail calls directly from callback framesKumar Kartikeya Dwivedi
2026-09-02bpf: reject BPF_PSEUDO_FUNC reference to the main programEduard Zingerman
2026-08-26bpf: check_cond_jmp_op(): properly infer if register is nullEduard Zingerman
2026-08-20bpf: Fix REG INVARIANTS VIOLATION on speculative pointer arithmeticJiayuan Chen
2026-08-17bpf: Distinguish function references in policy diagnosticsKumar Kartikeya Dwivedi
2026-08-17bpf: Correct kfunc argument diagnosticsKumar Kartikeya Dwivedi
2026-08-17bpf: Preserve R0 lineage across helper callsKumar Kartikeya Dwivedi
2026-08-17bpf: Rewrite any fault prone load out of a mem or btf_id pointerDaniel Borkmann
2026-08-17bpf: Reject a store through a fault prone pointerDaniel Borkmann
2026-08-17bpf: Treat a fault prone PTR_TO_MEM as a pointer type mismatchDaniel Borkmann
2026-08-17bpf: Keep fault protection when merging pointer typesDaniel Borkmann
2026-08-16bpf: Check pointer type for all atomic RMW pathsYiyang Chen
2026-08-15bpf: Add ksock kfuncsMahe Tardy
2026-08-15bpf: Report Policy helper and kfunc errorsKumar Kartikeya Dwivedi
2026-08-15bpf: Report Program Structure CFG errorsKumar Kartikeya Dwivedi
2026-08-15bpf: Report Execution Context Safety errorsKumar Kartikeya Dwivedi
2026-08-15bpf: Report Call Type Safety argument errorsKumar Kartikeya Dwivedi