summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2025-07-07bpf: make makr_btf_ld_reg return error for unexpected reg typesEduard Zingerman
2025-07-03bpf: Avoid putting struct bpf_scc_callchain variables on the stackYonghong Song
2025-07-03bpf: Reduce stack frame size by using env->insn_buf for bpf insnsYonghong Song
2025-07-03bpf: Simplify assignment to struct bpf_insn pointer in do_misc_fixups()Yonghong Song
2025-07-03bpf: Avoid warning on unexpected map for tail callPaul Chaignon
2025-07-03bpf: Introduce BPF standard streamsKumar Kartikeya Dwivedi
2025-07-02bpf: Avoid warning on multiple referenced args in callPaul Chaignon
2025-07-02bpf: avoid jump misprediction for PTR_TO_MEM | PTR_UNTRUSTEDEduard Zingerman
2025-07-01bpf: Warn on internal verifier errorsPaul Chaignon
2025-06-26Merge branch 'vfs-6.17.bpf' of https://git.kernel.org/pub/scm/linux/kernel/gi...Alexei Starovoitov
2025-06-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf after rc3Alexei Starovoitov
2025-06-25bpf: allow void* cast using bpf_rdonly_cast()Eduard Zingerman
2025-06-25bpf: add bpf_features enumEduard Zingerman
2025-06-25bpf: Add range tracking for BPF_NEGSong Liu
2025-06-24bpf, verifier: Improve precision for BPF_ADD and BPF_SUBHarishankar Vishwanathan
2025-06-23bpf: Mark cgroup_subsys_state->cgroup RCU safeSong Liu
2025-06-17bpf: Mark dentry->d_inode as trusted_or_nullSong Liu
2025-06-13bpf: Remove redundant free_verifier_state()/pop_stack()Luis Gerhorst
2025-06-13bpf: handle jset (if a & b ...) as a jump in CFG computationEduard Zingerman
2025-06-13bpf: Include verifier memory allocations in memcg statisticsEduard Zingerman
2025-06-12bpf: Initialize used but uninit variable in propagate_liveness()Song Liu
2025-06-12bpf: Fix state use-after-free on push_stack() errLuis Gerhorst
2025-06-12bpf: include backedges in peak_states statEduard Zingerman
2025-06-12bpf: remove {update,get}_loop_entry functionsEduard Zingerman
2025-06-12bpf: propagate read/precision marks over state graph backedgesEduard Zingerman
2025-06-12bpf: move REG_LIVE_DONE check to clean_live_states()Eduard Zingerman
2025-06-12bpf: set 'changed' status if propagate_liveness() did any updatesEduard Zingerman
2025-06-12bpf: set 'changed' status if propagate_precision() did any updatesEduard Zingerman
2025-06-12bpf: starting_state parameter for __mark_chain_precision()Eduard Zingerman
2025-06-12bpf: frame_insn_idx() utility functionEduard Zingerman
2025-06-12bpf: compute SCCs in program control flow graphEduard Zingerman
2025-06-12Revert "bpf: use common instruction history across all states"Eduard Zingerman
2025-06-09bpf: Fall back to nospec for Spectre v1Luis Gerhorst
2025-06-09bpf: Rename sanitize_stack_spill to nospec_resultLuis Gerhorst
2025-06-09bpf: Return -EFAULT on internal errorsLuis Gerhorst
2025-06-09bpf: Return -EFAULT on misconfigurationsLuis Gerhorst
2025-06-09bpf: Move insn if/else into do_check_insn()Luis Gerhorst
2025-06-09bpf: Make reg_not_null() true for CONST_PTR_TO_MAPIhor Solodrai
2025-06-05bpf: Clarify sanitize_check_bounds()Luis Gerhorst
2025-05-27selftests/bpf: Add tests with stack ptr register in conditional jmpYonghong Song
2025-05-27bpf: Do not include stack ptr register in precision backtracking bookkeepingYonghong Song
2025-05-27bpf: Warn with __bpf_trap() kfunc maybe due to uninitialized variableYonghong Song
2025-05-27bpf: Remove special_kfunc_set from verifierYonghong Song
2025-05-19bpf: WARN_ONCE on verifier bugsPaul Chaignon
2025-05-13bpf: Add support for __prog argument suffix to pass in prog->auxKumar Kartikeya Dwivedi
2025-05-09bpf/verifier: Handle BPF_LOAD_ACQ instructions in insn_def_regno()Peilin Ye
2025-05-06bpf: Add bpf_list_{front,back} kfuncMartin KaFai Lau
2025-05-06bpf: Simplify reg0 marking for the list kfuncs that return a bpf_list_node po...Martin KaFai Lau
2025-05-06bpf: Allow refcounted bpf_rb_node used in bpf_rbtree_{remove,left,right}Martin KaFai Lau
2025-05-06bpf: Add bpf_rbtree_{root,left,right} kfuncMartin KaFai Lau