summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2026-03-12bpf: collect only live registers in linked regsEduard Zingerman
2026-03-12bpf: Improve bounds when tnum has a single possible valuePaul Chaignon
2026-03-12bpf: Add bitwise tracking for BPF_ENDTianci Cao
2026-03-04bpf: Properly mark live registers for indirect jumpsAnton Protopopov
2026-03-04bpf: Recognize special arithmetic shift in the verifierAlexei Starovoitov
2026-03-04bpf: verifier improvement in 32bit shift sign extension patternCupertino Miranda
2026-02-26bpf: Add a map/btf from a fd array more consistentlyAnton Protopopov
2026-02-26bpf: Fix a potential use-after-free of BTF objectAnton Protopopov
2026-02-26bpf: Fix verifier_bug_if to account for BPF_CALLLuis Gerhorst
2026-02-26bpf: Preserve id of register in sync_linked_regs()Puranjay Mohan
2026-02-26bpf: bpf_scc_visit instance and backedges accumulation for bpf_loop()Eduard Zingerman
2026-01-07bpf: Reject BPF_MAP_TYPE_INSN_ARRAY in check_reg_const_str()Deepanshu Kartikey
2025-11-28bpf: check for insn arrays in check_ptr_alignmentAnton Protopopov
2025-11-28bpf: force BPF_F_RDONLY_PROG on insn array creationAnton Protopopov
2025-11-24bpf: cleanup aux->used_maps after jitAnton Protopopov
2025-11-21bpf: support nested rcu critical sectionsPuranjay Mohan
2025-11-21bpf: correct stack liveness for tail callsEduard Zingerman
2025-11-21bpf: properly verify tail call behaviorMartin Teichmann
2025-11-21bpf: Add a check to make static analysers happyAnton Protopopov
2025-11-14bpf: verifier: Move desc->imm setup to sort_kfunc_descs_by_imm_off()Puranjay Mohan
2025-11-14Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf after 6.18-rc5+Alexei Starovoitov
2025-11-14bpf: Add missing checks to avoid verbose verifier logEduard Zingerman
2025-11-14bpf: account for current allocated stack depth in widen_imprecise_scalars()Eduard Zingerman
2025-11-05bpf, x86: add support for indirect jumpsAnton Protopopov
2025-11-05bpf: support instructions arrays with constants blindingAnton Protopopov
2025-11-05bpf, x86: add new map type: instructions arrayAnton Protopopov
2025-11-04bpf:add _impl suffix for bpf_task_work_schedule* kfuncsMykyta Yatsenko
2025-11-03bpf: Skip bounds adjustment for conditional jumps on same scalar registerKaFai Wan
2025-10-27bpf: dispatch to sleepable file dynptrMykyta Yatsenko
2025-10-27bpf: verifier: refactor kfunc specializationMykyta Yatsenko
2025-10-27bpf: add plumbing for file-backed dynptrMykyta Yatsenko
2025-10-27bpf: verifier: centralize const dynptr check in unmark_stack_slots_dynptr()Mykyta Yatsenko
2025-10-21bpf: make bpf_insn_successors to return a pointerAnton Protopopov
2025-10-21bpf: save the start of functions in bpf_prog_auxAnton Protopopov
2025-10-21bpf: fix the return value of push_stackAnton Protopopov
2025-10-18bpf: mark vma->{vm_mm,vm_file} as __safe_trusted_or_nullYafang Shao
2025-10-18bpf: mark mm->owner as __safe_rcu_or_nullYafang Shao
2025-10-10bpf: Fix handling maps with no BTF and non-constant offsets for the bpf_wqMykyta Yatsenko
2025-10-10bpf: Refactor storage_get_func_atomic to generic non_sleepable flagKumar Kartikeya Dwivedi
2025-10-10bpf: Fix sleepable context for async callbacksKumar Kartikeya Dwivedi
2025-10-01bpf: Reject negative offsets for ALU opsYazhou Tang
2025-10-01bpf: Skip scalar adjustment for BPF_NEG if dst is a pointerBrahmajit Das
2025-09-30Merge tag 'bpf-next-6.18' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds
2025-09-30Merge tag 'sched-core-2025-09-26' of git://git.kernel.org/pub/scm/linux/kerne...Linus Torvalds
2025-09-25sched: Make migrate_{en,dis}able() inlineMenglong Dong
2025-09-23Merge branch 'bpf-next/xdp_pull_data' into 'bpf-next/master'Martin KaFai Lau
2025-09-23bpf: Clear packet pointers after changing packet data in kfuncsAmery Hung
2025-09-23bpf, x86: Add support for signed arena loadsKumar Kartikeya Dwivedi
2025-09-23bpf: bpf task work plumbingMykyta Yatsenko
2025-09-23bpf: verifier: permit non-zero returns from async callbacksMykyta Yatsenko