summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
12 daysbpf: 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
2025-09-23bpf: extract generic helper from process_timer_func()Mykyta Yatsenko
2025-09-19bpf: table based bpf_insn_successors()Eduard Zingerman
2025-09-19bpf: disable and remove registers chain based livenessEduard Zingerman
2025-09-19bpf: signal error if old liveness is more conservative than newEduard Zingerman
2025-09-19bpf: enable callchain sensitive stack liveness trackingEduard Zingerman
2025-09-19bpf: compute instructions postorder per subprogramEduard Zingerman
2025-09-19bpf: declare a few utility functions as internal apiEduard Zingerman
2025-09-19bpf: remove redundant REG_LIVE_READ check in stacksafe()Eduard Zingerman
2025-09-19bpf: use compute_live_registers() info in clean_func_stateEduard Zingerman
2025-09-19bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONEEduard Zingerman
2025-09-18bpf: Implement exclusive map creationKP Singh