index
:
linux/linux-stable.git
linux-2.6.11.y
linux-2.6.12.y
linux-2.6.13.y
linux-2.6.14.y
linux-2.6.15.y
linux-2.6.16.y
linux-2.6.17.y
linux-2.6.18.y
linux-2.6.19.y
linux-2.6.20.y
linux-2.6.21.y
linux-2.6.22.y
linux-2.6.23.y
linux-2.6.24.y
linux-2.6.25.y
linux-2.6.26.y
linux-2.6.27.y
linux-2.6.28.y
linux-2.6.29.y
linux-2.6.30.y
linux-2.6.31.y
linux-2.6.32.y
linux-2.6.33.y
linux-2.6.34.y
linux-2.6.35.y
linux-2.6.36.y
linux-2.6.37.y
linux-2.6.38.y
linux-2.6.39.y
linux-3.0.y
linux-3.1.y
linux-3.10.y
linux-3.11.y
linux-3.12.y
linux-3.13.y
linux-3.14.y
linux-3.15.y
linux-3.16.y
linux-3.17.y
linux-3.18.y
linux-3.19.y
linux-3.2.y
linux-3.3.y
linux-3.4.y
linux-3.5.y
linux-3.6.y
linux-3.7.y
linux-3.8.y
linux-3.9.y
linux-4.0.y
linux-4.1.y
linux-4.10.y
linux-4.11.y
linux-4.12.y
linux-4.13.y
linux-4.14.y
linux-4.15.y
linux-4.16.y
linux-4.17.y
linux-4.18.y
linux-4.19.y
linux-4.2.y
linux-4.20.y
linux-4.3.y
linux-4.4.y
linux-4.5.y
linux-4.6.y
linux-4.7.y
linux-4.8.y
linux-4.9.y
linux-5.0.y
linux-5.1.y
linux-5.10.y
linux-5.11.y
linux-5.12.y
linux-5.13.y
linux-5.14.y
linux-5.15.y
linux-5.16.y
linux-5.17.y
linux-5.18.y
linux-5.19.y
linux-5.2.y
linux-5.3.y
linux-5.4.y
linux-5.5.y
linux-5.6.y
linux-5.7.y
linux-5.8.y
linux-5.9.y
linux-6.0.y
linux-6.1.y
linux-6.10.y
linux-6.11.y
linux-6.12.y
linux-6.13.y
linux-6.14.y
linux-6.15.y
linux-6.16.y
linux-6.2.y
linux-6.3.y
linux-6.4.y
linux-6.5.y
linux-6.6.y
linux-6.7.y
linux-6.8.y
linux-6.9.y
linux-rolling-lts
linux-rolling-stable
master
Linux kernel stable tree
kernel.org maintainers
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
Age
Commit message (
Expand
)
Author
2025-03-18
bpf: clarify a misleading verifier error message
Andrea Terzolo
2025-03-18
bpf: Reject attaching fexit/fmod_ret to __noreturn functions
Yafang Shao
2025-03-15
bpf: correct use/def for may_goto instruction
Eduard Zingerman
2025-03-15
bpf: use register liveness information for func_states_equal
Eduard Zingerman
2025-03-15
bpf: simple DFA-based live registers analysis
Eduard Zingerman
2025-03-15
bpf: get_call_summary() utility function
Eduard Zingerman
2025-03-15
bpf: jmp_offset() and verbose_insn() utility functions
Eduard Zingerman
2025-03-15
bpf: Introduce load-acquire and store-release instructions
Peilin Ye
2025-03-15
bpf: Add verifier support for timed may_goto
Kumar Kartikeya Dwivedi
2025-03-15
bpf: Factor out check_load_mem() and check_store_reg()
Peilin Ye
2025-03-15
bpf: Factor out check_atomic_rmw()
Peilin Ye
2025-03-15
bpf: Factor out atomic_ptr_type_ok()
Peilin Ye
2025-03-15
bpf: Summarize sleepable global subprogs
Kumar Kartikeya Dwivedi
2025-02-25
bpf: Search and add kfuncs in struct_ops prologue and epilogue
Amery Hung
2025-02-25
bpf: abort verification if env->cur_state->loop_entry != NULL
Eduard Zingerman
2025-02-23
bpf: Refactor check_ctx_access()
Amery Hung
2025-02-20
bpf: Do not allow tail call in strcut_ops program with __ref argument
Amery Hung
2025-02-20
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf bpf-6.14-rc4
Alexei Starovoitov
2025-02-18
bpf: fix env->peak_states computation
Eduard Zingerman
2025-02-18
bpf: free verifier states when they are no longer referenced
Eduard Zingerman
2025-02-18
bpf: use list_head to track explored states and free list
Eduard Zingerman
2025-02-18
bpf: do not update state->loop_entry in get_loop_entry()
Eduard Zingerman
2025-02-18
bpf: make state->dfs_depth < state->loop_entry->dfs_depth an invariant
Eduard Zingerman
2025-02-18
bpf: detect infinite loop in get_loop_entry()
Eduard Zingerman
2025-02-18
bpf: don't do clean_live_states when state->loop_entry->branches > 0
Eduard Zingerman
2025-02-18
bpf: copy_verifier_state() should copy 'loop_entry' field
Eduard Zingerman
2025-02-17
bpf: Allow struct_ops prog to return referenced kptr
Amery Hung
2025-02-17
bpf: Support getting referenced kptr from struct_ops argument
Amery Hung
2025-02-17
bpf: Make every prog keep a copy of ctx_arg_info
Amery Hung
2025-02-14
bpf: Fix array bounds error with may_goto
Jiayuan Chen
2025-02-13
bpf: fs/xattr: Add BPF kfuncs to set and remove xattrs
Song Liu
2025-02-07
bpf: Handle allocation failure in acquire_lock_state
Kumar Kartikeya Dwivedi
2025-02-07
bpf: verifier: Disambiguate get_constant_map_key() errors
Daniel Xu
2025-02-07
bpf: verifier: Do not extract constant map keys for irrelevant maps
Daniel Xu
2025-01-23
Merge tag 'bpf-next-6.14' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...
Linus Torvalds
2025-01-20
bpf: Remove 'may_goto 0' instruction in opt_remove_nops()
Yonghong Song
2025-01-20
bpf: Allow 'may_goto 0' instruction in verifier
Yonghong Song
2025-01-16
bpf: verifier: Support eliding map lookup nullness
Daniel Xu
2025-01-16
bpf: verifier: Refactor helper access type tracking
Daniel Xu
2025-01-16
bpf: verifier: Add missing newline on verbose() call
Daniel Xu
2025-01-06
bpf: Allow bpf_for/bpf_repeat calls while holding a spinlock
Emil Tsalapatis
2024-12-30
bpf: Fix holes in special_kfunc_list if !CONFIG_NET
Thomas Weißschuh
2024-12-30
bpf, verifier: Improve precision of BPF_MUL
Matan Shachnai
2024-12-17
bpf: Fix bpf_get_smp_processor_id() on !CONFIG_SMP
Andrea Righi
2024-12-16
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf
Alexei Starovoitov
2024-12-13
bpf: Revert "bpf: Mark raw_tp arguments with PTR_MAYBE_NULL"
Kumar Kartikeya Dwivedi
2024-12-13
bpf: Fix configuration-dependent BTF function references
Thomas Weißschuh
2024-12-13
bpf: Add fd_array_cnt attribute for prog_load
Anton Protopopov
2024-12-13
bpf: Refactor check_pseudo_btf_id
Anton Protopopov
2024-12-13
bpf: Move map/prog compatibility checks
Anton Protopopov
[next]
