index
:
linux-rng
jd/vdso-skip-insn
jd/vdso-test-harness
linus/master
master
Development tree for the kernel CSPRNG
Jason A. Donenfeld
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
(
follow
)
Age
Commit message (
Expand
)
Author
Files
Lines
2025-05-27
selftests/bpf: Add tests with stack ptr register in conditional jmp
Yonghong Song
1
-2
/
+5
2025-05-27
bpf: Do not include stack ptr register in precision backtracking bookkeeping
Yonghong Song
1
-2
/
+16
2025-05-27
bpf: Warn with __bpf_trap() kfunc maybe due to uninitialized variable
Yonghong Song
1
-0
/
+5
2025-05-27
bpf: Remove special_kfunc_set from verifier
Yonghong Song
1
-197
/
+177
2025-05-19
bpf: WARN_ONCE on verifier bugs
Paul Chaignon
1
-81
/
+60
2025-05-13
bpf: Add support for __prog argument suffix to pass in prog->aux
Kumar Kartikeya Dwivedi
1
-6
/
+27
2025-05-09
bpf/verifier: Handle BPF_LOAD_ACQ instructions in insn_def_regno()
Peilin Ye
1
-6
/
+6
2025-05-06
bpf: Add bpf_list_{front,back} kfunc
Martin KaFai Lau
1
-2
/
+10
2025-05-06
bpf: Simplify reg0 marking for the list kfuncs that return a bpf_list_node pointer
Martin KaFai Lau
1
-2
/
+6
2025-05-06
bpf: Allow refcounted bpf_rb_node used in bpf_rbtree_{remove,left,right}
Martin KaFai Lau
1
-2
/
+2
2025-05-06
bpf: Add bpf_rbtree_{root,left,right} kfunc
Martin KaFai Lau
1
-4
/
+18
2025-05-06
bpf: Simplify reg0 marking for the rbtree kfuncs that return a bpf_rb_node pointer
Martin KaFai Lau
1
-3
/
+7
2025-05-06
bpf: Check KF_bpf_rbtree_add_impl for the "case KF_ARG_PTR_TO_RB_NODE"
Martin KaFai Lau
1
-9
/
+9
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
[next]