index
:
kernel/git/torvalds/linux.git
master
Linux kernel source tree
Linus Torvalds
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
include
/
linux
/
bpf_verifier.h
Age
Commit message (
Expand
)
Author
Files
Lines
2024-04-24
bpf: Introduce bpf_preempt_[disable,enable] kfuncs
Kumar Kartikeya Dwivedi
1
-0
/
+1
2024-04-23
bpf: wq: add bpf_wq_set_callback_impl
Benjamin Tissoires
1
-0
/
+1
2024-04-05
bpf: store both map ptr and state in bpf_insn_aux_data
Philo Lu
1
-1
/
+8
2024-03-11
bpf: Recognize addr_space_cast instruction in the verifier.
Alexei Starovoitov
1
-0
/
+1
2024-03-06
bpf: Introduce may_goto instruction
Alexei Starovoitov
1
-0
/
+2
2024-02-02
bpf: Preserve boundaries and track scalars on narrowing fill
Maxim Mikityanskiy
1
-0
/
+9
2024-01-30
bpf: add __arg_trusted global func arg tag
Andrii Nakryiko
1
-0
/
+1
2024-01-23
bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.
Kui-Feng Lee
1
-0
/
+1
2024-01-23
bpf: Make bpf_for_each_spilled_reg consider narrow spills
Maxim Mikityanskiy
1
-1
/
+1
2023-12-19
bpf: move subprog call logic back to verifier.c
Andrii Nakryiko
1
-8
/
+0
2023-12-19
bpf: prepare btf_prepare_func_args() for handling static subprogs
Andrii Nakryiko
1
-0
/
+5
2023-12-19
bpf: abstract away global subprog arg preparation logic from reg state setup
Andrii Nakryiko
1
-0
/
+16
2023-12-11
bpf: use bitfields for simple per-subprog bool flags
Andrii Nakryiko
1
-6
/
+6
2023-12-08
bpf: Add some comments to stack representation
Andrei Matei
1
-0
/
+14
2023-12-05
bpf: support non-r10 register spill/fill to/from stack in precision tracking
Andrii Nakryiko
1
-4
/
+27
2023-12-02
bpf: enforce exact retval range on subprog/callback exit
Andrii Nakryiko
1
-1
/
+6
2023-12-02
bpf: rearrange bpf_func_state fields to save a bit of memory
Andrii Nakryiko
1
-2
/
+2
2023-11-23
Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net
Jakub Kicinski
1
-0
/
+16
2023-11-20
bpf: keep track of max number of bpf_loop callback iterations
Eduard Zingerman
1
-0
/
+11
2023-11-20
bpf: verify callbacks as if they are called unknown number of times
Eduard Zingerman
1
-0
/
+5
2023-11-18
bpf: move verifier state printing code to kernel/bpf/log.c
Andrii Nakryiko
1
-0
/
+72
2023-11-18
bpf: move verbose_linfo() into kernel/bpf/log.c
Andrii Nakryiko
1
-0
/
+4
2023-11-17
bpf: rename BPF_F_TEST_SANITY_STRICT to BPF_F_TEST_REG_INVARIANTS
Andrii Nakryiko
1
-1
/
+1
2023-11-15
bpf: add register bounds sanity checks and sanitization
Andrii Nakryiko
1
-0
/
+1
2023-10-23
bpf: correct loop detection for iterators convergence
Eduard Zingerman
1
-0
/
+15
2023-10-23
bpf: exact states comparison for iterator convergence checks
Eduard Zingerman
1
-0
/
+1
2023-10-19
bpf: teach the verifier to enforce css_iter and task_iter in RCU CS
Chuyi Zhou
1
-8
/
+11
2023-09-16
bpf: Add support for custom exception callbacks
Kumar Kartikeya Dwivedi
1
-0
/
+1
2023-09-16
bpf: Implement BPF exceptions
Kumar Kartikeya Dwivedi
1
-0
/
+4
2023-09-16
bpf: Implement support for adding hidden subprogs
Kumar Kartikeya Dwivedi
1
-1
/
+2
2023-09-08
bpf: Add bpf_this_cpu_ptr/bpf_per_cpu_ptr support for allocated percpu obj
Yonghong Song
1
-0
/
+1
2023-08-25
bpf: Consider non-owning refs trusted
Dave Marchevsky
1
-1
/
+1
2023-06-13
bpf: Verify scalar ids mapping in regsafe() using check_ids()
Eduard Zingerman
1
-6
/
+11
2023-06-13
bpf: Use scalar ids in mark_chain_precision()
Eduard Zingerman
1
-1
/
+9
2023-05-04
bpf: improve precision backtrack logging
Andrii Nakryiko
1
-4
/
+9
2023-05-04
bpf: encapsulate precision backtracking bookkeeping
Andrii Nakryiko
1
-0
/
+14
2023-04-15
bpf: Migrate bpf_rbtree_add and bpf_list_push_{front,back} to possibly fail
Dave Marchevsky
1
-1
/
+6
2023-04-11
bpf: Simplify internal verifier log interface
Andrii Nakryiko
1
-10
/
+3
2023-04-11
bpf: Keep track of total log content size in both fixed and rolling modes
Andrii Nakryiko
1
-9
/
+3
2023-04-11
bpf: Switch BPF verifier log to be a rotating log by default
Andrii Nakryiko
1
-7
/
+26
2023-04-11
bpf: Split off basic BPF verifier log into separate file
Andrii Nakryiko
1
-12
/
+7
2023-03-10
bpf: ensure state checkpointing at iter_next() call sites
Andrii Nakryiko
1
-1
/
+5
2023-03-08
bpf: add support for open-coded iterator loops
Andrii Nakryiko
1
-0
/
+23
2023-03-08
bpf: add iterator kfuncs registration and validation logic
Andrii Nakryiko
1
-0
/
+2
2023-03-03
bpf: Refactor RCU enforcement in the verifier.
Alexei Starovoitov
1
-1
/
+0
2023-03-01
bpf: Refactor process_dynptr_func
Joanne Koong
1
-3
/
+0
2023-02-13
bpf: Migrate release_on_unlock logic to non-owning ref semantics
Dave Marchevsky
1
-20
/
+18
2023-01-20
bpf: Invalidate slices on destruction of dynptrs on stack
Kumar Kartikeya Dwivedi
1
-1
/
+4
2022-12-27
bpf: reorganize struct bpf_reg_state fields
Andrii Nakryiko
1
-20
/
+20
2022-12-10
bpf: states_equal() must build idmap for all function frames
Eduard Zingerman
1
-2
/
+2
2022-12-08
bpf: Refactor ARG_PTR_TO_DYNPTR checks into process_dynptr_func
Kumar Kartikeya Dwivedi
1
-5
/
+3
2022-12-06
bpf: decouple prune and jump points
Andrii Nakryiko
1
-0
/
+1
2022-12-04
bpf: Handle MEM_RCU type properly
Yonghong Song
1
-1
/
+1
2022-11-30
bpf: Tighten ptr_to_btf_id checks.
Alexei Starovoitov
1
-1
/
+0
2022-11-24
bpf: Add kfunc bpf_rcu_read_lock/unlock()
Yonghong Song
1
-1
/
+4
2022-11-20
bpf: Allow trusted pointers to be passed to KF_TRUSTED_ARGS kfuncs
David Vernet
1
-0
/
+7
2022-11-20
bpf: Allow multiple modifiers in reg_type_str() prefix
David Vernet
1
-1
/
+1
2022-11-17
bpf: Add 'release on unlock' logic for bpf_list_push_{front,back}
Kumar Kartikeya Dwivedi
1
-0
/
+5
2022-11-17
bpf: Introduce bpf_obj_new
Kumar Kartikeya Dwivedi
1
-0
/
+2
2022-11-17
bpf: Rewrite kfunc argument handling
Kumar Kartikeya Dwivedi
1
-2
/
+0
2022-11-17
bpf: Allow locking bpf_spin_lock global variables
Kumar Kartikeya Dwivedi
1
-1
/
+15
2022-10-25
bpf: Remove prog->active check for bpf_lsm and bpf_iter
Martin KaFai Lau
1
-1
/
+14
2022-09-21
btf: Allow dynamic pointer parameters in kfuncs
Roberto Sassu
1
-0
/
+5
2022-09-10
bpf: Add verifier support for custom callback return range
Dave Marchevsky
1
-0
/
+1
2022-09-07
bpf: Add helper macro bpf_for_each_reg_in_vstate
Kumar Kartikeya Dwivedi
1
-0
/
+21
2022-09-07
bpf/verifier: allow kfunc to return an allocated mem
Benjamin Tissoires
1
-0
/
+2
2022-08-24
bpf: Fix reference state management for synchronous callbacks
Kumar Kartikeya Dwivedi
1
-0
/
+11
2022-07-11
bpf: Fix 'dubious one-bit signed bitfield' warnings
Matthieu Baerts
1
-4
/
+4
2022-06-20
bpf: Inline calls to bpf_loop when callback is known
Eduard Zingerman
1
-0
/
+12
2022-06-14
bpf: Fix spelling in bpf_verifier.h
Hongyi Lu
1
-1
/
+1
2022-05-23
bpf: Dynptr support for ring buffers
Joanne Koong
1
-0
/
+2
2022-05-23
bpf: Add verifier support for dynptrs
Joanne Koong
1
-0
/
+18
2022-04-25
bpf: Tag argument to be released in bpf_func_proto
Kumar Kartikeya Dwivedi
1
-2
/
+1
2022-03-30
bpf: Resolve to prog->aux->dst_prog->type only for BPF_PROG_TYPE_EXT
Martin KaFai Lau
1
-1
/
+3
2022-03-05
bpf: Harden register offset checks for release helpers and kfuncs
Kumar Kartikeya Dwivedi
1
-1
/
+2
2022-03-05
bpf: Add check_func_arg_reg_off function
Kumar Kartikeya Dwivedi
1
-0
/
+3
2022-01-24
Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
Jakub Kicinski
1
-0
/
+7
2022-01-19
bpf: Generalize check_ctx_reg for reuse with other types
Daniel Borkmann
1
-2
/
+2
2022-01-18
bpf: Add reference tracking support to kfunc
Kumar Kartikeya Dwivedi
1
-0
/
+5
2022-01-18
bpf: Introduce mem, size argument pair support for kfunc
Kumar Kartikeya Dwivedi
1
-0
/
+2
2021-12-18
bpf: Replace PTR_TO_XXX_OR_NULL with PTR_TO_XXX | PTR_MAYBE_NULL
Hao Luo
1
-0
/
+4
2021-12-18
bpf: Introduce composable reg, ret and arg types.
Hao Luo
1
-0
/
+13
2021-12-16
bpf: Right align verifier states in verifier logs.
Christy Lee
1
-0
/
+3
2021-12-16
bpf: Only print scratched registers and stack slots to verifier logs.
Christy Lee
1
-0
/
+7
2021-12-04
bpf: Disallow BPF_LOG_KERNEL log level for bpf(BPF_BTF_LOAD)
Hou Tao
1
-0
/
+7
2021-10-05
bpf: Introduce BPF support for kernel module function calls
Kumar Kartikeya Dwivedi
1
-0
/
+2
2021-07-31
Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net
Jakub Kicinski
1
-1
/
+2
2021-07-29
bpf: Fix leakage due to insufficient speculative store bypass mitigation
Daniel Borkmann
1
-1
/
+1
2021-07-16
bpf: Fix pointer arithmetic mask tightening under state pruning
Daniel Borkmann
1
-0
/
+1
2021-07-15
bpf: Teach stack depth check about async callbacks.
Alexei Starovoitov
1
-0
/
+1
2021-07-15
bpf: Implement verifier support for validation of async callbacks.
Alexei Starovoitov
1
-1
/
+8
2021-07-15
bpf: Prevent pointer mismatch in bpf_timer_init.
Alexei Starovoitov
1
-1
/
+8
2021-05-19
bpf: Introduce fd_idx
Alexei Starovoitov
1
-0
/
+1
2021-05-10
bpf: verifier: Allocate idmap scratch in verifier env
Lorenz Bauer
1
-0
/
+8
2021-05-03
bpf: Fix leakage of uninitialized bpf stack under speculation
Daniel Borkmann
1
-2
/
+3
2021-04-13
bpf: Return target info when a tracing bpf_link is queried
Toke Høiland-Jørgensen
1
-0
/
+9
2021-02-26
bpf: Add bpf_for_each_map_elem() helper
Yonghong Song
1
-0
/
+3
2021-02-12
bpf: Support pointers in global func args
Dmitrii Banshchikov
1
-0
/
+2
2021-02-10
bpf: Allow variable-offset stack access
Andrei Matei
1
-1
/
+2
2021-01-12
bpf: Support BPF ksym variables in kernel modules
Andrii Nakryiko
1
-0
/
+3
2020-12-03
bpf: Remove hard-coded btf_vmlinux assumption from BPF verifier
Andrii Nakryiko
1
-7
/
+21
2020-11-13
bpf: Support for pointers beyond pkt_end.
Alexei Starovoitov
1
-1
/
+1
2020-10-02
bpf: Introduce pseudo_btf_id
Hao Luo
1
-0
/
+7
2020-09-28
bpf: verifier: refactor check_attach_btf_id()
Toke Høiland-Jørgensen
1
-0
/
+13
2020-09-28
bpf: change logging calls from verbose() to bpf_log() and use log pointer
Toke Høiland-Jørgensen
1
-2
/
+3
2020-09-17
bpf: Add abnormal return checks.
Alexei Starovoitov
1
-0
/
+1
2020-09-17
bpf, x64: rework pro/epilogue and tailcall handling in JIT
Maciej Fijalkowski
1
-0
/
+1
2020-09-17
bpf: Limit caller's stack depth 256 for subprogs with tailcalls
Maciej Fijalkowski
1
-0
/
+1
2020-06-22
bpf: Support access to bpf map fields
Andrey Ignatov
1
-0
/
+1
2020-06-01
bpf: Implement BPF ring buffer and verifier support for it
Andrii Nakryiko
1
-0
/
+4
2020-05-15
bpf: Implement CAP_BPF
Alexei Starovoitov
1
-0
/
+3
2020-03-30
bpf: Verifier, do explicit ALU32 bounds tracking
John Fastabend
1
-0
/
+4
2020-01-10
bpf: Introduce function-by-function verification
Alexei Starovoitov
1
-2
/
+8
2019-11-24
bpf: Constant map key tracking for prog array pokes
Daniel Borkmann
1
-1
/
+2
2019-11-15
bpf: Compare BTF types of functions arguments with actual types
Alexei Starovoitov
1
-0
/
+1
2019-10-17
bpf: Implement accurate raw_tp context access via BTF
Alexei Starovoitov
1
-0
/
+4
2019-10-17
bpf: Process in-kernel BTF
Alexei Starovoitov
1
-1
/
+3
2019-08-28
bpf: introduce verifier internal test flag
Alexei Starovoitov
1
-0
/
+1
2019-06-20
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
1
-1
/
+68
2019-06-19
bpf: precise scalar_value tracking
Alexei Starovoitov
1
-0
/
+18
2019-06-19
bpf: introduce bounded loops
Alexei Starovoitov
1
-1
/
+50
2019-06-07
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-4
/
+1
2019-05-30
treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 206
Thomas Gleixner
1
-4
/
+1
2019-05-24
bpf: verifier: mark verified-insn with sub-register zext flag
Jiong Wang
1
-3
/
+11
2019-05-24
bpf: convert explored_states to hash table
Alexei Starovoitov
1
-0
/
+1
2019-05-24
bpf: split explored_states
Alexei Starovoitov
1
-0
/
+1
2019-04-23
bpf: remove global variables
Alexei Starovoitov
1
-0
/
+5
2019-04-09
bpf: implement lookup-free direct value access for maps
Daniel Borkmann
1
-0
/
+4
2019-04-04
bpf: improve verification speed by droping states
Alexei Starovoitov
1
-0
/
+2
2019-04-04
bpf: add verifier stats and log_level bit 2
Alexei Starovoitov
1
-0
/
+21
2019-03-13
bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_release
Martin KaFai Lau
1
-0
/
+40
2019-02-01
bpf: introduce bpf_spin_lock
Alexei Starovoitov
1
-0
/
+1
2019-01-23
bpf: notify offload JITs about optimizations
Jakub Kicinski
1
-0
/
+5
2019-01-23
bpf: verifier: record original instruction index
Jakub Kicinski
1
-0
/
+1
2019-01-05
bpf: fix sanitation of alu op with pointer / scalar type from different paths
Daniel Borkmann
1
-0
/
+1
2019-01-02
bpf: prevent out of bounds speculation on pointer arithmetic
Daniel Borkmann
1
-0
/
+10
2019-01-02
bpf: move {prev_,}insn_idx into verifier env
Daniel Borkmann
1
-0
/
+2
2018-12-15
bpf: add self-check logic to liveness analysis
Alexei Starovoitov
1
-0
/
+1
2018-12-14
bpf: verbose log bpf_line_info in verifier
Martin KaFai Lau
1
-0
/
+1
2018-12-09
bpf: Add bpf_line_info support
Martin KaFai Lau
1
-0
/
+1
2018-11-26
bpf: btf: support proper non-jit func info
Yonghong Song
1
-1
/
+0
2018-11-20
bpf: Introduce bpf_func_info
Yonghong Song
1
-0
/
+1
2018-11-10
bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()
Quentin Monnet
1
-1
/
+1
2018-10-31
bpf: fix partial copy of map_ptr when dst is scalar
Daniel Borkmann
1
-0
/
+3
2018-10-08
bpf: add verifier callback to get stack usage info for offloaded progs
Quentin Monnet
1
-0
/
+1
2018-10-03
bpf: Add reference tracking to verifier
Joe Stringer
1
-3
/
+21
2018-10-03
bpf: Add PTR_TO_SOCKET verifier type
Joe Stringer
1
-0
/
+2
2018-10-03
bpf: Add iterator for spilled registers
Joe Stringer
1
-0
/
+11
2018-08-29
bpf/verifier: per-register parent pointers
Edward Cree
1
-5
/
+3
2018-05-26
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-1
/
+2
2018-05-25
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
Linus Torvalds
1
-1
/
+1
2018-05-24
bpf: properly enforce index mask to prevent out-of-bounds speculation
Daniel Borkmann
1
-1
/
+1
2018-05-19
bpf: Prevent memory disambiguation attack
Alexei Starovoitov
1
-0
/
+1
2018-05-17
bpf: add __printf verification to bpf_verifier_vlog
Mathieu Malaterre
1
-2
/
+2
2018-05-04
bpf: centre subprog information fields
Jiong Wang
1
-3
/
+6
2018-05-04
bpf: unify main prog and subprog
Jiong Wang
1
-1
/
+1
2018-03-26
bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()
Martin KaFai Lau
1
-0
/
+7
2018-03-26
bpf: Rename bpf_verifer_log
Martin KaFai Lau
1
-3
/
+3
2018-01-10
bpf: export function to write into verifier log buffer
Quentin Monnet
1
-0
/
+3
2017-12-31
bpf: offload: allow netdev to disappear while verifier is running
Jakub Kicinski
1
-14
/
+2
2017-12-27
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
1
-0
/
+1
2017-12-27
bpf: fix maximum stack depth tracking logic
Alexei Starovoitov
1
-0
/
+1
2017-12-22
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-2
/
+2
2017-12-21
bpf: fix integer overflows
Alexei Starovoitov
1
-2
/
+2
2017-12-17
bpf: x64: add JIT support for multi-function programs
Alexei Starovoitov
1
-0
/
+1
2017-12-17
bpf: teach verifier to recognize zero initialized stack
Alexei Starovoitov
1
-1
/
+2
2017-12-17
bpf: introduce function calls (verification)
Alexei Starovoitov
1
-2
/
+34
2017-12-17
bpf: introduce function calls (function boundaries)
Alexei Starovoitov
1
-1
/
+4
2017-11-23
bpf: fix branch pruning logic
Alexei Starovoitov
1
-1
/
+1
2017-11-21
bpf: make bpf_prog_offload_verifier_prep() static inline
Jakub Kicinski
1
-1
/
+1
2017-11-05
bpf: remove old offload/analyzer
Jakub Kicinski
1
-5
/
+0
2017-11-05
bpf: offload: add infrastructure for loading programs for a specific netdev
Jakub Kicinski
1
-0
/
+10
2017-11-01
bpf: reduce verifier memory consumption
Alexei Starovoitov
1
-3
/
+13
2017-10-18
bpf: remove the verifier ops from program structure
Jakub Kicinski
1
-0
/
+1
2017-10-10
bpf: write back the verifier log buffer as it gets filled
Jakub Kicinski
1
-1
/
+3
2017-10-10
bpf: move global verifier log into verifier environment
Jakub Kicinski
1
-0
/
+2
2017-10-10
bpf: encapsulate verifier log state into a structure
Jakub Kicinski
1
-0
/
+13
2017-08-23
bpf/verifier: document liveness analysis
Edward Cree
1
-0
/
+13
2017-08-23
bpf/verifier: remove varlen_map_value_access flag
Edward Cree
1
-1
/
+0
2017-08-15
bpf/verifier: track liveness for pruning
Edward Cree
1
-1
/
+10
2017-08-08
bpf/verifier: track signed and unsigned min/max values
Edward Cree
1
-9
/
+14
2017-08-08
bpf/verifier: rework value tracking
Edward Cree
1
-13
/
+21
2017-07-20
bpf: fix mixed signed/unsigned derived min/max value bounds
Daniel Borkmann
1
-0
/
+1
2017-06-23
bpf: possibly avoid extra masking for narrower load in verifier
Yonghong Song
1
-1
/
+2
2017-06-14
bpf: permits narrower load from bpf program context fields
Yonghong Song
1
-0
/
+1
2017-05-11
bpf: Add strict alignment flag for BPF_PROG_LOAD.
David S. Miller
1
-0
/
+1
2017-05-11
bpf: Track alignment of register values in the verifier.
David S. Miller
1
-0
/
+3
2017-03-16
bpf: add helper inlining infra and optimize map_array lookup
Alexei Starovoitov
1
-1
/
+4
2016-12-08
bpf: fix state equivalence
Alexei Starovoitov
1
-7
/
+7
2016-11-22
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-2
/
+3
2016-11-16
bpf: fix range arithmetic for bpf map access
Josef Bacik
1
-2
/
+3
2016-10-19
bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registers
Thomas Graf
1
-1
/
+1
2016-09-29
bpf: allow access into map value arrays
Josef Bacik
1
-0
/
+12
2016-09-21
bpf: enable non-core use of the verfier
Jakub Kicinski
1
-0
/
+11
2016-09-21
bpf: expose internal verfier structures
Jakub Kicinski
1
-0
/
+79