index
:
wireguard-linux
backport-5.4.y
davem/net
davem/net-next
devel
gregkh/stable-5.4.y
jd/bump-compilers
jd/deferred-aip-removal
jd/new-archs
jd/orphan-parallel
jd/rcu-barrier
jd/shorter-socket-lock
jd/unified-crypt-queue
jd/xdp-l3
stable
update-toolchain
WireGuard for the Linux kernel
Jason A. Donenfeld
about
summary
refs
log
tree
commit
diff
stats
homepage
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
(
follow
)
Age
Commit message (
Expand
)
Author
Files
Lines
2025-03-30
Merge tag 'bpf_res_spin_lock' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
Linus Torvalds
1
-42
/
+206
2025-03-30
Merge tag 'bpf-next-6.15' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
Linus Torvalds
1
-324
/
+1034
2025-03-22
bpf: Fix out-of-bounds read in check_atomic_load/store()
Kohei Enju
1
-2
/
+14
2025-03-20
bpf: Add struct_ops context information to struct bpf_prog_aux
Juntong Deng
1
-2
/
+6
2025-03-19
bpf: Maintain FIFO property for rqspinlock unlock
Kumar Kartikeya Dwivedi
1
-5
/
+28
2025-03-19
bpf: Implement verifier support for rqspinlock
Kumar Kartikeya Dwivedi
1
-39
/
+180
2025-03-18
bpf: clarify a misleading verifier error message
Andrea Terzolo
1
-1
/
+1
2025-03-18
bpf: Reject attaching fexit/fmod_ret to __noreturn functions
Yafang Shao
1
-0
/
+32
2025-03-15
bpf: correct use/def for may_goto instruction
Eduard Zingerman
1
-0
/
+1
2025-03-15
bpf: use register liveness information for func_states_equal
Eduard Zingerman
1
-4
/
+10
2025-03-15
bpf: simple DFA-based live registers analysis
Eduard Zingerman
1
-6
/
+314
2025-03-15
bpf: get_call_summary() utility function
Eduard Zingerman
1
-64
/
+57
2025-03-15
bpf: jmp_offset() and verbose_insn() utility functions
Eduard Zingerman
1
-17
/
+23
2025-03-15
bpf: Introduce load-acquire and store-release instructions
Peilin Ye
1
-3
/
+52
2025-03-15
bpf: Add verifier support for timed may_goto
Kumar Kartikeya Dwivedi
1
-8
/
+61
2025-03-15
bpf: Factor out check_load_mem() and check_store_reg()
Peilin Ye
1
-43
/
+67
2025-03-15
bpf: Factor out check_atomic_rmw()
Peilin Ye
1
-24
/
+29
2025-03-15
bpf: Factor out atomic_ptr_type_ok()
Peilin Ye
1
-5
/
+21
2025-03-15
bpf: Summarize sleepable global subprogs
Kumar Kartikeya Dwivedi
1
-14
/
+48
2025-03-04
x86/smp: Move cpu number to percpu hot section
Brian Gerst
1
-2
/
+2
2025-03-04
Merge branch 'x86/cpu' into x86/asm, to pick up dependent commits
Ingo Molnar
1
-8
/
+23
2025-02-27
x86/bpf: Fix BPF percpu accesses
Brian Gerst
1
-1
/
+1
2025-02-25
bpf: Search and add kfuncs in struct_ops prologue and epilogue
Amery Hung
1
-1
/
+24
2025-02-25
bpf: abort verification if env->cur_state->loop_entry != NULL
Eduard Zingerman
1
-2
/
+4
2025-02-23
bpf: Refactor check_ctx_access()
Amery Hung
1
-36
/
+20
2025-02-20
bpf: Do not allow tail call in strcut_ops program with __ref argument
Amery Hung
1
-1
/
+19
2025-02-20
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf bpf-6.14-rc4
Alexei Starovoitov
1
-8
/
+23
2025-02-18
bpf: fix env->peak_states computation
Eduard Zingerman
1
-2
/
+13
2025-02-18
bpf: free verifier states when they are no longer referenced
Eduard Zingerman
1
-24
/
+67
2025-02-18
bpf: use list_head to track explored states and free list
Eduard Zingerman
1
-38
/
+36
2025-02-18
bpf: do not update state->loop_entry in get_loop_entry()
Eduard Zingerman
1
-11
/
+2
2025-02-18
bpf: make state->dfs_depth < state->loop_entry->dfs_depth an invariant
Eduard Zingerman
1
-3
/
+3
2025-02-18
bpf: detect infinite loop in get_loop_entry()
Eduard Zingerman
1
-18
/
+21
2025-02-18
bpf: don't do clean_live_states when state->loop_entry->branches > 0
Eduard Zingerman
1
-0
/
+4
2025-02-18
bpf: copy_verifier_state() should copy 'loop_entry' field
Eduard Zingerman
1
-0
/
+3
2025-02-17
bpf: Allow struct_ops prog to return referenced kptr
Amery Hung
1
-4
/
+32
2025-02-17
bpf: Support getting referenced kptr from struct_ops argument
Amery Hung
1
-3
/
+32
2025-02-17
bpf: Make every prog keep a copy of ctx_arg_info
Amery Hung
1
-10
/
+12
2025-02-14
bpf: Fix array bounds error with may_goto
Jiayuan Chen
1
-0
/
+7
2025-02-13
bpf: fs/xattr: Add BPF kfuncs to set and remove xattrs
Song Liu
1
-0
/
+21
2025-02-07
bpf: Handle allocation failure in acquire_lock_state
Kumar Kartikeya Dwivedi
1
-0
/
+2
2025-02-07
bpf: verifier: Disambiguate get_constant_map_key() errors
Daniel Xu
1
-8
/
+17
2025-02-07
bpf: verifier: Do not extract constant map keys for irrelevant maps
Daniel Xu
1
-3
/
+7
2025-01-23
Merge tag 'bpf-next-6.14' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
Linus Torvalds
1
-346
/
+826
2025-01-20
bpf: Remove 'may_goto 0' instruction in opt_remove_nops()
Yonghong Song
1
-3
/
+8
2025-01-20
bpf: Allow 'may_goto 0' instruction in verifier
Yonghong Song
1
-3
/
+2
2025-01-16
bpf: verifier: Support eliding map lookup nullness
Daniel Xu
1
-3
/
+89
2025-01-16
bpf: verifier: Refactor helper access type tracking
Daniel Xu
1
-29
/
+16
2025-01-16
bpf: verifier: Add missing newline on verbose() call
Daniel Xu
1
-1
/
+1
2025-01-06
bpf: Allow bpf_for/bpf_repeat calls while holding a spinlock
Emil Tsalapatis
1
-1
/
+19
[next]