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-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
2025-11-05
bpf, x86: add support for indirect jumps
Anton Protopopov
2025-11-05
bpf, x86: add new map type: instructions array
Anton Protopopov
2025-10-21
bpf: make bpf_insn_successors to return a pointer
Anton Protopopov
2025-10-10
bpf: Refactor storage_get_func_atomic to generic non_sleepable flag
Kumar Kartikeya Dwivedi
2025-09-19
bpf: table based bpf_insn_successors()
Eduard Zingerman
2025-09-19
bpf: disable and remove registers chain based liveness
Eduard Zingerman
2025-09-19
bpf: signal error if old liveness is more conservative than new
Eduard Zingerman
2025-09-19
bpf: callchain sensitive stack liveness tracking using CFG
Eduard Zingerman
2025-09-19
bpf: compute instructions postorder per subprogram
Eduard Zingerman
2025-09-19
bpf: declare a few utility functions as internal api
Eduard Zingerman
2025-09-19
bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONE
Eduard Zingerman
2025-08-12
bpf: Tidy verifier bug message
Paul Chaignon
2025-08-01
bpf: Allow syscall bpf programs to call non-recur helpers
Amery Hung
2025-07-03
bpf: Avoid putting struct bpf_scc_callchain variables on the stack
Yonghong Song
2025-06-12
bpf: include backedges in peak_states stat
Eduard Zingerman
2025-06-12
bpf: remove {update,get}_loop_entry functions
Eduard Zingerman
2025-06-12
bpf: propagate read/precision marks over state graph backedges
Eduard Zingerman
2025-06-12
bpf: compute SCCs in program control flow graph
Eduard Zingerman
2025-06-12
Revert "bpf: use common instruction history across all states"
Eduard Zingerman
2025-06-09
bpf: Fall back to nospec for Spectre v1
Luis Gerhorst
2025-06-09
bpf: Rename sanitize_stack_spill to nospec_result
Luis Gerhorst
[next]