index
:
linux.git
master
nocache-cleanup
linus torvalds my love
www-data
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
Age
Commit message (
Expand
)
Author
13 days
bpf: Fix sync_linked_regs regarding BPF_ADD_CONST32 zext propagation
Daniel Borkmann
13 days
bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_OR
Daniel Wade
13 days
bpf: Fix exception exit lock checking for subprogs
Ihor Solodrai
2026-03-10
bpf: Reset register ID for BPF_END value tracking
Yazhou Tang
2026-03-07
Merge tag 'bpf-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf
Linus Torvalds
2026-03-06
bpf: collect only live registers in linked regs
Eduard Zingerman
2026-03-06
bpf: Fix u32/s32 bounds when ranges cross min/max boundary
Eduard Zingerman
2026-03-06
bpf: drop kthread_exit from noreturn_deny
Christian Loehle
2026-02-27
bpf: Improve bounds when tnum has a single possible value
Paul Chaignon
2026-02-21
Convert 'alloc_obj' family to use the new default GFP_KERNEL argument
Linus Torvalds
2026-02-21
treewide: Replace kmalloc with kmalloc_obj for non-scalar types
Kees Cook
2026-02-13
bpf: Add a map/btf from a fd array more consistently
Anton Protopopov
2026-02-13
bpf: Fix a potential use-after-free of BTF object
Anton Protopopov
2026-02-04
bpf: Support negative offsets, BPF_SUB, and alu32 for linked register tracking
Puranjay Mohan
2026-02-04
bpf: Add bitwise tracking for BPF_END
Tianci Cao
2026-02-03
bpf: Add verifier support for bpf_timer argument in kfuncs
Mykyta Yatsenko
2026-02-03
bpf: Allow BPF stream kfuncs while holding a lock
Emil Tsalapatis
2026-02-03
bpf: Relax scalar id equivalence for state pruning
Puranjay Mohan
2026-02-03
bpf: Relax maybe_widen_reg() constraints
Puranjay Mohan
2026-02-03
bpf: Clear singular ids for scalars in is_state_visited()
Puranjay Mohan
2026-02-03
bpf: Let the verifier assign ids on stack fills
Puranjay Mohan
2026-01-31
bpf: Add bpf_jit_supports_fsession()
Leon Hwang
2026-01-30
bpf: Consolidate special map field validation in verifier
Mykyta Yatsenko
2026-01-30
bpf: Introduce struct bpf_map_desc in verifier
Mykyta Yatsenko
2026-01-30
bpf: Allow sleepable programs to use tail calls
Jiri Olsa
2026-01-28
bpf: Fix verifier_bug_if to account for BPF_CALL
Luis Gerhorst
2026-01-24
bpf: support fsession for bpf_session_cookie
Menglong Dong
2026-01-24
bpf: support fsession for bpf_session_is_return
Menglong Dong
2026-01-24
bpf: change prototype of bpf_session_{cookie,is_return}
Menglong Dong
2026-01-24
bpf: use the least significant byte for the nr_args in trampoline
Menglong Dong
2026-01-24
bpf: add fsession support
Menglong Dong
2026-01-21
bpf: support bpf_get_func_arg() for BPF_TRACE_RAW_TP
Menglong Dong
2026-01-20
bpf, x86: inline bpf_get_current_task() for x86_64
Menglong Dong
2026-01-20
bpf: Require ARG_PTR_TO_MEM with memory flag
Zesen Liu
2026-01-20
bpf: Add range tracking for BPF_DIV and BPF_MOD
Yazhou Tang
2026-01-20
bpf: Remove __prog kfunc arg annotation
Ihor Solodrai
2026-01-20
bpf: Migrate bpf_task_work_schedule_* kfuncs to KF_IMPLICIT_ARGS
Ihor Solodrai
2026-01-20
bpf: Migrate bpf_wq_set_callback_impl() to KF_IMPLICIT_ARGS
Ihor Solodrai
2026-01-20
bpf: Verifier support for KF_IMPLICIT_ARGS
Ihor Solodrai
2026-01-20
bpf: Introduce struct bpf_kfunc_meta
Ihor Solodrai
2026-01-20
bpf: Refactor btf_kfunc_id_set_contains
Ihor Solodrai
2026-01-20
bpf/verifier: Optimize ID mapping reset in states_equal
Qiliang Yuan
2026-01-20
bpf: verifier: Make sync_linked_regs() scratch registers
Puranjay Mohan
2026-01-16
bpf: Preserve id of register in sync_linked_regs()
Puranjay Mohan
2026-01-14
bpf: Properly mark live registers for indirect jumps
Anton Protopopov
2026-01-14
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf after rc5
Alexei Starovoitov
2026-01-13
bpf: return PTR_TO_BTF_ID | PTR_TRUSTED from BPF kfuncs by default
Matt Bobrowski
2026-01-13
bpf: Skip anonymous types in type lookup for performance
Donglin Peng
2026-01-13
bpf: Remove an unused parameter in check_func_proto
Song Chen
2026-01-13
bpf: Recognize special arithmetic shift in the verifier
Alexei Starovoitov
[next]