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.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
/
include
/
linux
/
bpf_verifier.h
Age
Commit message (
Expand
)
Author
Files
Lines
2019-01-06
bpf: fix sanitation of alu op with pointer / scalar type from different paths
Daniel Borkmann
1
-0
/
+1
2019-01-03
bpf: prevent out of bounds speculation on pointer arithmetic
Daniel Borkmann
1
-0
/
+10
2019-01-03
bpf: move {prev_,}insn_idx into verifier env
Daniel Borkmann
1
-0
/
+2
2018-12-15
bpf: add self-check logic to liveness analysis
Alexei Starovoitov
1
-0
/
+1
2018-12-15
bpf: verbose log bpf_line_info in verifier
Martin KaFai Lau
1
-0
/
+1
2018-12-10
bpf: Add bpf_line_info support
Martin KaFai Lau
1
-0
/
+1
2018-11-27
bpf: btf: support proper non-jit func info
Yonghong Song
1
-1
/
+0
2018-11-20
bpf: Introduce bpf_func_info
Yonghong Song
1
-0
/
+1
2018-11-11
bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()
Quentin Monnet
1
-1
/
+1
2018-11-01
bpf: fix partial copy of map_ptr when dst is scalar
Daniel Borkmann
1
-0
/
+3
2018-10-08
bpf: add verifier callback to get stack usage info for offloaded progs
Quentin Monnet
1
-0
/
+1
2018-10-03
bpf: Add reference tracking to verifier
Joe Stringer
1
-3
/
+21
2018-10-03
bpf: Add PTR_TO_SOCKET verifier type
Joe Stringer
1
-0
/
+2
2018-10-03
bpf: Add iterator for spilled registers
Joe Stringer
1
-0
/
+11
2018-08-30
bpf/verifier: per-register parent pointers
Edward Cree
1
-5
/
+3
2018-05-27
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-1
/
+2
2018-05-26
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
Linus Torvalds
1
-1
/
+1
2018-05-24
bpf: properly enforce index mask to prevent out-of-bounds speculation
Daniel Borkmann
1
-1
/
+1
2018-05-19
bpf: Prevent memory disambiguation attack
Alexei Starovoitov
1
-0
/
+1
2018-05-17
bpf: add __printf verification to bpf_verifier_vlog
Mathieu Malaterre
1
-2
/
+2
2018-05-04
bpf: centre subprog information fields
Jiong Wang
1
-3
/
+6
2018-05-04
bpf: unify main prog and subprog
Jiong Wang
1
-1
/
+1
2018-03-26
bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()
Martin KaFai Lau
1
-0
/
+7
2018-03-26
bpf: Rename bpf_verifer_log
Martin KaFai Lau
1
-3
/
+3
2018-01-10
bpf: export function to write into verifier log buffer
Quentin Monnet
1
-0
/
+3
2017-12-31
bpf: offload: allow netdev to disappear while verifier is running
Jakub Kicinski
1
-14
/
+2
2017-12-28
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
1
-0
/
+1
2017-12-27
bpf: fix maximum stack depth tracking logic
Alexei Starovoitov
1
-0
/
+1
2017-12-22
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-2
/
+2
2017-12-21
bpf: fix integer overflows
Alexei Starovoitov
1
-2
/
+2
2017-12-17
bpf: x64: add JIT support for multi-function programs
Alexei Starovoitov
1
-0
/
+1
2017-12-17
bpf: teach verifier to recognize zero initialized stack
Alexei Starovoitov
1
-1
/
+2
2017-12-17
bpf: introduce function calls (verification)
Alexei Starovoitov
1
-2
/
+34
2017-12-17
bpf: introduce function calls (function boundaries)
Alexei Starovoitov
1
-1
/
+4
2017-11-23
bpf: fix branch pruning logic
Alexei Starovoitov
1
-1
/
+1
2017-11-21
bpf: make bpf_prog_offload_verifier_prep() static inline
Jakub Kicinski
1
-1
/
+1
2017-11-05
bpf: remove old offload/analyzer
Jakub Kicinski
1
-5
/
+0
2017-11-05
bpf: offload: add infrastructure for loading programs for a specific netdev
Jakub Kicinski
1
-0
/
+10
2017-11-01
bpf: reduce verifier memory consumption
Alexei Starovoitov
1
-3
/
+13
2017-10-18
bpf: remove the verifier ops from program structure
Jakub Kicinski
1
-0
/
+1
2017-10-10
bpf: write back the verifier log buffer as it gets filled
Jakub Kicinski
1
-1
/
+3
2017-10-10
bpf: move global verifier log into verifier environment
Jakub Kicinski
1
-0
/
+2
2017-10-10
bpf: encapsulate verifier log state into a structure
Jakub Kicinski
1
-0
/
+13
2017-08-24
bpf/verifier: document liveness analysis
Edward Cree
1
-0
/
+13
2017-08-24
bpf/verifier: remove varlen_map_value_access flag
Edward Cree
1
-1
/
+0
2017-08-16
bpf/verifier: track liveness for pruning
Edward Cree
1
-1
/
+10
2017-08-09
bpf/verifier: track signed and unsigned min/max values
Edward Cree
1
-9
/
+14
2017-08-09
bpf/verifier: rework value tracking
Edward Cree
1
-13
/
+21
2017-07-21
bpf: fix mixed signed/unsigned derived min/max value bounds
Daniel Borkmann
1
-0
/
+1
2017-06-23
bpf: possibly avoid extra masking for narrower load in verifier
Yonghong Song
1
-1
/
+2
[next]