summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
13 daysbpf: Fix sync_linked_regs regarding BPF_ADD_CONST32 zext propagationDaniel Borkmann
13 daysbpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_ORDaniel Wade
13 daysbpf: 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
2026-01-20bpf: Verifier support for KF_IMPLICIT_ARGSIhor Solodrai
2026-01-20bpf: Introduce struct bpf_kfunc_metaIhor Solodrai
2026-01-20bpf: Refactor btf_kfunc_id_set_containsIhor Solodrai
2026-01-20bpf/verifier: Optimize ID mapping reset in states_equalQiliang Yuan
2026-01-20bpf: verifier: Make sync_linked_regs() scratch registersPuranjay Mohan
2026-01-16bpf: Preserve id of register in sync_linked_regs()Puranjay Mohan
2026-01-14bpf: Properly mark live registers for indirect jumpsAnton Protopopov
2026-01-14Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf after rc5Alexei Starovoitov
2026-01-13bpf: return PTR_TO_BTF_ID | PTR_TRUSTED from BPF kfuncs by defaultMatt Bobrowski
2026-01-13bpf: Skip anonymous types in type lookup for performanceDonglin Peng
2026-01-13bpf: Remove an unused parameter in check_func_protoSong Chen
2026-01-13bpf: Recognize special arithmetic shift in the verifierAlexei Starovoitov