Gitiles
Code Review
Sign In
review.shift-gmbh.com
/
SHIFTPHONES
/
kernel
/
common
/
021a17ed796b62383f7623f4fea73787abddad77
/
include
/
linux
/
bpf_verifier.h
be2d04d
bpf: add __printf verification to bpf_verifier_vlog
by Mathieu Malaterre
· 7 years ago
9c8105b
bpf: centre subprog information fields
by Jiong Wang
· 7 years ago
f910cef
bpf: unify main prog and subprog
by Jiong Wang
· 7 years ago
77d2e05
bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()
by Martin KaFai Lau
· 7 years ago
b9193c1
bpf: Rename bpf_verifer_log
by Martin KaFai Lau
· 7 years ago
430e68d
bpf: export function to write into verifier log buffer
by Quentin Monnet
· 7 years ago
cae1927
bpf: offload: allow netdev to disappear while verifier is running
by Jakub Kicinski
· 7 years ago
fcffe2e
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
by David S. Miller
· 7 years ago
70a87ff
bpf: fix maximum stack depth tracking logic
by Alexei Starovoitov
· 7 years ago
fba961a
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
by David S. Miller
· 7 years ago
bb7f0f9
bpf: fix integer overflows
by Alexei Starovoitov
· 7 years ago
1c2a088
bpf: x64: add JIT support for multi-function programs
by Alexei Starovoitov
· 7 years ago
cc2b14d
bpf: teach verifier to recognize zero initialized stack
by Alexei Starovoitov
· 7 years ago
f4d7e40
bpf: introduce function calls (verification)
by Alexei Starovoitov
· 7 years ago
cc8b0b9
bpf: introduce function calls (function boundaries)
by Alexei Starovoitov
· 7 years ago
c131187
bpf: fix branch pruning logic
by Alexei Starovoitov
· 7 years ago
14380194
bpf: make bpf_prog_offload_verifier_prep() static inline
by Jakub Kicinski
· 7 years ago
b37a530
bpf: remove old offload/analyzer
by Jakub Kicinski
· 7 years ago
ab3f006
bpf: offload: add infrastructure for loading programs for a specific netdev
by Jakub Kicinski
· 7 years ago
638f5b9
bpf: reduce verifier memory consumption
by Alexei Starovoitov
· 7 years ago
00176a3
bpf: remove the verifier ops from program structure
by Jakub Kicinski
· 7 years ago
a2a7d57
bpf: write back the verifier log buffer as it gets filled
by Jakub Kicinski
· 7 years ago
61bd521
bpf: move global verifier log into verifier environment
by Jakub Kicinski
· 7 years ago
e7bf824
bpf: encapsulate verifier log state into a structure
by Jakub Kicinski
· 7 years ago
8e9cd9c
bpf/verifier: document liveness analysis
by Edward Cree
· 7 years ago
1b688a1
bpf/verifier: remove varlen_map_value_access flag
by Edward Cree
· 7 years ago
dc503a8
bpf/verifier: track liveness for pruning
by Edward Cree
· 7 years ago
b03c9f9
bpf/verifier: track signed and unsigned min/max values
by Edward Cree
· 7 years ago
f1174f7
bpf/verifier: rework value tracking
by Edward Cree
· 7 years ago
4cabc5b
bpf: fix mixed signed/unsigned derived min/max value bounds
by Daniel Borkmann
· 7 years ago
2399463
bpf: possibly avoid extra masking for narrower load in verifier
by Yonghong Song
· 8 years ago
31fd858
bpf: permits narrower load from bpf program context fields
by Yonghong Song
· 8 years ago
e07b98d
bpf: Add strict alignment flag for BPF_PROG_LOAD.
by David S. Miller
· 8 years ago
d117441
bpf: Track alignment of register values in the verifier.
by David S. Miller
· 8 years ago
81ed18a
bpf: add helper inlining infra and optimize map_array lookup
by Alexei Starovoitov
· 8 years ago
d2a4dd3
bpf: fix state equivalence
by Alexei Starovoitov
· 8 years ago
f9aa9dc
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
by David S. Miller
· 8 years ago
f23cc64
bpf: fix range arithmetic for bpf map access
by Josef Bacik
· 8 years ago
57a09bf
bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registers
by Thomas Graf
· 8 years ago
4846113
bpf: allow access into map value arrays
by Josef Bacik
· 8 years ago
13a27df
bpf: enable non-core use of the verfier
by Jakub Kicinski
· 8 years ago
58e2af8b
bpf: expose internal verfier structures
by Jakub Kicinski
· 8 years ago