linux.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
2026-05-17	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-10	bpf: poison dead stack slots	Alexei Starovoitov	1	-0/+1
2026-04-10	bpf: change logging scheme for live stack analysis	Eduard Zingerman	1	-5/+0
2026-04-10	bpf: simplify liveness to use (callsite, depth) keyed func_instances	Eduard Zingerman	1	-19/+0
2026-04-10	bpf: record arg tracking results in bpf_liveness masks	Eduard Zingerman	1	-1/+0
2026-04-10	bpf: introduce forward arg-tracking dataflow analysis	Eduard Zingerman	1	-0/+4
2026-04-10	bpf: make liveness.c track stack with 4-byte granularity	Eduard Zingerman	1	-2/+2
2026-04-10	bpf: Add spis_*() helpers for 4-byte stack slot bitmasks	Alexei Starovoitov	1	-0/+67
2026-04-10	bpf: save subprogram name in bpf_subprog_info	Eduard Zingerman	1	-1/+1
2026-04-10	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-02	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-13	bpf: rename bpf_reg_state->off to bpf_reg_state->delta	Eduard Zingerman	1	-3/+3
2026-02-13	bpf: use reg->var_off instead of reg->off for pointers	Eduard Zingerman	1	-2/+1
2026-02-04	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-21	bpf: support nested rcu critical sections	Puranjay Mohan	1	-1/+1
2025-11-21	bpf: correct stack liveness for tail calls	Eduard Zingerman	1	-2/+3
2025-11-05	bpf, x86: add support for indirect jumps	Anton Protopopov	1	-0/+9
2025-11-05	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-12	bpf: Tidy verifier bug message	Paul Chaignon	1	-5/+7
2025-08-01	bpf: Allow syscall bpf programs to call non-recur helpers	Amery Hung	1	-0/+1
2025-07-03	bpf: Avoid putting struct bpf_scc_callchain variables on the stack	Yonghong Song	1	-0/+1
2025-06-12	bpf: include backedges in peak_states stat	Eduard Zingerman	1	-0/+2
2025-06-12	bpf: remove {update,get}_loop_entry functions	Eduard Zingerman	1	-15/+0
2025-06-12	bpf: propagate read/precision marks over state graph backedges	Eduard Zingerman	1	-0/+38
2025-06-12	bpf: compute SCCs in program control flow graph	Eduard Zingerman	1	-0/+5
2025-06-12	Revert "bpf: use common instruction history across all states"	Eduard Zingerman	1	-11/+8
2025-06-09	bpf: Fall back to nospec for Spectre v1	Luis Gerhorst	1	-0/+1