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