summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
11 hoursMerge tag 'bpf-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfLinus Torvalds
28 hoursbpf: Reject non-scalar bpf_loop iteration countsKumar Kartikeya Dwivedi
2 daystreewide: refresh kmalloc_obj() conversionsKees Cook
2 daysbpf: use mark_arg_precision() in check_mem_size_reg()Eduard Zingerman
2 daysbpf: propagate mark_chain_precision() errors out of loop_flag_is_zero()Eduard Zingerman
2 daysbpf: mark a NULL BTF_ID argument of a global subprogram preciseEduard Zingerman
2 daysbpf: mark a NULL kfunc argument preciseEduard Zingerman
2 daysbpf: mark a NULL memory argument of a call preciseEduard Zingerman
2 daysbpf: mark a NULL call argument preciseEduard Zingerman
3 daysbpf: Preserve inner map identity in callback framesKumar Kartikeya Dwivedi
3 daysbpf: Mark NULL kptr stores preciseKumar Kartikeya Dwivedi
3 daysbpf: Clear NON_OWN_REF after RCU protection endsKumar Kartikeya Dwivedi
3 daysbpf: Keep refcount_acquire nullable for borrowed RCU kptrsNing Ding
3 daysbpf: Require MEM_PERCPU for percpu kptr storesKumar Kartikeya Dwivedi
3 daysbpf: Mark the zero register precise for a register-form NULL checkEduard Zingerman
3 daysbpf: Don't predict JMP32 pointer vs zero comparisonsEduard Zingerman
3 daysbpf: Don't resurrect a scalar id dropped by collect_linked_regs()Eduard Zingerman
3 daysbpf: Don't infer non-NULL from a pointer with an unbounded offsetEduard Zingerman
3 daysbpf: Reject legacy packet loads from callbacksKumar Kartikeya Dwivedi
3 daysbpf: Check ancestor frames for rbtree callbacksKumar Kartikeya Dwivedi
3 daysbpf: don't rewrite bpf_fastcall patterns entered by a jumpEduard Zingerman
4 daysbpf: Reject resilient lock operations in rbtree callbacksKumar Kartikeya Dwivedi
4 daysbpf: Reject tail calls directly from callback framesKumar Kartikeya Dwivedi
4 daysbpf: reject BPF_PSEUDO_FUNC reference to the main programEduard Zingerman
11 daysbpf: 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
2026-08-15bpf: Report Resource Lifetime reference leaksKumar Kartikeya Dwivedi
2026-08-15bpf: Report Memory Safety bounds errorsKumar Kartikeya Dwivedi
2026-08-15bpf: Report Register Type Safety errorsKumar Kartikeya Dwivedi
2026-08-15bpf: Track verifier context diagnostic eventsKumar Kartikeya Dwivedi
2026-08-15bpf: Track verifier reference diagnostic eventsKumar Kartikeya Dwivedi
2026-08-15bpf: Track verifier register diagnostic eventsKumar Kartikeya Dwivedi
2026-08-15bpf: Prune verifier diagnostics when switching pathsKumar Kartikeya Dwivedi
2026-08-15bpf: Add verifier diagnostic event logKumar Kartikeya Dwivedi
2026-08-15bpf: Add source and instruction diagnostic contextKumar Kartikeya Dwivedi
2026-08-13bpf: Introduce global percpu dataLeon Hwang
2026-08-13bpf: Factor out check_map_mem_read helper in verifierLeon Hwang