aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/kernel/bpf/verifier.c (follow)
AgeCommit message (Expand)AuthorFilesLines
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
2025-02-17bpf: Make every prog keep a copy of ctx_arg_infoAmery Hung1-10/+12
2025-02-14bpf: Fix array bounds error with may_gotoJiayuan Chen1-0/+7
2025-02-13bpf: fs/xattr: Add BPF kfuncs to set and remove xattrsSong Liu1-0/+21
2025-02-07bpf: Handle allocation failure in acquire_lock_stateKumar Kartikeya Dwivedi1-0/+2
2025-02-07bpf: verifier: Disambiguate get_constant_map_key() errorsDaniel Xu1-8/+17
2025-02-07bpf: verifier: Do not extract constant map keys for irrelevant mapsDaniel Xu1-3/+7
2025-01-23Merge tag 'bpf-next-6.14' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextLinus Torvalds1-346/+826
2025-01-20bpf: Remove 'may_goto 0' instruction in opt_remove_nops()Yonghong Song1-3/+8
2025-01-20bpf: Allow 'may_goto 0' instruction in verifierYonghong Song1-3/+2
2025-01-16bpf: verifier: Support eliding map lookup nullnessDaniel Xu1-3/+89
2025-01-16bpf: verifier: Refactor helper access type trackingDaniel Xu1-29/+16
2025-01-16bpf: verifier: Add missing newline on verbose() callDaniel Xu1-1/+1
2025-01-06bpf: Allow bpf_for/bpf_repeat calls while holding a spinlockEmil Tsalapatis1-1/+19