summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
3 daysbpf: Fix incorrect pruning due to atomic fetch precision trackingDaniel Borkmann1-3/+24
3 daysbpf: reject direct access to nullable PTR_TO_BUF pointersQi Tang1-1/+2
3 daysbpf: Fix regsafe() for pointers to packetAlexei Starovoitov1-1/+6
13 daysbpf: Fix u32/s32 bounds when ranges cross min/max boundaryEduard Zingerman1-0/+24
13 daysbpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_ORDaniel Wade1-1/+1
13 daysbpf: Fix exception exit lock checking for subprogsIhor Solodrai1-1/+2
13 daysbpf: Reset register ID for BPF_END value trackingYazhou Tang1-0/+7
2026-03-19bpf: drop kthread_exit from noreturn_denyChristian Loehle1-1/+0
2026-03-12bpf: collect only live registers in linked regsEduard Zingerman1-3/+10
2026-03-12bpf: Improve bounds when tnum has a single possible valuePaul Chaignon1-0/+30
2026-03-12bpf: Add bitwise tracking for BPF_ENDTianci Cao1-3/+57
2026-03-04bpf: Properly mark live registers for indirect jumpsAnton Protopopov1-0/+6
2026-03-04bpf: Recognize special arithmetic shift in the verifierAlexei Starovoitov1-0/+39
2026-03-04bpf: verifier improvement in 32bit shift sign extension patternCupertino Miranda1-11/+7
2026-02-26bpf: Add a map/btf from a fd array more consistentlyAnton Protopopov1-2/+4
2026-02-26bpf: Fix a potential use-after-free of BTF objectAnton Protopopov1-26/+26
2026-02-26bpf: Fix verifier_bug_if to account for BPF_CALLLuis Gerhorst1-6/+8
2026-02-26bpf: Preserve id of register in sync_linked_regs()Puranjay Mohan1-1/+3
2026-02-26bpf: bpf_scc_visit instance and backedges accumulation for bpf_loop()Eduard Zingerman1-4/+9
2026-01-07bpf: 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