summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorLines
2026-04-02bpf: Fix incorrect pruning due to atomic fetch precision trackingDaniel Borkmann-3/+24
2026-04-02bpf: reject direct access to nullable PTR_TO_BUF pointersQi Tang-1/+2
2026-03-31bpf: Fix regsafe() for pointers to packetAlexei Starovoitov-1/+6
2026-03-21bpf: Fix sync_linked_regs regarding BPF_ADD_CONST32 zext propagationDaniel Borkmann-6/+15
2026-03-21bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_ORDaniel Wade-1/+1
2026-03-21bpf: Fix exception exit lock checking for subprogsIhor Solodrai-1/+2
2026-03-10bpf: Reset register ID for BPF_END value trackingYazhou Tang-0/+7
2026-03-07Merge tag 'bpf-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfLinus Torvalds-3/+34
2026-03-06bpf: collect only live registers in linked regsEduard Zingerman-3/+10
2026-03-06bpf: Fix u32/s32 bounds when ranges cross min/max boundaryEduard Zingerman-0/+24
2026-03-06bpf: drop kthread_exit from noreturn_denyChristian Loehle-1/+0
2026-02-27bpf: Improve bounds when tnum has a single possible valuePaul Chaignon-0/+30
2026-02-21Convert 'alloc_obj' family to use the new default GFP_KERNEL argumentLinus Torvalds-1/+1
2026-02-21treewide: Replace kmalloc with kmalloc_obj for non-scalar typesKees Cook-32/+37
2026-02-13bpf: Add a map/btf from a fd array more consistentlyAnton Protopopov-2/+4
2026-02-13bpf: Fix a potential use-after-free of BTF objectAnton Protopopov-26/+26
2026-02-04bpf: Support negative offsets, BPF_SUB, and alu32 for linked register trackingPuranjay Mohan-11/+39
2026-02-04bpf: Add bitwise tracking for BPF_ENDTianci Cao-3/+57
2026-02-03bpf: Add verifier support for bpf_timer argument in kfuncsMykyta Yatsenko-18/+37
2026-02-03bpf: Allow BPF stream kfuncs while holding a lockEmil Tsalapatis-1/+12
2026-02-03bpf: Relax scalar id equivalence for state pruningPuranjay Mohan-12/+51
2026-02-03bpf: Relax maybe_widen_reg() constraintsPuranjay Mohan-8/+14
2026-02-03bpf: Clear singular ids for scalars in is_state_visited()Puranjay Mohan-0/+68
2026-02-03bpf: Let the verifier assign ids on stack fillsPuranjay Mohan-0/+11
2026-01-31bpf: Add bpf_jit_supports_fsession()Leon Hwang-0/+5
2026-01-30bpf: Consolidate special map field validation in verifierMykyta Yatsenko-59/+11
2026-01-30bpf: Introduce struct bpf_map_desc in verifierMykyta Yatsenko-39/+40
2026-01-30bpf: Allow sleepable programs to use tail callsJiri Olsa-0/+1
2026-01-28bpf: Fix verifier_bug_if to account for BPF_CALLLuis Gerhorst-6/+8
2026-01-24bpf: support fsession for bpf_session_cookieMenglong Dong-0/+20
2026-01-24bpf: support fsession for bpf_session_is_returnMenglong Dong-0/+13
2026-01-24bpf: change prototype of bpf_session_{cookie,is_return}Menglong Dong-1/+5
2026-01-24bpf: use the least significant byte for the nr_args in trampolineMenglong Dong-16/+23
2026-01-24bpf: add fsession supportMenglong Dong-3/+9
2026-01-21bpf: support bpf_get_func_arg() for BPF_TRACE_RAW_TPMenglong Dong-4/+18
2026-01-20bpf, x86: inline bpf_get_current_task() for x86_64Menglong Dong-0/+22
2026-01-20bpf: Require ARG_PTR_TO_MEM with memory flagZesen Liu-0/+17
2026-01-20bpf: Add range tracking for BPF_DIV and BPF_MODYazhou Tang-0/+299
2026-01-20bpf: Remove __prog kfunc arg annotationIhor Solodrai-9/+2
2026-01-20bpf: Migrate bpf_task_work_schedule_* kfuncs to KF_IMPLICIT_ARGSIhor Solodrai-6/+6
2026-01-20bpf: Migrate bpf_wq_set_callback_impl() to KF_IMPLICIT_ARGSIhor Solodrai-8/+8
2026-01-20bpf: Verifier support for KF_IMPLICIT_ARGSIhor Solodrai-4/+54
2026-01-20bpf: Introduce struct bpf_kfunc_metaIhor Solodrai-65/+91
2026-01-20bpf: Refactor btf_kfunc_id_set_containsIhor Solodrai-3/+3
2026-01-20bpf/verifier: Optimize ID mapping reset in states_equalQiliang Yuan-9/+14
2026-01-20bpf: verifier: Make sync_linked_regs() scratch registersPuranjay Mohan-6/+12
2026-01-16bpf: Preserve id of register in sync_linked_regs()Puranjay Mohan-1/+3
2026-01-14bpf: Properly mark live registers for indirect jumpsAnton Protopopov-0/+6
2026-01-14Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf after rc5Alexei Starovoitov-0/+5
2026-01-13bpf: return PTR_TO_BTF_ID | PTR_TRUSTED from BPF kfuncs by defaultMatt Bobrowski-17/+29