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
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
2017-06-14
bpf: permits narrower load from bpf program context fields
Yonghong Song
1
-0
/
+1
2017-05-11
bpf: Add strict alignment flag for BPF_PROG_LOAD.
David S. Miller
1
-0
/
+1
2017-05-11
bpf: Track alignment of register values in the verifier.
David S. Miller
1
-0
/
+3
2017-03-17
bpf: add helper inlining infra and optimize map_array lookup
Alexei Starovoitov
1
-1
/
+4
2016-12-08
bpf: fix state equivalence
Alexei Starovoitov
1
-7
/
+7
2016-11-22
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-2
/
+3
2016-11-16
bpf: fix range arithmetic for bpf map access
Josef Bacik
1
-2
/
+3
2016-10-19
bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registers
Thomas Graf
1
-1
/
+1
2016-09-29
bpf: allow access into map value arrays
Josef Bacik
1
-0
/
+12
2016-09-22
bpf: enable non-core use of the verfier
Jakub Kicinski
1
-0
/
+11
2016-09-22
bpf: expose internal verfier structures
Jakub Kicinski
1
-0
/
+79