index
:
linux.git
arm64-uaccess
link_path_walk
linus
master
mmu_gather-race-fix
proc-cmdline
runtime-constants
tty-splice
word-at-a-time
x86-rep-insns
x86-uaccess-cleanup
Linux kernel mainline tree
Linus Torvalds
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
include
/
linux
/
bpf_verifier.h
Commit message (
Expand
)
Author
Age
Files
Lines
*
bpf: export function to write into verifier log buffer
Quentin Monnet
2018-01-10
1
-0
/
+3
*
bpf: offload: allow netdev to disappear while verifier is running
Jakub Kicinski
2017-12-31
1
-14
/
+2
*
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
2017-12-27
1
-0
/
+1
|
\
|
*
bpf: fix maximum stack depth tracking logic
Alexei Starovoitov
2017-12-27
1
-0
/
+1
*
|
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
2017-12-22
1
-2
/
+2
|
\
\
|
|
/
|
/
|
|
*
bpf: fix integer overflows
Alexei Starovoitov
2017-12-21
1
-2
/
+2
*
|
bpf: x64: add JIT support for multi-function programs
Alexei Starovoitov
2017-12-17
1
-0
/
+1
*
|
bpf: teach verifier to recognize zero initialized stack
Alexei Starovoitov
2017-12-17
1
-1
/
+2
*
|
bpf: introduce function calls (verification)
Alexei Starovoitov
2017-12-17
1
-2
/
+34
*
|
bpf: introduce function calls (function boundaries)
Alexei Starovoitov
2017-12-17
1
-1
/
+4
|
/
*
bpf: fix branch pruning logic
Alexei Starovoitov
2017-11-23
1
-1
/
+1
*
bpf: make bpf_prog_offload_verifier_prep() static inline
Jakub Kicinski
2017-11-21
1
-1
/
+1
*
bpf: remove old offload/analyzer
Jakub Kicinski
2017-11-05
1
-5
/
+0
*
bpf: offload: add infrastructure for loading programs for a specific netdev
Jakub Kicinski
2017-11-05
1
-0
/
+10
*
bpf: reduce verifier memory consumption
Alexei Starovoitov
2017-11-01
1
-3
/
+13
*
bpf: remove the verifier ops from program structure
Jakub Kicinski
2017-10-18
1
-0
/
+1
*
bpf: write back the verifier log buffer as it gets filled
Jakub Kicinski
2017-10-10
1
-1
/
+3
*
bpf: move global verifier log into verifier environment
Jakub Kicinski
2017-10-10
1
-0
/
+2
*
bpf: encapsulate verifier log state into a structure
Jakub Kicinski
2017-10-10
1
-0
/
+13
*
bpf/verifier: document liveness analysis
Edward Cree
2017-08-23
1
-0
/
+13
*
bpf/verifier: remove varlen_map_value_access flag
Edward Cree
2017-08-23
1
-1
/
+0
*
bpf/verifier: track liveness for pruning
Edward Cree
2017-08-15
1
-1
/
+10
*
bpf/verifier: track signed and unsigned min/max values
Edward Cree
2017-08-08
1
-9
/
+14
*
bpf/verifier: rework value tracking
Edward Cree
2017-08-08
1
-13
/
+21
*
bpf: fix mixed signed/unsigned derived min/max value bounds
Daniel Borkmann
2017-07-20
1
-0
/
+1
*
bpf: possibly avoid extra masking for narrower load in verifier
Yonghong Song
2017-06-23
1
-1
/
+2
*
bpf: permits narrower load from bpf program context fields
Yonghong Song
2017-06-14
1
-0
/
+1
*
bpf: Add strict alignment flag for BPF_PROG_LOAD.
David S. Miller
2017-05-11
1
-0
/
+1
*
bpf: Track alignment of register values in the verifier.
David S. Miller
2017-05-11
1
-0
/
+3
*
bpf: add helper inlining infra and optimize map_array lookup
Alexei Starovoitov
2017-03-16
1
-1
/
+4
*
bpf: fix state equivalence
Alexei Starovoitov
2016-12-08
1
-7
/
+7
*
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
2016-11-22
1
-2
/
+3
|
\
|
*
bpf: fix range arithmetic for bpf map access
Josef Bacik
2016-11-16
1
-2
/
+3
*
|
bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registers
Thomas Graf
2016-10-19
1
-1
/
+1
|
/
*
bpf: allow access into map value arrays
Josef Bacik
2016-09-29
1
-0
/
+12
*
bpf: enable non-core use of the verfier
Jakub Kicinski
2016-09-21
1
-0
/
+11
*
bpf: expose internal verfier structures
Jakub Kicinski
2016-09-21
1
-0
/
+79