summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
25 hoursbpf: Fix NULL deref in map_kptr_match_type for scalar regsMykyta Yatsenko
25 hoursbpf: Allow instructions with arena source and non-arena dest registersEmil Tsalapatis
25 hoursbpf: Enforce regsafe base id consistency for BPF_ADD_CONST scalarsDaniel Borkmann
25 hoursbpf: Remove static qualifier from local subprog pointerDaniel Borkmann
25 hoursbpf: Fix ld_{abs,ind} failure path analysis in subprogsDaniel Borkmann
25 hoursbpf: Propagate error from visit_tailcall_insnDaniel Borkmann
25 hoursbpf: Fix linked reg delta tracking when src_reg == dst_regDaniel Borkmann
25 hoursbpf: Fix variable length stack write over spilled pointersAlexei Starovoitov
25 hoursbpf: Fix refcount check in check_struct_ops_btf_id()Keisuke Nishimura
2026-04-02bpf: Fix incorrect pruning due to atomic fetch precision trackingDaniel Borkmann
2026-04-02bpf: reject direct access to nullable PTR_TO_BUF pointersQi Tang
2026-03-31bpf: Fix regsafe() for pointers to packetAlexei Starovoitov
2026-03-21bpf: Fix sync_linked_regs regarding BPF_ADD_CONST32 zext propagationDaniel Borkmann
2026-03-21bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_ORDaniel Wade
2026-03-21bpf: Fix exception exit lock checking for subprogsIhor Solodrai
2026-03-10bpf: Reset register ID for BPF_END value trackingYazhou Tang
2026-03-07Merge tag 'bpf-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfLinus Torvalds
2026-03-06bpf: collect only live registers in linked regsEduard Zingerman
2026-03-06bpf: Fix u32/s32 bounds when ranges cross min/max boundaryEduard Zingerman
2026-03-06bpf: drop kthread_exit from noreturn_denyChristian Loehle
2026-02-27bpf: Improve bounds when tnum has a single possible valuePaul Chaignon
2026-02-21Convert 'alloc_obj' family to use the new default GFP_KERNEL argumentLinus Torvalds
2026-02-21treewide: Replace kmalloc with kmalloc_obj for non-scalar typesKees Cook
2026-02-13bpf: Add a map/btf from a fd array more consistentlyAnton Protopopov
2026-02-13bpf: Fix a potential use-after-free of BTF objectAnton Protopopov
2026-02-04bpf: Support negative offsets, BPF_SUB, and alu32 for linked register trackingPuranjay Mohan
2026-02-04bpf: Add bitwise tracking for BPF_ENDTianci Cao
2026-02-03bpf: Add verifier support for bpf_timer argument in kfuncsMykyta Yatsenko
2026-02-03bpf: Allow BPF stream kfuncs while holding a lockEmil Tsalapatis
2026-02-03bpf: Relax scalar id equivalence for state pruningPuranjay Mohan
2026-02-03bpf: Relax maybe_widen_reg() constraintsPuranjay Mohan
2026-02-03bpf: Clear singular ids for scalars in is_state_visited()Puranjay Mohan
2026-02-03bpf: Let the verifier assign ids on stack fillsPuranjay Mohan
2026-01-31bpf: Add bpf_jit_supports_fsession()Leon Hwang
2026-01-30bpf: Consolidate special map field validation in verifierMykyta Yatsenko
2026-01-30bpf: Introduce struct bpf_map_desc in verifierMykyta Yatsenko
2026-01-30bpf: Allow sleepable programs to use tail callsJiri Olsa
2026-01-28bpf: Fix verifier_bug_if to account for BPF_CALLLuis Gerhorst
2026-01-24bpf: support fsession for bpf_session_cookieMenglong Dong
2026-01-24bpf: support fsession for bpf_session_is_returnMenglong Dong
2026-01-24bpf: change prototype of bpf_session_{cookie,is_return}Menglong Dong
2026-01-24bpf: use the least significant byte for the nr_args in trampolineMenglong Dong
2026-01-24bpf: add fsession supportMenglong Dong
2026-01-21bpf: support bpf_get_func_arg() for BPF_TRACE_RAW_TPMenglong Dong
2026-01-20bpf, x86: inline bpf_get_current_task() for x86_64Menglong Dong
2026-01-20bpf: Require ARG_PTR_TO_MEM with memory flagZesen Liu
2026-01-20bpf: Add range tracking for BPF_DIV and BPF_MODYazhou Tang
2026-01-20bpf: Remove __prog kfunc arg annotationIhor Solodrai
2026-01-20bpf: Migrate bpf_task_work_schedule_* kfuncs to KF_IMPLICIT_ARGSIhor Solodrai
2026-01-20bpf: Migrate bpf_wq_set_callback_impl() to KF_IMPLICIT_ARGSIhor Solodrai