index
:
daniel.thompson/linux.git
backlight-for-v4.11
backport/arm64_nmi-android-3.18
bugs/debug_ll
bugs/st-asc-avalanche
clang-analyzer/initial_review
dev/arm64_alternative_if_not
dev/arm64_nix_assembler_macros
dev/arm64_nmi-v4.0
dev/arm64_nmi-v4.10
dev/arm64_nmi-v4.11
dev/arm64_nmi-v4.5
dev/arm64_nmi-v4.7-rc3
dev/arm64_nmi-v4.8
dev/arm64_nmi-v5
dev/arm_backtrace_on_apq8064
dev/arm_better_perf
dev/baseline
dev/debugll_sa1100
dev/imx_poll_get_char
dev/kdb-fiq
dev/kdb-fiq-v0.9
dev/kdb-interrupt
dev/kdb-kiosk
dev/kdb-nmi
dev/kdb_better_search
dev/kdb_ftdump
dev/kdb_no_log_levels
dev/kgdb-timeout
dev/kgdb_nmi-no_con_enabled
dev/kgdb_nmi_fiq-2
dev/msm_drm_prime_mmap-2
dev/multi_debug_ll
dev/out-of-tree
dev/perf_nmi_fiq
dev/perf_single_irq
dev/pl011-no-containerof
dev/readbwl_relaxed
dev/sched_clock_nmi-2
dev/st-asc-relaxed
dev/trigger_backtrace
dev/trigger_backtrace-v4.5
dev/trigger_backtrace-v4.6
dev/trigger_backtrace-v4.7
dev/trigger_backtrace-v4.8
developerbox/hacking
developerbox/hacking-v4.14
features/b2020-eth1
features/edid-svga
features/get_user_8
hacking/android-4.1
hacking/db820c-v4.10
hacking/fvp
hacking/ifc6410
hacking/perf
hacking/perf-reboot
hacking/pixel
hacking/x20-3.18
hacking/x20-3.18-fix_includes
honeycomb/vendor-rebase-v4.19
honeycomb/vendor-rebase-v5.0
ifc6410_lollipop
kdb/seq_file
kgdb/for-next
kgdb/kdb_read_cleanup
kgdb/polled_request_irq
linux-next
master
merge/fiq
merge/for_jason-3.20
misc/coccinelle_allow_list_entry_is_head
misc/compile_commands_for_gcc
pinebookpro/hacking-5.8
rda/hacking
rda/v3.10.62-r0
rda/v3.10.62-r1
rda/v3.10.62-r2
rda/v3.10.62-r3
tty-next
Personal repo for development and upstreaming. Contains significant work on NMI/FIQ.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
linux
/
bpf_verifier.h
Age
Commit message (
Expand
)
Author
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
2017-12-27
bpf: fix maximum stack depth tracking logic
Alexei Starovoitov
[next]