aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2024-10-29bpf: disallow 40-bytes extra stack for bpf_fastcall patternsEduard Zingerman1-12/+2
2024-10-29bpf: Force checkpoint when jmp history is too longEduard Zingerman1-3/+6
2024-10-23bpf: fix do_misc_fixups() for bpf_get_branch_snapshot()Andrii Nakryiko1-1/+1
2024-10-22bpf: Fix overloading of MEM_UNINIT's meaningDaniel Borkmann1-38/+35
2024-10-17bpf: Fix incorrect delta propagation between linked registersDaniel Borkmann1-5/+6
2024-10-15bpf: Fix truncation bug in coerce_reg_to_size_sx()Dimitar Kanaliev1-4/+4
2024-10-10bpf: fix kfunc btf caching for modulesToke Høiland-Jørgensen1-1/+7
2024-10-09bpf: use kvzmalloc to allocate BPF verifier environmentRik van Riel1-2/+2
2024-10-01bpf: sync_linked_regs() must preserve subreg_defEduard Zingerman1-0/+5
2024-09-24Merge tag 'bpf-next-6.12-struct-fd' of git://git.kernel.org/pub/scm/linux/ker...Linus Torvalds1-49/+61
2024-09-21Merge tag 'bpf-next-6.12' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds1-295/+996
2024-09-13bpf: Improve check_raw_mode_ok test for MEM_UNINIT-tagged typesDaniel Borkmann1-5/+11
2024-09-13bpf: Fix helper writes to read-only mapsDaniel Borkmann1-36/+5
2024-09-13bpf: Fix a sdiv overflow issueYonghong Song1-4/+89
2024-09-11bpf: Support __nullable argument suffix for tp_btfPhilo Lu1-4/+32
2024-09-09bpf: Fix error message on kfunc arg type mismatchMaxim Mikityanskiy1-1/+2
2024-09-05bpf: use type_may_be_null() helper for nullable-param checkShung-Hsi Yu1-5/+0
2024-09-04bpf: Fix indentation issue in epilogue_idxMartin KaFai Lau1-1/+1
2024-09-04bpf: Remove the insn_buf array stack usage from the inline_bpf_loop()Martin KaFai Lau1-41/+42
2024-08-29bpf: Make the pointer returned by iter next method validJuntong Deng1-4/+22
2024-08-29bpf: Add gen_epilogue to bpf_verifier_opsMartin KaFai Lau1-1/+45
2024-08-29bpf: Adjust BPF_JMP that jumps to the 1st insn of the prologueMartin KaFai Lau1-0/+6
2024-08-29bpf: Move insn_buf[16] to bpf_verifier_envMartin KaFai Lau1-7/+8
2024-08-28bpf: Relax KF_ACQUIRE kfuncs strict type matching constraintJuntong Deng1-2/+1
2024-08-23bpf: Support bpf_kptr_xchg into local kptrDave Marchevsky1-14/+30
2024-08-23bpf: Rename ARG_PTR_TO_KPTR -> ARG_KPTR_XCHG_DESTDave Marchevsky1-3/+3
2024-08-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov1-2/+3
2024-08-22bpf: allow bpf_fastcall for bpf_cast_to_kern_ctx and bpf_rdonly_castEduard Zingerman1-0/+3
2024-08-22bpf: support bpf_fastcall patterns for kfuncsEduard Zingerman1-1/+34
2024-08-22bpf: rename nocsr -> bpf_fastcall in verifierEduard Zingerman1-72/+71
2024-08-21bpf: allow passing struct bpf_iter_<type> as kfunc argumentsAndrii Nakryiko1-11/+24
2024-08-13bpf: switch maps to CLASS(fd, ...)Al Viro1-6/+1
2024-08-13bpf: factor out fetching bpf_map from FD and adding it to used_maps listAndrii Nakryiko1-49/+66
2024-08-12bpf: Fix a kernel verifier crash in stacksafe()Yonghong Song1-2/+3
2024-07-29bpf, x86, riscv, arm: no_caller_saved_registers for bpf_get_smp_processor_id()Eduard Zingerman1-2/+9
2024-07-29bpf: no_caller_saved_registers attribute for helper callsEduard Zingerman1-3/+314
2024-07-29bpf: add a get_helper_proto() utility functionEduard Zingerman1-7/+18
2024-07-29bpf: Get better reg range with ldsx and 32bit compareYonghong Song1-0/+38
2024-07-29bpf: Fail verification for sign-extension of packet data/data_end/data_metaYonghong Song1-2/+3
2024-07-29bpf: Fix compare error in function retval_range_withinXu Kuohai1-5/+11
2024-07-29bpf, lsm: Add check for BPF LSM return valueXu Kuohai1-9/+51
2024-07-29bpf: Check unsupported ops from the bpf_struct_ops's cfi_stubsMartin KaFai Lau1-1/+9
2024-07-29bpf: Remove mark_precise_scalar_ids()Eduard Zingerman1-115/+0
2024-07-29bpf: Track equal scalars history on per-instruction levelEduard Zingerman1-21/+224
2024-07-21Merge tag 'mm-stable-2024-07-21-14-50' of git://git.kernel.org/pub/scm/linux/...Linus Torvalds1-0/+4
2024-07-17mm, page_alloc: put should_fail_alloc_page() back behing CONFIG_FAIL_PAGE_ALLOCVlastimil Babka1-0/+2
2024-07-17mm, slab: put should_failslab() back behind CONFIG_SHOULD_FAILSLABVlastimil Babka1-0/+2
2024-07-12bpf: use check_sub_overflow() to check for subtraction overflowsShung-Hsi Yu1-43/+14
2024-07-12bpf: use check_add_overflow() to check for addition overflowsShung-Hsi Yu1-80/+34
2024-07-12bpf: fix overflow check in adjust_jmp_off()Shung-Hsi Yu1-1/+1