index
:
kernel/linux.git
linux-2.6.11.y
linux-2.6.12.y
linux-2.6.13.y
linux-2.6.14.y
linux-2.6.15.y
linux-2.6.16.y
linux-2.6.17.y
linux-2.6.18.y
linux-2.6.19.y
linux-2.6.20.y
linux-2.6.21.y
linux-2.6.22.y
linux-2.6.23.y
linux-2.6.24.y
linux-2.6.25.y
linux-2.6.26.y
linux-2.6.27.y
linux-2.6.28.y
linux-2.6.29.y
linux-2.6.30.y
linux-2.6.31.y
linux-2.6.32.y
linux-2.6.33.y
linux-2.6.34.y
linux-2.6.35.y
linux-2.6.36.y
linux-2.6.37.y
linux-2.6.38.y
linux-2.6.39.y
linux-3.0.y
linux-3.1.y
linux-3.10.y
linux-3.11.y
linux-3.12.y
linux-3.13.y
linux-3.14.y
linux-3.15.y
linux-3.16.y
linux-3.17.y
linux-3.18.y
linux-3.19.y
linux-3.2.y
linux-3.3.y
linux-3.4.y
linux-3.5.y
linux-3.6.y
linux-3.7.y
linux-3.8.y
linux-3.9.y
linux-4.0.y
linux-4.1.y
linux-4.10.y
linux-4.11.y
linux-4.12.y
linux-4.13.y
linux-4.14.y
linux-4.15.y
linux-4.16.y
linux-4.17.y
linux-4.18.y
linux-4.19.y
linux-4.2.y
linux-4.20.y
linux-4.3.y
linux-4.4.y
linux-4.5.y
linux-4.6.y
linux-4.7.y
linux-4.8.y
linux-4.9.y
linux-5.0.y
linux-5.1.y
linux-5.10.y
linux-5.11.y
linux-5.12.y
linux-5.13.y
linux-5.14.y
linux-5.15.y
linux-5.16.y
linux-5.17.y
linux-5.18.y
linux-5.19.y
linux-5.2.y
linux-5.3.y
linux-5.4.y
linux-5.5.y
linux-5.6.y
linux-5.7.y
linux-5.8.y
linux-5.9.y
linux-6.0.y
linux-6.1.y
linux-6.10.y
linux-6.11.y
linux-6.12.y
linux-6.13.y
linux-6.14.y
linux-6.15.y
linux-6.16.y
linux-6.17.y
linux-6.18.y
linux-6.19.y
linux-6.2.y
linux-6.3.y
linux-6.4.y
linux-6.5.y
linux-6.6.y
linux-6.7.y
linux-6.8.y
linux-6.9.y
linux-7.0.y
linux-rockchip-6.1.y
linux-rockchip-6.5.y
linux-rolling-lts
linux-rolling-stable
master
Linux kernel stable tree (mirror)
Andrey V.Kosteltsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
linux
/
bpf_verifier.h
Age
Commit message (
Expand
)
Author
Files
Lines
11 days
bpf: Check global subprog exception paths
Kumar Kartikeya Dwivedi
1
-0
/
+2
2026-04-16
bpf: Add helper to detect indirect jump targets
Xu Kuohai
1
-4
/
+5
2026-04-12
bpf: Move BTF checking logic into check_btf.c
Alexei Starovoitov
1
-0
/
+5
2026-04-12
bpf: Move backtracking logic to backtrack.c
Alexei Starovoitov
1
-0
/
+18
2026-04-12
bpf: Move state equivalence logic to states.c
Alexei Starovoitov
1
-0
/
+67
2026-04-12
bpf: Move check_cfg() into cfg.c
Alexei Starovoitov
1
-1
/
+114
2026-04-12
bpf: Move compute_insn_live_regs() into liveness.c
Alexei Starovoitov
1
-0
/
+2
2026-04-12
bpf: Move fixup/post-processing logic from verifier.c into fixups.c
Alexei Starovoitov
1
-0
/
+78
2026-04-11
bpf: poison dead stack slots
Alexei Starovoitov
1
-0
/
+1
2026-04-11
bpf: change logging scheme for live stack analysis
Eduard Zingerman
1
-5
/
+0
2026-04-11
bpf: simplify liveness to use (callsite, depth) keyed func_instances
Eduard Zingerman
1
-19
/
+0
2026-04-11
bpf: record arg tracking results in bpf_liveness masks
Eduard Zingerman
1
-1
/
+0
2026-04-11
bpf: introduce forward arg-tracking dataflow analysis
Eduard Zingerman
1
-0
/
+4
2026-04-11
bpf: make liveness.c track stack with 4-byte granularity
Eduard Zingerman
1
-2
/
+2
2026-04-11
bpf: Add spis_*() helpers for 4-byte stack slot bitmasks
Alexei Starovoitov
1
-0
/
+67
2026-04-11
bpf: save subprogram name in bpf_subprog_info
Eduard Zingerman
1
-1
/
+1
2026-04-11
bpf: share several utility functions as internal API
Eduard Zingerman
1
-0
/
+2
2026-04-03
bpf: Add helper and kfunc stack access size resolution
Alexei Starovoitov
1
-0
/
+6
2026-04-03
bpf: Move verifier helpers to header
Alexei Starovoitov
1
-0
/
+28
2026-04-03
bpf: Add bpf_compute_const_regs() and bpf_prune_dead_branches() passes
Alexei Starovoitov
1
-0
/
+23
2026-04-03
bpf: Sort subprogs in topological order after check_cfg()
Alexei Starovoitov
1
-0
/
+2
2026-04-03
bpf: Use bpf_verifier_env buffers for reg_set_min_max
Paul Chaignon
1
-1
/
+3
2026-03-03
bpf: Factor out program return value calculation
Emil Tsalapatis
1
-0
/
+1
2026-02-14
bpf: rename bpf_reg_state->off to bpf_reg_state->delta
Eduard Zingerman
1
-3
/
+3
2026-02-14
bpf: use reg->var_off instead of reg->off for pointers
Eduard Zingerman
1
-2
/
+1
2026-02-05
bpf: Support negative offsets, BPF_SUB, and alu32 for linked register tracking
Puranjay Mohan
1
-1
/
+5
2026-02-03
bpf: Clear singular ids for scalars in is_state_visited()
Puranjay Mohan
1
-2
/
+5
2026-01-20
bpf/verifier: Optimize ID mapping reset in states_equal
Qiliang Yuan
1
-0
/
+1
2025-11-22
bpf: support nested rcu critical sections
Puranjay Mohan
1
-1
/
+1
2025-11-22
bpf: correct stack liveness for tail calls
Eduard Zingerman
1
-2
/
+3
2025-11-06
bpf, x86: add support for indirect jumps
Anton Protopopov
1
-0
/
+9
2025-11-06
bpf, x86: add new map type: instructions array
Anton Protopopov
1
-0
/
+2
2025-10-21
bpf: make bpf_insn_successors to return a pointer
Anton Protopopov
1
-1
/
+11
2025-10-10
bpf: Refactor storage_get_func_atomic to generic non_sleepable flag
Kumar Kartikeya Dwivedi
1
-1
/
+1
2025-09-19
bpf: table based bpf_insn_successors()
Eduard Zingerman
1
-0
/
+1
2025-09-19
bpf: disable and remove registers chain based liveness
Eduard Zingerman
1
-25
/
+0
2025-09-19
bpf: signal error if old liveness is more conservative than new
Eduard Zingerman
1
-0
/
+1
2025-09-19
bpf: callchain sensitive stack liveness tracking using CFG
Eduard Zingerman
1
-0
/
+14
2025-09-19
bpf: compute instructions postorder per subprogram
Eduard Zingerman
1
-1
/
+5
2025-09-19
bpf: declare a few utility functions as internal api
Eduard Zingerman
1
-0
/
+5
2025-09-19
bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONE
Eduard Zingerman
1
-1
/
+1
2025-08-13
bpf: Tidy verifier bug message
Paul Chaignon
1
-5
/
+7
2025-08-02
bpf: Allow syscall bpf programs to call non-recur helpers
Amery Hung
1
-0
/
+1
2025-07-04
bpf: Avoid putting struct bpf_scc_callchain variables on the stack
Yonghong Song
1
-0
/
+1
2025-06-13
bpf: include backedges in peak_states stat
Eduard Zingerman
1
-0
/
+2
2025-06-13
bpf: remove {update,get}_loop_entry functions
Eduard Zingerman
1
-15
/
+0
2025-06-13
bpf: propagate read/precision marks over state graph backedges
Eduard Zingerman
1
-0
/
+38
2025-06-13
bpf: compute SCCs in program control flow graph
Eduard Zingerman
1
-0
/
+5
2025-06-13
Revert "bpf: use common instruction history across all states"
Eduard Zingerman
1
-11
/
+8
2025-06-10
bpf: Fall back to nospec for Spectre v1
Luis Gerhorst
1
-0
/
+1
[next]