index
:
linux.git
cached
cdir_v2
cfid-fixes
cfid-fixes-2025-09-12
cfid-fixes-rebase
cfid-fixes-v2
cfid-fixes-v3
cfid-fixes-v3-2
cifs
compress-2025-01-21
compress-2025-01-23
cpu_affinity
data_corruption_v6.x
fix-paths-case
hc-hw24-test
hw24
hw24-hc
hw24-hc-wip
master
multichannel-fixes
multichannel-fixes-v2
multichannel-fixes-v3
plk
sambaXP-2025
smb-compression-async
smb-compression-lsfmm
smb-compression-splice
smb-compression-upstream
xattr
Clone of https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
Age
Commit message (
Expand
)
Author
Files
Lines
2025-11-24
bpf: account for current allocated stack depth in widen_imprecise_scalars()
Eduard Zingerman
1
-2
/
+4
2025-10-15
bpf: Reject negative offsets for ALU ops
Yazhou Tang
1
-2
/
+2
2025-10-02
bpf: Reject bpf_timer for PREEMPT_RT
Leon Hwang
1
-0
/
+4
2025-08-28
bpf: Make reg_not_null() true for CONST_PTR_TO_MAP
Ihor Solodrai
1
-1
/
+2
2025-06-04
bpf: don't do clean_live_states when state->loop_entry->branches > 0
Eduard Zingerman
1
-0
/
+4
2025-05-09
bpf: fix null dereference when computing changes_pkt_data of prog w/o subprogs
Eduard Zingerman
1
-2
/
+5
2025-05-09
bpf: check changes_pkt_data property for extension programs
Eduard Zingerman
1
-4
/
+12
2025-05-09
bpf: track changes_pkt_data property for global functions
Eduard Zingerman
1
-1
/
+31
2025-05-09
bpf: refactor bpf_helper_changes_pkt_data to use helper number
Eduard Zingerman
1
-1
/
+1
2025-05-09
bpf: add find_containing_subprog() utility function
Eduard Zingerman
1
-4
/
+24
2025-05-02
bpf: Reject attaching fexit/fmod_ret to __noreturn functions
Yafang Shao
1
-0
/
+32
2025-01-09
Revert "bpf: support non-r10 register spill/fill to/from stack in precision t...
Shung-Hsi Yu
1
-102
/
+73
2024-12-19
bpf: sync_linked_regs() must preserve subreg_def
Eduard Zingerman
1
-1
/
+4
2024-12-14
bpf: Fix narrow scalar spill onto 64-bit spilled scalar slots
Tao Lyu
1
-0
/
+1
2024-12-09
bpf: support non-r10 register spill/fill to/from stack in precision tracking
Andrii Nakryiko
1
-73
/
+102
2024-11-17
bpf: use kvzmalloc to allocate BPF verifier environment
Rik van Riel
1
-2
/
+2
2024-11-08
bpf: Force checkpoint when jmp history is too long
Eduard Zingerman
1
-3
/
+6
2024-11-01
bpf: Fix overloading of MEM_UNINIT's meaning
Daniel Borkmann
1
-38
/
+35
2024-11-01
bpf: Simplify checking size of helper accesses
Andrei Matei
1
-6
/
+4
2024-11-01
bpf: Fix truncation bug in coerce_reg_to_size_sx()
Dimitar Kanaliev
1
-4
/
+4
2024-11-01
bpf: fix kfunc btf caching for modules
Toke Høiland-Jørgensen
1
-1
/
+7
2024-10-10
bpf: Make the pointer returned by iter next method valid
Juntong Deng
1
-4
/
+22
2024-10-04
bpf: Improve check_raw_mode_ok test for MEM_UNINIT-tagged types
Daniel Borkmann
1
-5
/
+11
2024-10-04
bpf: Fix helper writes to read-only maps
Daniel Borkmann
1
-36
/
+5
2024-09-12
bpf, verifier: Correct tail_call_reachable for bpf prog
Leon Hwang
1
-1
/
+3
2024-08-29
bpf: Fix a kernel verifier crash in stacksafe()
Yonghong Song
1
-2
/
+3
2024-07-09
Revert "bpf: Take return from set_memory_ro() into account with bpf_prog_lock...
Greg Kroah-Hartman
1
-6
/
+2
2024-07-05
bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()
Christophe Leroy
1
-2
/
+6
2024-07-05
bpf: Add missed var_off setting in coerce_subreg_to_size_sx()
Yonghong Song
1
-0
/
+1
2024-07-05
bpf: Add missed var_off setting in set_sext32_default_val()
Yonghong Song
1
-0
/
+1
2024-06-21
bpf: Optimize the free of inner map
Hou Tao
1
-1
/
+3
2024-06-12
bpf: Allow delete from sockmap/sockhash only if update is allowed
Jakub Sitnicki
1
-3
/
+7
2024-06-12
bpf: Fix verifier assumptions about socket->sk
Alexei Starovoitov
1
-5
/
+18
2024-06-12
bpf: prevent r10 register from being marked as precise
Andrii Nakryiko
1
-2
/
+4
2024-05-17
bpf: Fix a verifier verbose message
Anton Protopopov
1
-2
/
+1
2024-04-10
bpf: Protect against int overflow for stack access size
Andrei Matei
1
-0
/
+5
2024-03-15
bpf: check bpf_func_state->callback_depth when pruning states
Eduard Zingerman
1
-0
/
+3
2024-01-31
bpf: keep track of max number of bpf_loop callback iterations
Eduard Zingerman
1
-2
/
+17
2024-01-31
bpf: widening for callback iterators
Eduard Zingerman
1
-2
/
+22
2024-01-31
bpf: verify callbacks as if they are called unknown number of times
Eduard Zingerman
1
-98
/
+174
2024-01-31
bpf: extract setup_func_entry() utility function
Eduard Zingerman
1
-36
/
+48
2024-01-31
bpf: extract __check_reg_arg() utility function
Eduard Zingerman
1
-6
/
+13
2024-01-31
bpf: print full verifier states on infinite loop detection
Eduard Zingerman
1
-0
/
+4
2024-01-31
bpf: correct loop detection for iterators convergence
Eduard Zingerman
1
-4
/
+203
2024-01-31
bpf: exact states comparison for iterator convergence checks
Eduard Zingerman
1
-31
/
+187
2024-01-31
bpf: extract same_callsites() as utility function
Eduard Zingerman
1
-5
/
+15
2024-01-31
bpf: move explored_state() closer to the beginning of verifier.c
Eduard Zingerman
1
-15
/
+13
2024-01-25
bpf: Reject variable offset alu on PTR_TO_FLOW_KEYS
Hao Sun
1
-0
/
+4
2024-01-25
bpf: Fix accesses to uninit stack slots
Andrei Matei
1
-39
/
+26
2024-01-25
bpf: Guard stack limits against 32bit overflow
Andrei Matei
1
-3
/
+3
[next]