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
compress-2026-03-30
compress-2026-04-14
compress-2026-04-17-sambaxp
compress-2026-04-27
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
reconnect-fixes
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
2024-01-25
bpf: Fix verification of indirect var-off stack access
Andrei Matei
1
-10
/
+4
2024-01-25
bpf: fix check for attempt to corrupt spilled pointer
Andrii Nakryiko
1
-1
/
+1
2023-11-28
bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_END
Shung-Hsi Yu
1
-1
/
+6
2023-11-28
bpf: Fix check_stack_write_fixed_off() to correctly spill imm
Hao Sun
1
-1
/
+1
2023-08-16
bpf: aggressively forget precise markings during state checkpointing
Andrii Nakryiko
1
-0
/
+37
2023-08-16
bpf: stop setting precise in current state
Andrii Nakryiko
1
-12
/
+91
2023-08-16
bpf: allow precision tracking for programs with subprogs
Andrii Nakryiko
1
-1
/
+34
2023-06-28
bpf: Fix verifier id tracking of scalars on spill
Maxim Mikityanskiy
1
-0
/
+3
2023-06-28
bpf: track immediate values written to stack by BPF_ST instruction
Eduard Zingerman
1
-2
/
+16
2023-05-30
bpf: Fix mask generation for 32-bit narrow loads of 64-bit fields
Will Deacon
1
-1
/
+1
2023-05-17
bpf: Remove misleading spec_v1 check on var-offset stack read
Luis Gerhorst
1
-10
/
+6
2023-05-17
bpf: fix precision propagation verbose logging
Andrii Nakryiko
1
-2
/
+2
2023-05-17
bpf: take into account liveness when propagating precision
Andrii Nakryiko
1
-2
/
+4
2023-04-26
bpf: Fix incorrect verifier pruning due to missing register precision taints
Daniel Borkmann
1
-0
/
+15
2023-02-15
bpf: Do not reject when the stack read size is different from the tracked sca...
Martin KaFai Lau
1
-12
/
+6
2023-02-15
bpf: Fix to preserve reg parent/live fields when copying range info
Eduard Zingerman
1
-7
/
+18
2023-02-15
bpf: Support <8-byte scalar spill and refill
Martin KaFai Lau
1
-15
/
+52
2023-02-15
bpf: Fix incorrect state pruning for <8B spill/fill
Paul Chaignon
1
-4
/
+0
2023-02-01
bpf: Fix pointer-leak due to insufficient speculative store bypass mitigation
Luis Gerhorst
1
-1
/
+3
2023-01-14
bpf: propagate precision across all frames, not just the last one
Andrii Nakryiko
1
-32
/
+39
2023-01-14
bpf: Check the other end of slot_type for STACK_SPILL
Martin KaFai Lau
1
-11
/
+19
2023-01-14
bpf: propagate precision in ALU/ALU64 operations
Andrii Nakryiko
1
-0
/
+5
2023-01-14
bpf: Fix slot type check in check_stack_write_var_off
Kumar Kartikeya Dwivedi
1
-8
/
+11
2022-11-16
bpf: Fix wrong reg type conversion in release_reference()
Youlin Li
1
-2
/
+6
2022-11-16
bpf: Add helper macro bpf_for_each_reg_in_vstate
Kumar Kartikeya Dwivedi
1
-107
/
+28
2022-11-16
bpf: Support for pointers beyond pkt_end.
Alexei Starovoitov
1
-22
/
+107
2022-08-31
bpf: Don't use tnum_range on array range checking for poke descriptors
Daniel Borkmann
1
-6
/
+4
2022-08-21
bpf: Fix subprog names in stack traces.
Alexei Starovoitov
1
-3
/
+1
2022-07-12
bpf: Fix insufficient bounds propagation from adjust_scalar_min_max_vals
Daniel Borkmann
1
-49
/
+23
2022-07-12
bpf: Fix incorrect verifier simulation around jmp32's jeq/jne
Daniel Borkmann
1
-17
/
+24
2022-01-27
bpf: Don't promote bogus looking registers after null check.
Daniel Borkmann
1
-6
/
+6
2022-01-27
bpf: Disallow BPF_LOG_KERNEL log level for bpf(BPF_BTF_LOAD)
Hou Tao
1
-3
/
+3
2022-01-16
bpf: Fix out of bounds access from invalid *_or_null type verification
Daniel Borkmann
1
-3
/
+3
2021-12-22
bpf: Make 32->64 bounds propagation slightly more robust
Daniel Borkmann
1
-9
/
+15
2021-12-22
bpf: Fix signed bounds propagation after mov32
Daniel Borkmann
1
-0
/
+4
2021-12-14
bpf: Fix the off-by-two error in range markings
Maxim Mikityanskiy
1
-1
/
+1
2021-12-01
bpf: Fix toctou on read-only map's constant scalar tracking
Daniel Borkmann
1
-1
/
+16
2021-11-18
bpf: Fix propagation of signed bounds from 64-bit min/max into 32-bit.
Alexei Starovoitov
1
-1
/
+1
2021-11-18
bpf: Fix propagation of bounds from 64-bit min/max into 32-bit and var_off.
Alexei Starovoitov
1
-1
/
+1
2021-09-30
bpf: Add oversize check before call kvcalloc()
Bixuan Cui
1
-0
/
+2
2021-09-15
bpf: Fix possible out of bound write in narrow load handling
Andrey Ignatov
1
-0
/
+4
2021-09-15
bpf: Fix potential memleak and UAF in the verifier.
He Fengqing
1
-11
/
+16
2021-09-03
bpf: Fix ringbuf helper function compatibility
Daniel Borkmann
1
-2
/
+6
2021-08-26
bpf: Clear zext_dst of dead insns
Ilya Leoshkevich
1
-0
/
+1
2021-08-04
bpf: Fix pointer arithmetic mask tightening under state pruning
Daniel Borkmann
1
-10
/
+17
2021-08-04
bpf: verifier: Allocate idmap scratch in verifier env
Lorenz Bauer
1
-31
/
+15
2021-08-04
bpf: Remove superfluous aux sanitation on subprog rejection
Daniel Borkmann
1
-34
/
+0
2021-08-04
bpf: Fix leakage due to insufficient speculative store bypass mitigation
Daniel Borkmann
1
-55
/
+32
2021-07-28
bpf: Fix tail_call_reachable rejection for interpreter when jit failed
Daniel Borkmann
1
-0
/
+2
2021-07-25
bpf: Track subprog poke descriptors correctly and fix use-after-free
John Fastabend
1
-39
/
+21
[next]