summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
9 daysbpf: Check global subprog exception pathsKumar Kartikeya Dwivedi
11 daysbpf: make bpf_session_is_return() reference optionalArnd Bergmann
2026-04-16bpf: Fix NULL deref in map_kptr_match_type for scalar regsMykyta Yatsenko
2026-04-16bpf: Add helper to detect indirect jump targetsXu Kuohai
2026-04-16bpf: Pass bpf_verifier_env to JITXu Kuohai
2026-04-12bpf: Allow instructions with arena source and non-arena dest registersEmil Tsalapatis
2026-04-12bpf: add missing fsession to the verifier logMenglong Dong
2026-04-12bpf: Move BTF checking logic into check_btf.cAlexei Starovoitov
2026-04-12bpf: Move backtracking logic to backtrack.cAlexei Starovoitov
2026-04-12bpf: Move state equivalence logic to states.cAlexei Starovoitov
2026-04-12bpf: Move check_cfg() into cfg.cAlexei Starovoitov
2026-04-12bpf: Move compute_insn_live_regs() into liveness.cAlexei Starovoitov
2026-04-12bpf: Move fixup/post-processing logic from verifier.c into fixups.cAlexei Starovoitov
2026-04-11bpf: Simplify do_check_insn()Alexei Starovoitov
2026-04-11bpf: Move checks for reserved fields out of the main passAlexei Starovoitov
2026-04-10bpf: Remove gfp_flags plumbing from bpf_local_storage_update()Amery Hung
2026-04-10bpf: Enforce regsafe base id consistency for BPF_ADD_CONST scalarsDaniel Borkmann
2026-04-10bpf: poison dead stack slotsAlexei Starovoitov
2026-04-10bpf: simplify liveness to use (callsite, depth) keyed func_instancesEduard Zingerman
2026-04-10bpf: record arg tracking results in bpf_liveness masksEduard Zingerman
2026-04-10bpf: introduce forward arg-tracking dataflow analysisEduard Zingerman
2026-04-10bpf: 4-byte precise clean_verifier_stateEduard Zingerman
2026-04-10bpf: make liveness.c track stack with 4-byte granularityEduard Zingerman
2026-04-10bpf: save subprogram name in bpf_subprog_infoEduard Zingerman
2026-04-10bpf: share several utility functions as internal APIEduard Zingerman
2026-04-09bpf: Drop pkt_end markers on arithmetic to prevent is_pkt_ptr_branch_takenDaniel Borkmann
2026-04-08bpf: Remove static qualifier from local subprog pointerDaniel Borkmann
2026-04-08bpf: Fix ld_{abs,ind} failure path analysis in subprogsDaniel Borkmann
2026-04-08bpf: Propagate error from visit_tailcall_insnDaniel Borkmann
2026-04-07bpf: Allow overwriting referenced dynptr when refcnt > 1Amery Hung
2026-04-07bpf: Clear delta when clearing reg id for non-{add,sub} opsDaniel Borkmann
2026-04-07bpf: Fix linked reg delta tracking when src_reg == dst_regDaniel Borkmann
2026-04-06bpf: Do not ignore offsets for loads from insn_arraysAnton Protopopov
2026-04-06bpf: 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