summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2026-08-13bpf: Drop duplicate blank lines in kernel/bpf/Leon Hwang
2026-08-13bpf: Trim special_kfunc_list in verifierLeon Hwang
2026-08-13bpf: Eliminate dup/restore of insn_aux_dataXu Kuohai
2026-08-12bpf: Show more useful info in stack depth statsKumar Kartikeya Dwivedi
2026-08-12bpf: Attribute async callback instructions to verification rootsKumar Kartikeya Dwivedi
2026-08-12bpf: Track verifier instruction stats for each subprogramKumar Kartikeya Dwivedi
2026-08-12bpf: Derive the atomic load register in one placeDaniel Borkmann
2026-08-08bpf: Reject tracing/freplace progs for struct_ops with arena argsKumar Kartikeya Dwivedi
2026-08-08bpf: Support __arena and __arena__nullable on struct_ops argumentsTejun Heo
2026-08-08bpf: Support __arena and __arena__nullable kfunc argument suffixesTejun Heo
2026-08-08bpf: Collect kfuncs after resolving program resourcesKumar Kartikeya Dwivedi
2026-08-08bpf: Split subprogram and kfunc collectionKumar Kartikeya Dwivedi
2026-08-08bpf: Rename 'early' BTF checking as a preparation phaseKumar Kartikeya Dwivedi
2026-08-08bpf: Infer zext_dst based on static register liveness analysisEduard Zingerman
2026-08-08bpf: Track upper 32-bit register halves' liveness in compute_live_registers()Eduard Zingerman
2026-08-08bpf: Move bpf_is_reg64() to fixups.cEduard Zingerman
2026-08-08bpf: Do not print a newline after disassembly in bpf_verbose_insn()Eduard Zingerman
2026-08-07Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf 7.2-rc7Daniel Borkmann
2026-08-07bpf: Reject load-acquire from pointers requiring fault protectionDaniel Borkmann
2026-08-06bpf: Account for preempt and IRQ state in RCU protectionNing Ding
2026-08-06bpf: Mark existing lock-safe kfuncs with KF_SPINLOCK_SAFEKaitao Cheng
2026-08-06bpf: Add KF_SPINLOCK_SAFE flag for kfuncs under bpf_spin_lockKaitao Cheng
2026-08-05bpf: Fix sleepable check for tracing/lsm progLeon Hwang
2026-08-05bpf: Inline bpf_iter_num_destroy() as a no-opPuranjay Mohan
2026-08-05bpf: Inline bpf_iter_num_next() kfuncPuranjay Mohan
2026-08-05bpf: Inline bpf_iter_num_new() kfuncPuranjay Mohan