index
:
kernel/linux.git
linux-2.6.11.y
linux-2.6.12.y
linux-2.6.13.y
linux-2.6.14.y
linux-2.6.15.y
linux-2.6.16.y
linux-2.6.17.y
linux-2.6.18.y
linux-2.6.19.y
linux-2.6.20.y
linux-2.6.21.y
linux-2.6.22.y
linux-2.6.23.y
linux-2.6.24.y
linux-2.6.25.y
linux-2.6.26.y
linux-2.6.27.y
linux-2.6.28.y
linux-2.6.29.y
linux-2.6.30.y
linux-2.6.31.y
linux-2.6.32.y
linux-2.6.33.y
linux-2.6.34.y
linux-2.6.35.y
linux-2.6.36.y
linux-2.6.37.y
linux-2.6.38.y
linux-2.6.39.y
linux-3.0.y
linux-3.1.y
linux-3.10.y
linux-3.11.y
linux-3.12.y
linux-3.13.y
linux-3.14.y
linux-3.15.y
linux-3.16.y
linux-3.17.y
linux-3.18.y
linux-3.19.y
linux-3.2.y
linux-3.3.y
linux-3.4.y
linux-3.5.y
linux-3.6.y
linux-3.7.y
linux-3.8.y
linux-3.9.y
linux-4.0.y
linux-4.1.y
linux-4.10.y
linux-4.11.y
linux-4.12.y
linux-4.13.y
linux-4.14.y
linux-4.15.y
linux-4.16.y
linux-4.17.y
linux-4.18.y
linux-4.19.y
linux-4.2.y
linux-4.20.y
linux-4.3.y
linux-4.4.y
linux-4.5.y
linux-4.6.y
linux-4.7.y
linux-4.8.y
linux-4.9.y
linux-5.0.y
linux-5.1.y
linux-5.10.y
linux-5.11.y
linux-5.12.y
linux-5.13.y
linux-5.14.y
linux-5.15.y
linux-5.16.y
linux-5.17.y
linux-5.18.y
linux-5.19.y
linux-5.2.y
linux-5.3.y
linux-5.4.y
linux-5.5.y
linux-5.6.y
linux-5.7.y
linux-5.8.y
linux-5.9.y
linux-6.0.y
linux-6.1.y
linux-6.10.y
linux-6.11.y
linux-6.12.y
linux-6.13.y
linux-6.14.y
linux-6.15.y
linux-6.16.y
linux-6.2.y
linux-6.3.y
linux-6.4.y
linux-6.5.y
linux-6.6.y
linux-6.7.y
linux-6.8.y
linux-6.9.y
linux-rockchip-6.1.y
linux-rockchip-6.5.y
linux-rolling-lts
linux-rolling-stable
master
Linux kernel stable tree (mirror)
Andrey V.Kosteltsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
Age
Commit message (
Expand
)
Author
Files
Lines
2021-03-24
bpf: Prohibit alu ops for pointer types not defining ptr_limit
Piotr Krysiuk
1
-6
/
+10
2021-03-24
bpf: Add sanity check for upper ptr_limit
Piotr Krysiuk
1
-3
/
+8
2021-03-24
bpf: Simplify alu_limit masking for pointer arithmetic
Piotr Krysiuk
1
-5
/
+5
2021-03-24
bpf: Fix off-by-one for area size in creating mask to left
Piotr Krysiuk
1
-2
/
+2
2020-01-12
bpf: Fix passing modified ctx to ld/abs/ind instruction
Daniel Borkmann
1
-2
/
+7
2020-01-12
bpf: reject passing modified ctx to helper functions
Daniel Borkmann
1
-15
/
+30
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-08
bpf: fix liveness marking
Alexei Starovoitov
1
-0
/
+5
2017-09-20
bpf: fix ri->map_owner pointer on bpf_prog_realloc
Daniel Borkmann
1
-1
/
+6
2017-09-16
bpf/verifier: reject BPF_ALU64|BPF_END
Edward Cree
1
-1
/
+2
2017-09-09
bpf: don't select potentially stale ri->map from buggy xdp progs
Daniel Borkmann
1
-0
/
+16
2017-08-24
bpf/verifier: document liveness analysis
Edward Cree
1
-1
/
+27
2017-08-24
bpf/verifier: remove varlen_map_value_access flag
Edward Cree
1
-29
/
+12
2017-08-24
bpf/verifier: when pruning a branch, ignore its write marks
Edward Cree
1
-2
/
+7
2017-08-20
bpf: make htab inlining more robust wrt assumptions
Daniel Borkmann
1
-1
/
+5
2017-08-19
bpf: Fix map-in-map checking in the verifier
Martin KaFai Lau
1
-0
/
+1
[next]