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