index
:
pundiramit/linux.git
android-mainline-sdcardfs
android-mainline-wip
blueline-mainline-tracking
db410c-android-4.19
db410c-android-mainline-tracking
db410c-mainline-tracking
db845c-mainline-tracking
db845c-qcomlt-tracking
dragonboard-android-mainline-tracking
hikey-android-mainline-tracking
hwsdcardfs-mainline-tracking
jstultz/dev/db845c-v5.10
jstultz/dev/db845c-v5.11
jstultz/dev/db845c-v5.12
jstultz/dev/db845c-v5.15
jstultz/dev/db845c-v5.16
jstultz/dev/db845c-v5.5
jstultz/dev/db845c-v5.6
jstultz/dev/db845c-v5.7
jstultz/dev/db845c-v5.8
jstultz/dev/db845c-v5.9
lsk-v4.4-android
lsk-v4.9-android
rb5-5.14
rb5-5.15
rb5-5.16
rb5-android-mainline
rb5-mainline
rb5-mainline-qca639x
rb5-qcomlt-5.12
rb5-qcomlt-5.15
rb5-rpmh-regression
rbX-5.15.y
rbX-5.17
rbX-5.18
rbX-5.19
rbX-6.0
rbX-6.1.y
rbX-6.6.y
rbX-android13-5.15
rbX-mainline
test/5.15-sync_state
test/android12-5.4-lts
test/db845c-4k
wip/db845c-android-5.4-wifi
wip/db845c-audio
wip/db845c-audio-5.6
wip/db845c-audio-android-5.4
wip/db845c-audio-qcomlt-5.4
wip/db845c-audio-qcomlt-5.4-rebased
wip/dragonboard-android-4.19
wip/dragonboard-android-mainline-tracking
wip/jstultz-db845c-mainline-WIP
wip/nrm-rb5-qcomlt-5.10
wip/p3-for-sumit
wip/p3-mainline-panel-wip
wip/rb5-android-mainline
wip/rb5-mainline
wip/rb5-qcomlt-5.10
wip/rb5-qcomlt-5.12
wip/rb5-qcomlt-5.12-rc6
wip/rb5-qcomlt-5.12_gki
wip/rb5-qcomlt-5.15
wip/rbX-mainline
wip/test
[no description]
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
linux
/
bpf_verifier.h
Age
Commit message (
Expand
)
Author
2020-03-30
bpf: Verifier, do explicit ALU32 bounds tracking
John Fastabend
2020-01-10
bpf: Introduce function-by-function verification
Alexei Starovoitov
2019-11-24
bpf: Constant map key tracking for prog array pokes
Daniel Borkmann
2019-11-15
bpf: Compare BTF types of functions arguments with actual types
Alexei Starovoitov
2019-10-17
bpf: Implement accurate raw_tp context access via BTF
Alexei Starovoitov
2019-10-17
bpf: Process in-kernel BTF
Alexei Starovoitov
2019-08-28
bpf: introduce verifier internal test flag
Alexei Starovoitov
2019-06-20
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
2019-06-19
bpf: precise scalar_value tracking
Alexei Starovoitov
2019-06-19
bpf: introduce bounded loops
Alexei Starovoitov
2019-06-07
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
2019-05-30
treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 206
Thomas Gleixner
2019-05-24
bpf: verifier: mark verified-insn with sub-register zext flag
Jiong Wang
2019-05-24
bpf: convert explored_states to hash table
Alexei Starovoitov
2019-05-24
bpf: split explored_states
Alexei Starovoitov
2019-04-23
bpf: remove global variables
Alexei Starovoitov
2019-04-09
bpf: implement lookup-free direct value access for maps
Daniel Borkmann
2019-04-04
bpf: improve verification speed by droping states
Alexei Starovoitov
2019-04-04
bpf: add verifier stats and log_level bit 2
Alexei Starovoitov
2019-03-13
bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_release
Martin KaFai Lau
2019-02-01
bpf: introduce bpf_spin_lock
Alexei Starovoitov
2019-01-23
bpf: notify offload JITs about optimizations
Jakub Kicinski
2019-01-23
bpf: verifier: record original instruction index
Jakub Kicinski
2019-01-05
bpf: fix sanitation of alu op with pointer / scalar type from different paths
Daniel Borkmann
2019-01-02
bpf: prevent out of bounds speculation on pointer arithmetic
Daniel Borkmann
2019-01-02
bpf: move {prev_,}insn_idx into verifier env
Daniel Borkmann
2018-12-15
bpf: add self-check logic to liveness analysis
Alexei Starovoitov
2018-12-14
bpf: verbose log bpf_line_info in verifier
Martin KaFai Lau
2018-12-09
bpf: Add bpf_line_info support
Martin KaFai Lau
2018-11-26
bpf: btf: support proper non-jit func info
Yonghong Song
2018-11-20
bpf: Introduce bpf_func_info
Yonghong Song
2018-11-10
bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()
Quentin Monnet
2018-10-31
bpf: fix partial copy of map_ptr when dst is scalar
Daniel Borkmann
2018-10-08
bpf: add verifier callback to get stack usage info for offloaded progs
Quentin Monnet
2018-10-03
bpf: Add reference tracking to verifier
Joe Stringer
2018-10-03
bpf: Add PTR_TO_SOCKET verifier type
Joe Stringer
2018-10-03
bpf: Add iterator for spilled registers
Joe Stringer
2018-08-29
bpf/verifier: per-register parent pointers
Edward Cree
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
[next]