index
:
BMC/Intel-BMC/linux.git
dev
dev-4.10
dev-4.13
dev-4.17
dev-4.18
dev-4.19
dev-4.3
dev-4.4
dev-4.6
dev-4.7
dev-5.0
dev-5.1
dev-5.10-intel
dev-5.10.46-intel
dev-5.10.49-intel
dev-5.14-intel
dev-5.15-intel
dev-5.2
dev-5.3
dev-5.4
dev-5.7
dev-5.8
dev-5.8-intel
master
Intel OpenBMC Linux kernel source 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-03-13
bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_release
Martin KaFai Lau
1
-0
/
+40
2019-02-01
bpf: introduce bpf_spin_lock
Alexei Starovoitov
1
-0
/
+1
2019-01-24
bpf: notify offload JITs about optimizations
Jakub Kicinski
1
-0
/
+5
2019-01-24
bpf: verifier: record original instruction index
Jakub Kicinski
1
-0
/
+1
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
[next]