index
:
linux.git
arm64-uaccess
for-next
master
nocache-cleanup
vsnprintf
Linux kernel source tree
Gitolite user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
linux
/
bpf_verifier.h
Age
Commit message (
Expand
)
Author
2026-06-14
bpf: Raise maximum call chain depth to 16 frames
Alexei Starovoitov
2026-06-07
bpf: Add bpf_trampoline_multi_attach/detach functions
Jiri Olsa
2026-06-02
bpf: Silence unused-but-set-variable warning in bpf_for_each_reg_in_vstate_mask
Amery Hung
2026-06-01
bpf: Unify release handling for helpers and kfuncs
Amery Hung
2026-06-01
bpf: Unify referenced object tracking in verifier
Amery Hung
2026-06-01
bpf: Refactor object relationship tracking and fix dynptr UAF bug
Amery Hung
2026-06-01
bpf: Unify dynptr handling in the verifier
Amery Hung
2026-05-25
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf 7.1-rc5
Alexei Starovoitov
2026-05-17
bpf: Check global subprog exception paths
Kumar Kartikeya Dwivedi
2026-05-13
bpf: Report maximum combined stack depth
Paul Chaignon
2026-05-13
bpf: Add precision marking and backtracking for stack argument slots
Yonghong Song
2026-05-13
bpf: Refactor jmp history to use dedicated spi/frame fields
Yonghong Song
2026-05-13
bpf: Support stack arguments for bpf functions
Yonghong Song
2026-05-13
bpf: Convert bpf_get_spilled_reg macro to static inline function
Yonghong Song
2026-05-12
bpf: Add syscall common attributes support for map_create
Leon Hwang
2026-05-12
bpf: Add syscall common attributes support for prog_load
Leon Hwang
2026-05-12
bpf: Refactor reporting log_true_size for prog_load
Leon Hwang
2026-04-30
bpf: Print breakdown of insns processed by subprogs
Paul Chaignon
2026-04-24
bpf: replace min/max fields with struct cnum{32,64}
Eduard Zingerman
2026-04-24
bpf: use accessor functions for bpf_reg_state min/max fields
Eduard Zingerman
2026-04-23
bpf: Prepare verifier logs for upcoming kfunc stack arguments
Yonghong Song
2026-04-16
bpf: Add helper to detect indirect jump targets
Xu Kuohai
2026-04-12
bpf: Move BTF checking logic into check_btf.c
Alexei Starovoitov
2026-04-12
bpf: Move backtracking logic to backtrack.c
Alexei Starovoitov
2026-04-12
bpf: Move state equivalence logic to states.c
Alexei Starovoitov
2026-04-12
bpf: Move check_cfg() into cfg.c
Alexei Starovoitov
2026-04-12
bpf: Move compute_insn_live_regs() into liveness.c
Alexei Starovoitov
2026-04-12
bpf: Move fixup/post-processing logic from verifier.c into fixups.c
Alexei Starovoitov
2026-04-10
bpf: poison dead stack slots
Alexei Starovoitov
2026-04-10
bpf: change logging scheme for live stack analysis
Eduard Zingerman
2026-04-10
bpf: simplify liveness to use (callsite, depth) keyed func_instances
Eduard Zingerman
2026-04-10
bpf: record arg tracking results in bpf_liveness masks
Eduard Zingerman
2026-04-10
bpf: introduce forward arg-tracking dataflow analysis
Eduard Zingerman
2026-04-10
bpf: make liveness.c track stack with 4-byte granularity
Eduard Zingerman
2026-04-10
bpf: Add spis_*() helpers for 4-byte stack slot bitmasks
Alexei Starovoitov
2026-04-10
bpf: save subprogram name in bpf_subprog_info
Eduard Zingerman
2026-04-10
bpf: share several utility functions as internal API
Eduard Zingerman
2026-04-03
bpf: Add helper and kfunc stack access size resolution
Alexei Starovoitov
2026-04-03
bpf: Move verifier helpers to header
Alexei Starovoitov
2026-04-03
bpf: Add bpf_compute_const_regs() and bpf_prune_dead_branches() passes
Alexei Starovoitov
2026-04-03
bpf: Sort subprogs in topological order after check_cfg()
Alexei Starovoitov
2026-04-02
bpf: Use bpf_verifier_env buffers for reg_set_min_max
Paul Chaignon
2026-03-03
bpf: Factor out program return value calculation
Emil Tsalapatis
2026-02-13
bpf: rename bpf_reg_state->off to bpf_reg_state->delta
Eduard Zingerman
2026-02-13
bpf: use reg->var_off instead of reg->off for pointers
Eduard Zingerman
2026-02-04
bpf: Support negative offsets, BPF_SUB, and alu32 for linked register tracking
Puranjay Mohan
2026-02-03
bpf: Clear singular ids for scalars in is_state_visited()
Puranjay Mohan
2026-01-20
bpf/verifier: Optimize ID mapping reset in states_equal
Qiliang Yuan
2025-11-21
bpf: support nested rcu critical sections
Puranjay Mohan
2025-11-21
bpf: correct stack liveness for tail calls
Eduard Zingerman
[next]