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
2019-04-20
bpf: fix sanitation rewrite in case of non-pointers
Daniel Borkmann
1
-1
/
+2
2019-04-20
bpf: do not restore dst_reg when cur_state is freed
Xu Yu
1
-1
/
+1
2019-04-20
bpf: fix sanitation of alu op with pointer / scalar type from different paths
Daniel Borkmann
1
-13
/
+48
2019-04-20
bpf: prevent out of bounds speculation on pointer arithmetic
Daniel Borkmann
1
-6
/
+178
2019-04-20
bpf: fix check_map_access smin_value test when pointer contains offset
Daniel Borkmann
1
-1
/
+5
2019-04-20
bpf: restrict unknown scalars of mixed signed bounds for unprivileged
Daniel Borkmann
1
-1
/
+8
2019-04-20
bpf: restrict stack pointer arithmetic for unprivileged
Daniel Borkmann
1
-21
/
+41
2019-04-20
bpf: restrict map value pointer arithmetic for unprivileged
Daniel Borkmann
1
-0
/
+11
2019-04-20
bpf: move {prev_,}insn_idx into verifier env
Daniel Borkmann
1
-33
/
+31
2019-04-20
bpf: fix stack state printing in verifier log
Alexei Starovoitov
1
-1
/
+1
2019-04-20
bpf: fix verifier NULL pointer dereference
Craig Gallek
1
-4
/
+8
2019-04-20
bpf: fix verifier memory leaks
Alexei Starovoitov
1
-9
/
+18
2019-04-20
bpf: reduce verifier memory consumption
Alexei Starovoitov
1
-147
/
+286
2018-12-05
bpf: Prevent memory disambiguation attack
Alexei Starovoitov
1
-4
/
+58
2018-11-10
bpf: fix partial copy of map_ptr when dst is scalar
Daniel Borkmann
1
-4
/
+6
2018-10-10
bpf: 32-bit RSH verification must truncate input before the ALU op
Jann Horn
1
-1
/
+9
2018-08-03
bpf: fix references to free_bpf_prog_info() in comments
Jakub Kicinski
1
-2
/
+2
2018-03-11
bpf: allow xadd only on aligned memory
Daniel Borkmann
1
-16
/
+26
2018-02-25
bpf: mark dst unknown on inconsistent {s, u}bounds adjustments
Daniel Borkmann
1
-9
/
+16
2018-01-31
bpf: reject stores into ctx via st and xadd
Daniel Borkmann
1
-0
/
+19
2018-01-31
bpf: fix 32-bit divide by zero
Alexei Starovoitov
1
-0
/
+18
2018-01-17
bpf: arsh is not supported in 32 bit alu thus reject it
Daniel Borkmann
1
-0
/
+5
2018-01-17
bpf: prevent out-of-bounds speculation
Alexei Starovoitov
1
-0
/
+36
2017-12-25
bpf: fix integer overflows
Daniel Borkmann
1
-0
/
+48
2017-12-25
bpf: don't prune branches when a scalar is replaced with a pointer
Daniel Borkmann
1
-8
/
+7
2017-12-25
bpf: force strict alignment checks for stack pointers
Daniel Borkmann
1
-0
/
+5
2017-12-25
bpf: fix missing error return in check_stack_boundary()
Daniel Borkmann
1
-0
/
+1
2017-12-25
bpf: fix 32-bit ALU op verification
Daniel Borkmann
1
-11
/
+17
2017-12-25
bpf: fix incorrect tracking of register size truncation
Daniel Borkmann
1
-17
/
+27
2017-12-25
bpf: fix incorrect sign extension in check_alu_op()
Daniel Borkmann
1
-1
/
+7
2017-12-25
bpf/verifier: fix bounds calculation on BPF_RSH
Daniel Borkmann
1
-14
/
+16
2017-12-25
bpf: fix branch pruning logic
Daniel Borkmann
1
-0
/
+27
2017-10-22
bpf: fix pattern matches for direct packet access
Daniel Borkmann
1
-0
/
+24
2017-10-22
bpf: fix off by one for range markings with L{T, E} patterns
Daniel Borkmann
1
-12
/
+21
2017-10-18
bpf: disallow arithmetic operations on context pointer
Jakub Kicinski
1
-2
/
+6
2017-10-07
bpf: fix liveness marking
Alexei Starovoitov
1
-0
/
+5
2017-09-19
bpf: fix ri->map_owner pointer on bpf_prog_realloc
Daniel Borkmann
1
-1
/
+6
2017-09-15
bpf/verifier: reject BPF_ALU64|BPF_END
Edward Cree
1
-1
/
+2
2017-09-08
bpf: don't select potentially stale ri->map from buggy xdp progs
Daniel Borkmann
1
-0
/
+16
2017-08-23
bpf/verifier: document liveness analysis
Edward Cree
1
-1
/
+27
2017-08-23
bpf/verifier: remove varlen_map_value_access flag
Edward Cree
1
-29
/
+12
2017-08-23
bpf/verifier: when pruning a branch, ignore its write marks
Edward Cree
1
-2
/
+7
2017-08-19
bpf: make htab inlining more robust wrt assumptions
Daniel Borkmann
1
-1
/
+5
2017-08-18
bpf: Fix map-in-map checking in the verifier
Martin KaFai Lau
1
-0
/
+1
2017-08-17
bpf: fix liveness propagation to parent in spilled stack slots
Daniel Borkmann
1
-1
/
+1
2017-08-16
bpf: add access to sock fields and pkt data from sk_skb programs
John Fastabend
1
-0
/
+1
2017-08-16
bpf: sockmap with sk redirect support
John Fastabend
1
-0
/
+14
2017-08-15
bpf/verifier: track liveness for pruning
Edward Cree
1
-43
/
+146
2017-08-09
bpf: enable BPF_J{LT, LE, SLT, SLE} opcodes in verifier
Daniel Borkmann
1
-4
/
+58
2017-08-08
bpf/verifier: increase complexity limit to 128k
Edward Cree
1
-1
/
+1
[next]