summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2 daysbpf: Fix NULL deref in map_kptr_match_type for scalar regsMykyta Yatsenko
3 daysbpf: Add helper to detect indirect jump targetsXu Kuohai
3 daysbpf: Pass bpf_verifier_env to JITXu Kuohai
7 daysbpf: Allow instructions with arena source and non-arena dest registersEmil Tsalapatis
7 daysbpf: add missing fsession to the verifier logMenglong Dong
7 daysbpf: Move BTF checking logic into check_btf.cAlexei Starovoitov
7 daysbpf: Move backtracking logic to backtrack.cAlexei Starovoitov
7 daysbpf: Move state equivalence logic to states.cAlexei Starovoitov
7 daysbpf: Move check_cfg() into cfg.cAlexei Starovoitov
7 daysbpf: Move compute_insn_live_regs() into liveness.cAlexei Starovoitov
7 daysbpf: Move fixup/post-processing logic from verifier.c into fixups.cAlexei Starovoitov
7 daysbpf: Simplify do_check_insn()Alexei Starovoitov
7 daysbpf: Move checks for reserved fields out of the main passAlexei Starovoitov
8 daysbpf: Remove gfp_flags plumbing from bpf_local_storage_update()Amery Hung
8 daysbpf: Enforce regsafe base id consistency for BPF_ADD_CONST scalarsDaniel Borkmann
8 daysbpf: poison dead stack slotsAlexei Starovoitov
8 daysbpf: simplify liveness to use (callsite, depth) keyed func_instancesEduard Zingerman
8 daysbpf: record arg tracking results in bpf_liveness masksEduard Zingerman
8 daysbpf: introduce forward arg-tracking dataflow analysisEduard Zingerman
8 daysbpf: 4-byte precise clean_verifier_stateEduard Zingerman
8 daysbpf: make liveness.c track stack with 4-byte granularityEduard Zingerman
8 daysbpf: save subprogram name in bpf_subprog_infoEduard Zingerman
8 daysbpf: share several utility functions as internal APIEduard Zingerman
10 daysbpf: Drop pkt_end markers on arithmetic to prevent is_pkt_ptr_branch_takenDaniel Borkmann
10 daysbpf: Remove static qualifier from local subprog pointerDaniel Borkmann
10 daysbpf: Fix ld_{abs,ind} failure path analysis in subprogsDaniel Borkmann
10 daysbpf: Propagate error from visit_tailcall_insnDaniel Borkmann
11 daysbpf: Allow overwriting referenced dynptr when refcnt > 1Amery Hung
11 daysbpf: Clear delta when clearing reg id for non-{add,sub} opsDaniel Borkmann
11 daysbpf: Fix linked reg delta tracking when src_reg == dst_regDaniel Borkmann
12 daysbpf: Do not ignore offsets for loads from insn_arraysAnton Protopopov
12 daysbpf: Support variable offsets for syscall PTR_TO_CTXKumar Kartikeya Dwivedi
2026-04-03bpf: Add helper and kfunc stack access size resolutionAlexei Starovoitov
2026-04-03bpf: Move verifier helpers to headerAlexei Starovoitov
2026-04-03bpf: Add bpf_compute_const_regs() and bpf_prune_dead_branches() passesAlexei Starovoitov
2026-04-03bpf: Sort subprogs in topological order after check_cfg()Alexei Starovoitov
2026-04-03bpf: Do register range validation earlyAlexei Starovoitov
2026-04-03Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf 7.0-rc6+Alexei Starovoitov
2026-04-02bpf: Simulate branches to prune based on range violationsHarishankar Vishwanathan
2026-04-02bpf: Exit early if reg_bounds_sync gets invalid inputsHarishankar Vishwanathan
2026-04-02bpf: Use bpf_verifier_env buffers for reg_set_min_maxPaul Chaignon
2026-04-02bpf: Refactor reg_bounds_sanity_checkHarishankar Vishwanathan
2026-04-02bpf: Fix incorrect pruning due to atomic fetch precision trackingDaniel Borkmann
2026-04-02bpf: reject direct access to nullable PTR_TO_BUF pointersQi Tang
2026-03-31bpf: Fix regsafe() for pointers to packetAlexei Starovoitov
2026-03-29bpf: Support struct btf_struct_meta via KF_IMPLICIT_ARGSIhor Solodrai
2026-03-24bpf: Fix variable length stack write over spilled pointersAlexei Starovoitov
2026-03-24bpf: update outdated comment for refactored btf_check_kfunc_arg_match()Kexin Sun
2026-03-24bpf: Support 32-bit scalar spills in stacksafe()Alexei Starovoitov
2026-03-24bpf: Fix refcount check in check_struct_ops_btf_id()Keisuke Nishimura