aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
12 daysbpf: Reject BPF_MAP_TYPE_INSN_ARRAY in check_reg_const_str()Deepanshu Kartikey1-0/+5
2025-11-28bpf: check for insn arrays in check_ptr_alignmentAnton Protopopov1-3/+3
2025-11-28bpf: force BPF_F_RDONLY_PROG on insn array creationAnton Protopopov1-7/+6
2025-11-24bpf: cleanup aux->used_maps after jitAnton Protopopov1-0/+9
2025-11-21bpf: support nested rcu critical sectionsPuranjay Mohan1-25/+22
2025-11-21bpf: correct stack liveness for tail callsEduard Zingerman1-2/+27
2025-11-21bpf: properly verify tail call behaviorMartin Teichmann1-3/+28
2025-11-21bpf: Add a check to make static analysers happyAnton Protopopov1-1/+7
2025-11-14bpf: verifier: Move desc->imm setup to sort_kfunc_descs_by_imm_off()Puranjay Mohan1-19/+35
2025-11-14Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf after 6.18-rc5+Alexei Starovoitov1-8/+10
2025-11-14bpf: Add missing checks to avoid verbose verifier logEduard Zingerman1-4/+6
2025-11-14bpf: account for current allocated stack depth in widen_imprecise_scalars()Eduard Zingerman1-2/+4
2025-11-05bpf, x86: add support for indirect jumpsAnton Protopopov1-6/+367
2025-11-05bpf: support instructions arrays with constants blindingAnton Protopopov1-1/+10
2025-11-05bpf, x86: add new map type: instructions arrayAnton Protopopov1-0/+45
2025-11-04bpf:add _impl suffix for bpf_task_work_schedule* kfuncsMykyta Yatsenko1-6/+6
2025-11-03bpf: Skip bounds adjustment for conditional jumps on same scalar registerKaFai Wan1-0/+31
2025-10-27bpf: dispatch to sleepable file dynptrMykyta Yatsenko1-3/+7
2025-10-27bpf: verifier: refactor kfunc specializationMykyta Yatsenko1-46/+51
2025-10-27bpf: add plumbing for file-backed dynptrMykyta Yatsenko1-6/+25
2025-10-27bpf: verifier: centralize const dynptr check in unmark_stack_slots_dynptr()Mykyta Yatsenko1-8/+9
2025-10-21bpf: make bpf_insn_successors to return a pointerAnton Protopopov1-20/+40
2025-10-21bpf: save the start of functions in bpf_prog_auxAnton Protopopov1-0/+1
2025-10-21bpf: fix the return value of push_stackAnton Protopopov1-40/+40
2025-10-18bpf: mark vma->{vm_mm,vm_file} as __safe_trusted_or_nullYafang Shao1-0/+6
2025-10-18bpf: mark mm->owner as __safe_rcu_or_nullYafang Shao1-0/+3
2025-10-10bpf: Fix handling maps with no BTF and non-constant offsets for the bpf_wqMykyta Yatsenko1-5/+12
2025-10-10bpf: Refactor storage_get_func_atomic to generic non_sleepable flagKumar Kartikeya Dwivedi1-16/+17
2025-10-10bpf: Fix sleepable context for async callbacksKumar Kartikeya Dwivedi1-11/+30
2025-10-01bpf: Reject negative offsets for ALU opsYazhou Tang1-2/+2
2025-10-01bpf: Skip scalar adjustment for BPF_NEG if dst is a pointerBrahmajit Das1-1/+2
2025-09-30Merge tag 'bpf-next-6.18' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds1-465/+404
2025-09-30Merge tag 'sched-core-2025-09-26' of git://git.kernel.org/pub/scm/linux/kerne...Linus Torvalds1-0/+1
2025-09-25sched: Make migrate_{en,dis}able() inlineMenglong Dong1-0/+1
2025-09-23Merge branch 'bpf-next/xdp_pull_data' into 'bpf-next/master'Martin KaFai Lau1-0/+13
2025-09-23bpf: Clear packet pointers after changing packet data in kfuncsAmery Hung1-0/+13
2025-09-23bpf, x86: Add support for signed arena loadsKumar Kartikeya Dwivedi1-3/+8
2025-09-23bpf: bpf task work plumbingMykyta Yatsenko1-6/+111
2025-09-23bpf: verifier: permit non-zero returns from async callbacksMykyta Yatsenko1-3/+2
2025-09-23bpf: extract generic helper from process_timer_func()Mykyta Yatsenko1-11/+36
2025-09-19bpf: table based bpf_insn_successors()Eduard Zingerman1-71/+1
2025-09-19bpf: disable and remove registers chain based livenessEduard Zingerman1-294/+21
2025-09-19bpf: signal error if old liveness is more conservative than newEduard Zingerman1-0/+9
2025-09-19bpf: enable callchain sensitive stack liveness trackingEduard Zingerman1-8/+53
2025-09-19bpf: compute instructions postorder per subprogramEduard Zingerman1-13/+55
2025-09-19bpf: declare a few utility functions as internal apiEduard Zingerman1-18/+16
2025-09-19bpf: remove redundant REG_LIVE_READ check in stacksafe()Eduard Zingerman1-7/+0
2025-09-19bpf: use compute_live_registers() info in clean_func_stateEduard Zingerman1-6/+9
2025-09-19bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONEEduard Zingerman1-9/+4
2025-09-18bpf: Implement exclusive map creationKP Singh1-0/+6