aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2026-03-21bpf: Fix sync_linked_regs regarding BPF_ADD_CONST32 zext propagationDaniel Borkmann1-6/+15
2026-03-21bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_ORDaniel Wade1-1/+1
2026-03-21bpf: Fix exception exit lock checking for subprogsIhor Solodrai1-1/+2
2026-03-10bpf: Reset register ID for BPF_END value trackingYazhou Tang1-0/+7
2026-03-07Merge tag 'bpf-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfLinus Torvalds1-3/+34
2026-03-06bpf: collect only live registers in linked regsEduard Zingerman1-3/+10
2026-03-06bpf: Fix u32/s32 bounds when ranges cross min/max boundaryEduard Zingerman1-0/+24
2026-03-06bpf: drop kthread_exit from noreturn_denyChristian Loehle1-1/+0
2026-02-27bpf: Improve bounds when tnum has a single possible valuePaul Chaignon1-0/+30
2026-02-21Convert 'alloc_obj' family to use the new default GFP_KERNEL argumentLinus Torvalds1-1/+1
2026-02-21treewide: Replace kmalloc with kmalloc_obj for non-scalar typesKees Cook1-32/+37
2026-02-13bpf: Add a map/btf from a fd array more consistentlyAnton Protopopov1-2/+4
2026-02-13bpf: Fix a potential use-after-free of BTF objectAnton Protopopov1-26/+26
2026-02-04bpf: Support negative offsets, BPF_SUB, and alu32 for linked register trackingPuranjay Mohan1-11/+39
2026-02-04bpf: Add bitwise tracking for BPF_ENDTianci Cao1-3/+57
2026-02-03bpf: Add verifier support for bpf_timer argument in kfuncsMykyta Yatsenko1-18/+37
2026-02-03bpf: Allow BPF stream kfuncs while holding a lockEmil Tsalapatis1-1/+12
2026-02-03bpf: Relax scalar id equivalence for state pruningPuranjay Mohan1-12/+51
2026-02-03bpf: Relax maybe_widen_reg() constraintsPuranjay Mohan1-8/+14
2026-02-03bpf: Clear singular ids for scalars in is_state_visited()Puranjay Mohan1-0/+68
2026-02-03bpf: Let the verifier assign ids on stack fillsPuranjay Mohan1-0/+11
2026-01-31bpf: Add bpf_jit_supports_fsession()Leon Hwang1-0/+5
2026-01-30bpf: Consolidate special map field validation in verifierMykyta Yatsenko1-59/+11
2026-01-30bpf: Introduce struct bpf_map_desc in verifierMykyta Yatsenko1-39/+40
2026-01-30bpf: Allow sleepable programs to use tail callsJiri Olsa1-0/+1
2026-01-28bpf: Fix verifier_bug_if to account for BPF_CALLLuis Gerhorst1-6/+8
2026-01-24bpf: support fsession for bpf_session_cookieMenglong Dong1-0/+20
2026-01-24bpf: support fsession for bpf_session_is_returnMenglong Dong1-0/+13
2026-01-24bpf: change prototype of bpf_session_{cookie,is_return}Menglong Dong1-1/+5
2026-01-24bpf: use the least significant byte for the nr_args in trampolineMenglong Dong1-16/+23
2026-01-24bpf: add fsession supportMenglong Dong1-3/+9
2026-01-21bpf: support bpf_get_func_arg() for BPF_TRACE_RAW_TPMenglong Dong1-4/+18
2026-01-20bpf, x86: inline bpf_get_current_task() for x86_64Menglong Dong1-0/+22
2026-01-20bpf: Require ARG_PTR_TO_MEM with memory flagZesen Liu1-0/+17
2026-01-20bpf: Add range tracking for BPF_DIV and BPF_MODYazhou Tang1-0/+299
2026-01-20bpf: Remove __prog kfunc arg annotationIhor Solodrai1-9/+2
2026-01-20bpf: Migrate bpf_task_work_schedule_* kfuncs to KF_IMPLICIT_ARGSIhor Solodrai1-6/+6
2026-01-20bpf: Migrate bpf_wq_set_callback_impl() to KF_IMPLICIT_ARGSIhor Solodrai1-8/+8
2026-01-20bpf: Verifier support for KF_IMPLICIT_ARGSIhor Solodrai1-4/+54
2026-01-20bpf: Introduce struct bpf_kfunc_metaIhor Solodrai1-65/+91
2026-01-20bpf: Refactor btf_kfunc_id_set_containsIhor Solodrai1-3/+3
2026-01-20bpf/verifier: Optimize ID mapping reset in states_equalQiliang Yuan1-9/+14
2026-01-20bpf: verifier: Make sync_linked_regs() scratch registersPuranjay Mohan1-6/+12
2026-01-16bpf: Preserve id of register in sync_linked_regs()Puranjay Mohan1-1/+3
2026-01-14bpf: Properly mark live registers for indirect jumpsAnton Protopopov1-0/+6
2026-01-14Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf after rc5Alexei Starovoitov1-0/+5
2026-01-13bpf: return PTR_TO_BTF_ID | PTR_TRUSTED from BPF kfuncs by defaultMatt Bobrowski1-17/+29
2026-01-13bpf: Skip anonymous types in type lookup for performanceDonglin Peng1-6/+1
2026-01-13bpf: Remove an unused parameter in check_func_protoSong Chen1-2/+2
2026-01-13bpf: Recognize special arithmetic shift in the verifierAlexei Starovoitov1-0/+39