aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c (follow)
AgeCommit message (Expand)AuthorFilesLines
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 pointerMartin 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 pointerMartin 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/git/bpf/bpf-nextLinus Torvalds1-42/+206
2025-03-30Merge tag 'bpf-next-6.15' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextLinus 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
2025-03-04x86/smp: Move cpu number to percpu hot sectionBrian Gerst1-2/+2
2025-03-04Merge branch 'x86/cpu' into x86/asm, to pick up dependent commitsIngo Molnar1-8/+23
2025-02-27x86/bpf: Fix BPF percpu accessesBrian Gerst1-1/+1
2025-02-25bpf: Search and add kfuncs in struct_ops prologue and epilogueAmery Hung1-1/+24
2025-02-25bpf: abort verification if env->cur_state->loop_entry != NULLEduard Zingerman1-2/+4
2025-02-23bpf: Refactor check_ctx_access()Amery Hung1-36/+20
2025-02-20bpf: Do not allow tail call in strcut_ops program with __ref argumentAmery Hung1-1/+19
2025-02-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf bpf-6.14-rc4Alexei Starovoitov1-8/+23
2025-02-18bpf: fix env->peak_states computationEduard Zingerman1-2/+13
2025-02-18bpf: free verifier states when they are no longer referencedEduard Zingerman1-24/+67
2025-02-18bpf: use list_head to track explored states and free listEduard Zingerman1-38/+36
2025-02-18bpf: do not update state->loop_entry in get_loop_entry()Eduard Zingerman1-11/+2
2025-02-18bpf: make state->dfs_depth < state->loop_entry->dfs_depth an invariantEduard Zingerman1-3/+3
2025-02-18bpf: detect infinite loop in get_loop_entry()Eduard Zingerman1-18/+21
2025-02-18bpf: don't do clean_live_states when state->loop_entry->branches > 0Eduard Zingerman1-0/+4
2025-02-18bpf: copy_verifier_state() should copy 'loop_entry' fieldEduard Zingerman1-0/+3
2025-02-17bpf: Allow struct_ops prog to return referenced kptrAmery Hung1-4/+32
2025-02-17bpf: Support getting referenced kptr from struct_ops argumentAmery Hung1-3/+32