aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
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
2026-01-13bpf: Consistently use reg_state() for register access in the verifierMykyta Yatsenko1-23/+19
2026-01-07bpf: Reject BPF_MAP_TYPE_INSN_ARRAY in check_reg_const_str()Deepanshu Kartikey1-0/+5
2026-01-06bpf: Allow calls to arena functions while holding spinlocksEmil Tsalapatis1-1/+10
2026-01-06bpf: Check active lock count in in_sleepable_context()Emil Tsalapatis1-0/+1
2026-01-02bpf: Replace __opt annotation with __nullable for kfuncsPuranjay Mohan1-14/+9
2026-01-02bpf: Remove redundant KF_TRUSTED_ARGS flag from all kfuncsPuranjay Mohan1-1/+1
2026-01-02bpf: Make KF_TRUSTED_ARGS the default for all kfuncsPuranjay Mohan1-11/+3
2025-12-31bpf: allow states pruning for misc/invalid slots in iterator loopsEduard Zingerman1-6/+4