summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2025-02-18bpf: copy_verifier_state() should copy 'loop_entry' fieldEduard Zingerman
2025-02-17bpf: Allow struct_ops prog to return referenced kptrAmery Hung
2025-02-17bpf: Support getting referenced kptr from struct_ops argumentAmery Hung
2025-02-17bpf: Make every prog keep a copy of ctx_arg_infoAmery Hung
2025-02-14bpf: Fix array bounds error with may_gotoJiayuan Chen
2025-02-13bpf: fs/xattr: Add BPF kfuncs to set and remove xattrsSong Liu
2025-02-07bpf: Handle allocation failure in acquire_lock_stateKumar Kartikeya Dwivedi
2025-02-07bpf: verifier: Disambiguate get_constant_map_key() errorsDaniel Xu
2025-02-07bpf: verifier: Do not extract constant map keys for irrelevant mapsDaniel Xu
2025-01-23Merge tag 'bpf-next-6.14' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds
2025-01-20bpf: Remove 'may_goto 0' instruction in opt_remove_nops()Yonghong Song
2025-01-20bpf: Allow 'may_goto 0' instruction in verifierYonghong Song
2025-01-16bpf: verifier: Support eliding map lookup nullnessDaniel Xu
2025-01-16bpf: verifier: Refactor helper access type trackingDaniel Xu
2025-01-16bpf: verifier: Add missing newline on verbose() callDaniel Xu
2025-01-06bpf: Allow bpf_for/bpf_repeat calls while holding a spinlockEmil Tsalapatis
generated by cgit (git 2.34.1) at 2025-07-25 10:34:20 +0000