summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)AuthorFilesLines
11 daysbpf: Check global subprog exception pathsKumar Kartikeya Dwivedi1-0/+2
2026-04-16bpf: Add helper to detect indirect jump targetsXu Kuohai1-4/+5
2026-04-12bpf: Move BTF checking logic into check_btf.cAlexei Starovoitov1-0/+5
2026-04-12bpf: Move backtracking logic to backtrack.cAlexei Starovoitov1-0/+18
2026-04-12bpf: Move state equivalence logic to states.cAlexei Starovoitov1-0/+67
2026-04-12bpf: Move check_cfg() into cfg.cAlexei Starovoitov1-1/+114
2026-04-12bpf: Move compute_insn_live_regs() into liveness.cAlexei Starovoitov1-0/+2
2026-04-12bpf: Move fixup/post-processing logic from verifier.c into fixups.cAlexei Starovoitov1-0/+78
2026-04-11bpf: poison dead stack slotsAlexei Starovoitov1-0/+1
2026-04-11bpf: change logging scheme for live stack analysisEduard Zingerman1-5/+0
2026-04-11bpf: simplify liveness to use (callsite, depth) keyed func_instancesEduard Zingerman1-19/+0
2026-04-11bpf: record arg tracking results in bpf_liveness masksEduard Zingerman1-1/+0
2026-04-11bpf: introduce forward arg-tracking dataflow analysisEduard Zingerman1-0/+4
2026-04-11bpf: make liveness.c track stack with 4-byte granularityEduard Zingerman1-2/+2
2026-04-11bpf: Add spis_*() helpers for 4-byte stack slot bitmasksAlexei Starovoitov1-0/+67
2026-04-11bpf: save subprogram name in bpf_subprog_infoEduard Zingerman1-1/+1
2026-04-11bpf: share several utility functions as internal APIEduard Zingerman1-0/+2
2026-04-03bpf: Add helper and kfunc stack access size resolutionAlexei Starovoitov1-0/+6
2026-04-03bpf: Move verifier helpers to headerAlexei Starovoitov1-0/+28
2026-04-03bpf: Add bpf_compute_const_regs() and bpf_prune_dead_branches() passesAlexei Starovoitov1-0/+23
2026-04-03bpf: Sort subprogs in topological order after check_cfg()Alexei Starovoitov1-0/+2
2026-04-03bpf: Use bpf_verifier_env buffers for reg_set_min_maxPaul Chaignon1-1/+3
2026-03-03bpf: Factor out program return value calculationEmil Tsalapatis1-0/+1
2026-02-14bpf: rename bpf_reg_state->off to bpf_reg_state->deltaEduard Zingerman1-3/+3
2026-02-14bpf: use reg->var_off instead of reg->off for pointersEduard Zingerman1-2/+1
2026-02-05bpf: Support negative offsets, BPF_SUB, and alu32 for linked register trackingPuranjay Mohan1-1/+5
2026-02-03bpf: Clear singular ids for scalars in is_state_visited()Puranjay Mohan1-2/+5
2026-01-20bpf/verifier: Optimize ID mapping reset in states_equalQiliang Yuan1-0/+1
2025-11-22bpf: support nested rcu critical sectionsPuranjay Mohan1-1/+1
2025-11-22bpf: correct stack liveness for tail callsEduard Zingerman1-2/+3
2025-11-06bpf, x86: add support for indirect jumpsAnton Protopopov1-0/+9
2025-11-06bpf, x86: add new map type: instructions arrayAnton Protopopov1-0/+2
2025-10-21bpf: make bpf_insn_successors to return a pointerAnton Protopopov1-1/+11
2025-10-10bpf: Refactor storage_get_func_atomic to generic non_sleepable flagKumar Kartikeya Dwivedi1-1/+1
2025-09-19bpf: table based bpf_insn_successors()Eduard Zingerman1-0/+1
2025-09-19bpf: disable and remove registers chain based livenessEduard Zingerman1-25/+0
2025-09-19bpf: signal error if old liveness is more conservative than newEduard Zingerman1-0/+1
2025-09-19bpf: callchain sensitive stack liveness tracking using CFGEduard Zingerman1-0/+14
2025-09-19bpf: compute instructions postorder per subprogramEduard Zingerman1-1/+5
2025-09-19bpf: declare a few utility functions as internal apiEduard Zingerman1-0/+5
2025-09-19bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONEEduard Zingerman1-1/+1
2025-08-13bpf: Tidy verifier bug messagePaul Chaignon1-5/+7
2025-08-02bpf: Allow syscall bpf programs to call non-recur helpersAmery Hung1-0/+1
2025-07-04bpf: Avoid putting struct bpf_scc_callchain variables on the stackYonghong Song1-0/+1
2025-06-13bpf: include backedges in peak_states statEduard Zingerman1-0/+2
2025-06-13bpf: remove {update,get}_loop_entry functionsEduard Zingerman1-15/+0
2025-06-13bpf: propagate read/precision marks over state graph backedgesEduard Zingerman1-0/+38
2025-06-13bpf: compute SCCs in program control flow graphEduard Zingerman1-0/+5
2025-06-13Revert "bpf: use common instruction history across all states"Eduard Zingerman1-11/+8
2025-06-10bpf: Fall back to nospec for Spectre v1Luis Gerhorst1-0/+1