aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2025-06-12bpf: Fix state use-after-free on push_stack() errLuis Gerhorst1-2/+2
2025-06-12bpf: include backedges in peak_states statEduard Zingerman1-1/+7
2025-06-12bpf: remove {update,get}_loop_entry functionsEduard Zingerman1-164/+1
2025-06-12bpf: propagate read/precision marks over state graph backedgesEduard Zingerman1-68/+384
2025-06-12bpf: move REG_LIVE_DONE check to clean_live_states()Eduard Zingerman1-4/+3
2025-06-12bpf: set 'changed' status if propagate_liveness() did any updatesEduard Zingerman1-2/+7
2025-06-12bpf: set 'changed' status if propagate_precision() did any updatesEduard Zingerman1-12/+23
2025-06-12bpf: starting_state parameter for __mark_chain_precision()Eduard Zingerman1-11/+13
2025-06-12bpf: frame_insn_idx() utility functionEduard Zingerman1-3/+10
2025-06-12bpf: compute SCCs in program control flow graphEduard Zingerman1-0/+182
2025-06-12Revert "bpf: use common instruction history across all states"Eduard Zingerman1-53/+56
2025-06-09bpf: Fall back to nospec for Spectre v1Luis Gerhorst1-4/+74
2025-06-09bpf: Rename sanitize_stack_spill to nospec_resultLuis Gerhorst1-2/+2
2025-06-09bpf: Return -EFAULT on internal errorsLuis Gerhorst1-3/+3
2025-06-09bpf: Return -EFAULT on misconfigurationsLuis Gerhorst1-18/+18
2025-06-09bpf: Move insn if/else into do_check_insn()Luis Gerhorst1-205/+223
2025-06-09bpf: Make reg_not_null() true for CONST_PTR_TO_MAPIhor Solodrai1-1/+2
2025-06-05bpf: Clarify sanitize_check_bounds()Luis Gerhorst1-4/+12
2025-05-27selftests/bpf: Add tests with stack ptr register in conditional jmpYonghong Song1-2/+5
2025-05-27bpf: Do not include stack ptr register in precision backtracking bookkeepingYonghong Song1-2/+16
2025-05-27bpf: Warn with __bpf_trap() kfunc maybe due to uninitialized variableYonghong Song1-0/+5
2025-05-27bpf: Remove special_kfunc_set from verifierYonghong Song1-197/+177
2025-05-19bpf: WARN_ONCE on verifier bugsPaul Chaignon1-81/+60
2025-05-13bpf: Add support for __prog argument suffix to pass in prog->auxKumar Kartikeya Dwivedi1-6/+27
2025-05-09bpf/verifier: Handle BPF_LOAD_ACQ instructions in insn_def_regno()Peilin Ye1-6/+6
2025-05-06bpf: Add bpf_list_{front,back} kfuncMartin KaFai Lau1-2/+10
2025-05-06bpf: Simplify reg0 marking for the list kfuncs that return a bpf_list_node po...Martin KaFai Lau1-2/+6
2025-05-06bpf: Allow refcounted bpf_rb_node used in bpf_rbtree_{remove,left,right}Martin KaFai Lau1-2/+2
2025-05-06bpf: Add bpf_rbtree_{root,left,right} kfuncMartin KaFai Lau1-4/+18
2025-05-06bpf: Simplify reg0 marking for the rbtree kfuncs that return a bpf_rb_node po...Martin KaFai Lau1-3/+7
2025-05-06bpf: Check KF_bpf_rbtree_add_impl for the "case KF_ARG_PTR_TO_RB_NODE"Martin KaFai Lau1-9/+9
2025-03-30Merge tag 'bpf_res_spin_lock' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds1-42/+206
2025-03-30Merge tag 'bpf-next-6.15' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds1-324/+1034
2025-03-22bpf: Fix out-of-bounds read in check_atomic_load/store()Kohei Enju1-2/+14
2025-03-20bpf: Add struct_ops context information to struct bpf_prog_auxJuntong Deng1-2/+6
2025-03-19bpf: Maintain FIFO property for rqspinlock unlockKumar Kartikeya Dwivedi1-5/+28
2025-03-19bpf: Implement verifier support for rqspinlockKumar Kartikeya Dwivedi1-39/+180
2025-03-18bpf: clarify a misleading verifier error messageAndrea Terzolo1-1/+1
2025-03-18bpf: Reject attaching fexit/fmod_ret to __noreturn functionsYafang Shao1-0/+32
2025-03-15bpf: correct use/def for may_goto instructionEduard Zingerman1-0/+1
2025-03-15bpf: use register liveness information for func_states_equalEduard Zingerman1-4/+10
2025-03-15bpf: simple DFA-based live registers analysisEduard Zingerman1-6/+314
2025-03-15bpf: get_call_summary() utility functionEduard Zingerman1-64/+57
2025-03-15bpf: jmp_offset() and verbose_insn() utility functionsEduard Zingerman1-17/+23
2025-03-15bpf: Introduce load-acquire and store-release instructionsPeilin Ye1-3/+52
2025-03-15bpf: Add verifier support for timed may_gotoKumar Kartikeya Dwivedi1-8/+61
2025-03-15bpf: Factor out check_load_mem() and check_store_reg()Peilin Ye1-43/+67
2025-03-15bpf: Factor out check_atomic_rmw()Peilin Ye1-24/+29
2025-03-15bpf: Factor out atomic_ptr_type_ok()Peilin Ye1-5/+21
2025-03-15bpf: Summarize sleepable global subprogsKumar Kartikeya Dwivedi1-14/+48