index
:
nova.git
nova
nova-next
topic/nova/allocator
wip/fw-loader
dakr's fork of freedesktop.org/drm/nova
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
linux
/
bpf_verifier.h
Age
Commit message (
Expand
)
Author
2018-05-26
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
2018-05-25
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
Linus Torvalds
2018-05-24
bpf: properly enforce index mask to prevent out-of-bounds speculation
Daniel Borkmann
2018-05-19
bpf: Prevent memory disambiguation attack
Alexei Starovoitov
2018-05-17
bpf: add __printf verification to bpf_verifier_vlog
Mathieu Malaterre
2018-05-04
bpf: centre subprog information fields
Jiong Wang
2018-05-04
bpf: unify main prog and subprog
Jiong Wang
2018-03-26
bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()
Martin KaFai Lau
2018-03-26
bpf: Rename bpf_verifer_log
Martin KaFai Lau
2018-01-10
bpf: export function to write into verifier log buffer
Quentin Monnet
2017-12-31
bpf: offload: allow netdev to disappear while verifier is running
Jakub Kicinski
2017-12-27
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
2017-12-27
bpf: fix maximum stack depth tracking logic
Alexei Starovoitov
2017-12-22
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
2017-12-21
bpf: fix integer overflows
Alexei Starovoitov
2017-12-17
bpf: x64: add JIT support for multi-function programs
Alexei Starovoitov
2017-12-17
bpf: teach verifier to recognize zero initialized stack
Alexei Starovoitov
2017-12-17
bpf: introduce function calls (verification)
Alexei Starovoitov
2017-12-17
bpf: introduce function calls (function boundaries)
Alexei Starovoitov
2017-11-23
bpf: fix branch pruning logic
Alexei Starovoitov
2017-11-21
bpf: make bpf_prog_offload_verifier_prep() static inline
Jakub Kicinski
2017-11-05
bpf: remove old offload/analyzer
Jakub Kicinski
2017-11-05
bpf: offload: add infrastructure for loading programs for a specific netdev
Jakub Kicinski
2017-11-01
bpf: reduce verifier memory consumption
Alexei Starovoitov
2017-10-18
bpf: remove the verifier ops from program structure
Jakub Kicinski
2017-10-10
bpf: write back the verifier log buffer as it gets filled
Jakub Kicinski
2017-10-10
bpf: move global verifier log into verifier environment
Jakub Kicinski
2017-10-10
bpf: encapsulate verifier log state into a structure
Jakub Kicinski
2017-08-23
bpf/verifier: document liveness analysis
Edward Cree
2017-08-23
bpf/verifier: remove varlen_map_value_access flag
Edward Cree
2017-08-15
bpf/verifier: track liveness for pruning
Edward Cree
2017-08-08
bpf/verifier: track signed and unsigned min/max values
Edward Cree
2017-08-08
bpf/verifier: rework value tracking
Edward Cree
2017-07-20
bpf: fix mixed signed/unsigned derived min/max value bounds
Daniel Borkmann
2017-06-23
bpf: possibly avoid extra masking for narrower load in verifier
Yonghong Song
2017-06-14
bpf: permits narrower load from bpf program context fields
Yonghong Song
2017-05-11
bpf: Add strict alignment flag for BPF_PROG_LOAD.
David S. Miller
2017-05-11
bpf: Track alignment of register values in the verifier.
David S. Miller
2017-03-16
bpf: add helper inlining infra and optimize map_array lookup
Alexei Starovoitov
2016-12-08
bpf: fix state equivalence
Alexei Starovoitov
2016-11-22
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
2016-11-16
bpf: fix range arithmetic for bpf map access
Josef Bacik
2016-10-19
bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registers
Thomas Graf
2016-09-29
bpf: allow access into map value arrays
Josef Bacik
2016-09-21
bpf: enable non-core use of the verfier
Jakub Kicinski
2016-09-21
bpf: expose internal verfier structures
Jakub Kicinski