summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2 daysMerge tag 'vfs-6.17-rc1.bpf' of git://git.kernel.org/pub/scm/linux/kernel/git...Linus Torvalds
2025-07-02bpf: Mark cgroup_subsys_state->cgroup RCU safeSong Liu
2025-06-17bpf: Mark dentry->d_inode as trusted_or_nullSong Liu
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
2025-05-06bpf: Simplify reg0 marking for the rbtree kfuncs that return a bpf_rb_node po...Martin KaFai Lau
2025-05-06bpf: Check KF_bpf_rbtree_add_impl for the "case KF_ARG_PTR_TO_RB_NODE"Martin KaFai Lau
2025-03-30Merge tag 'bpf_res_spin_lock' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds
2025-03-30Merge tag 'bpf-next-6.15' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds
2025-03-22bpf: Fix out-of-bounds read in check_atomic_load/store()Kohei Enju
2025-03-20bpf: Add struct_ops context information to struct bpf_prog_auxJuntong Deng
2025-03-19bpf: Maintain FIFO property for rqspinlock unlockKumar Kartikeya Dwivedi
2025-03-19bpf: Implement verifier support for rqspinlockKumar Kartikeya Dwivedi
2025-03-18bpf: clarify a misleading verifier error messageAndrea Terzolo
2025-03-18bpf: Reject attaching fexit/fmod_ret to __noreturn functionsYafang Shao
2025-03-15bpf: correct use/def for may_goto instructionEduard Zingerman
2025-03-15bpf: use register liveness information for func_states_equalEduard Zingerman
2025-03-15bpf: simple DFA-based live registers analysisEduard Zingerman
2025-03-15bpf: get_call_summary() utility functionEduard Zingerman
2025-03-15bpf: jmp_offset() and verbose_insn() utility functionsEduard Zingerman
2025-03-15bpf: Introduce load-acquire and store-release instructionsPeilin Ye
2025-03-15bpf: Add verifier support for timed may_gotoKumar Kartikeya Dwivedi
2025-03-15bpf: Factor out check_load_mem() and check_store_reg()Peilin Ye
2025-03-15bpf: Factor out check_atomic_rmw()Peilin Ye
2025-03-15bpf: Factor out atomic_ptr_type_ok()Peilin Ye
2025-03-15bpf: Summarize sleepable global subprogsKumar Kartikeya Dwivedi
2025-03-04x86/smp: Move cpu number to percpu hot sectionBrian Gerst
2025-03-04Merge branch 'x86/cpu' into x86/asm, to pick up dependent commitsIngo Molnar
2025-02-27x86/bpf: Fix BPF percpu accessesBrian Gerst
2025-02-25bpf: Search and add kfuncs in struct_ops prologue and epilogueAmery Hung
2025-02-25bpf: abort verification if env->cur_state->loop_entry != NULLEduard Zingerman
2025-02-23bpf: Refactor check_ctx_access()Amery Hung
2025-02-20bpf: Do not allow tail call in strcut_ops program with __ref argumentAmery Hung
2025-02-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf bpf-6.14-rc4Alexei Starovoitov
2025-02-18bpf: fix env->peak_states computationEduard Zingerman
2025-02-18bpf: free verifier states when they are no longer referencedEduard Zingerman
2025-02-18bpf: use list_head to track explored states and free listEduard Zingerman
2025-02-18bpf: do not update state->loop_entry in get_loop_entry()Eduard Zingerman
2025-02-18bpf: make state->dfs_depth < state->loop_entry->dfs_depth an invariantEduard Zingerman
2025-02-18bpf: detect infinite loop in get_loop_entry()Eduard Zingerman
2025-02-18bpf: don't do clean_live_states when state->loop_entry->branches > 0Eduard Zingerman