summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
8 hoursbpf: Fix incorrect pruning due to atomic fetch precision trackingDaniel Borkmann
2026-08-19bpf: Propagate untrusted pointer state in commuted arithmeticYiyang Chen
2026-08-19bpf: split check_reg_sane_offset() in two partsEduard Zingerman
2026-08-19bpf: Preserve pointer state for commuted arithmeticYiyang Chen
2026-08-03bpf: Fix ld_{abs,ind} failure path analysis in subprogsDaniel Borkmann
2026-07-24bpf: Keep dynamic inner array lookups nullableNuoqi Gui
2026-07-24bpf: Introduce struct bpf_map_desc in verifierMykyta Yatsenko
2026-07-24bpf: Consistently use reg_state() for register access in the verifierMykyta Yatsenko
2026-07-24bpf: Reset register bounds before narrowing retval range in check_mem_access()Tristan Madani
2026-07-24bpf: Fix stack slot index in nospec checksNuoqi Gui
2026-07-24bpf: Clear delta when clearing reg id for non-{add,sub} opsDaniel Borkmann
2026-05-23bpf: Fix sync_linked_regs regarding BPF_ADD_CONST32 zext propagationDaniel Borkmann
2026-05-23bpf: Fix NULL deref in map_kptr_match_type for scalar regsMykyta Yatsenko
2026-05-23bpf: Allow instructions with arena source and non-arena dest registersEmil Tsalapatis
2026-05-23bpf: Enforce regsafe base id consistency for BPF_ADD_CONST scalarsDaniel Borkmann
2026-05-23bpf: Relax scalar id equivalence for state pruningPuranjay Mohan
2026-05-23bpf: Fix linked reg delta tracking when src_reg == dst_regDaniel Borkmann
2026-05-23bpf: Support negative offsets, BPF_SUB, and alu32 for linked register trackingPuranjay Mohan
2026-05-23bpf: Fix variable length stack write over spilled pointersAlexei Starovoitov
2026-05-23bpf: Fix refcount check in check_struct_ops_btf_id()Keisuke Nishimura
2026-04-11bpf: reject direct access to nullable PTR_TO_BUF pointersQi Tang
2026-04-11bpf: Fix regsafe() for pointers to packetAlexei Starovoitov
2026-04-02bpf: Fix u32/s32 bounds when ranges cross min/max boundaryEduard Zingerman
2026-04-02bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_ORDaniel Wade
2026-04-02bpf: Fix exception exit lock checking for subprogsIhor Solodrai
2026-04-02bpf: Reset register ID for BPF_END value trackingYazhou Tang
2026-03-19bpf: drop kthread_exit from noreturn_denyChristian Loehle
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
2025-12-18bpf: properly verify tail call behaviorMartin Teichmann
2025-12-18bpf: Fix handling maps with no BTF and non-constant offsets for the bpf_wqMykyta Yatsenko
2025-12-18bpf: Fix sleepable context for async callbacksKumar Kartikeya Dwivedi
2025-11-14bpf: account for current allocated stack depth in widen_imprecise_scalars()Eduard Zingerman
2025-11-04bpf:add _impl suffix for bpf_task_work_schedule* kfuncsMykyta Yatsenko
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