aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2024-08-12bpf: Fix a kernel verifier crash in stacksafe()Yonghong Song1-2/+3
2024-07-21Merge tag 'mm-stable-2024-07-21-14-50' of git://git.kernel.org/pub/scm/linux/kernel/git/akpm/mmLinus 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
2024-07-09bpf: relax zero fixed offset constraint on KF_TRUSTED_ARGS/KF_RCUMatt Bobrowski1-6/+3
2024-07-09Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextPaolo Abeni1-26/+114
2024-07-02bpf: Fix atomic probe zero-extensionIlya Leoshkevich1-1/+2
2024-06-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-3/+58
2024-06-26bpf: add missing check_func_arg_reg_off() to prevent out-of-bounds memory accessesMatt Bobrowski1-6/+11
2024-06-24bpf: Fix may_goto with negative offset.Alexei Starovoitov1-3/+6
2024-06-21bpf: Fix the corner case with may_goto and jump to the 1st insn.Alexei Starovoitov1-0/+50
2024-06-20bpf: remove unused parameter in __bpf_free_used_btfsRafael Passos1-2/+1
2024-06-20bpf, verifier: Correct tail_call_reachable for bpf progLeon Hwang1-1/+3
2024-06-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-9/+16
2024-06-17bpf: Add missed var_off setting in coerce_subreg_to_size_sx()Yonghong Song1-0/+1
2024-06-17bpf: Add missed var_off setting in set_sext32_default_val()Yonghong Song1-0/+1
2024-06-14bpf: Track delta between "linked" registers.Alexei Starovoitov1-11/+84
2024-06-13bpf: verifier: make kfuncs args nullalbleVadim Fedorenko1-3/+3
2024-06-13bpf: fix UML x86_64 compile failureMaciej Żenczykowski1-1/+1
2024-06-13bpf: Reduce stack consumption in check_stack_write_fixed_offDaniel Borkmann1-4/+5
2024-06-13bpf: Fix reg_set_min_max corruption of fake_regDaniel Borkmann1-4/+10
2024-06-12bpf: treewide: Align kfunc signatures to prog point-of-viewDaniel Xu1-1/+1
2024-06-12bpf: verifier: Relax caller requirements for kfunc projection type argsDaniel Xu1-1/+9
2024-06-10Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-2/+2
2024-06-03bpf: Remove unnecessary call to btf_field_type_size().Kui-Feng Lee1-1/+1
2024-06-03bpf: Remove unnecessary checks on the offset of btf_field.Kui-Feng Lee1-1/+1
2024-05-31bpf: Fix bpf_session_cookie BTF_ID in special_kfunc_set listJiri Olsa1-0/+4
2024-05-27bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki1-3/+7
2024-05-13Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-70/+70
2024-05-12riscv, bpf: inline bpf_get_smp_processor_id()Puranjay Mohan1-0/+4
2024-05-06bpf/verifier: relax MUL range computation checkCupertino Miranda1-5/+1
2024-05-06bpf/verifier: improve XOR and OR range computationCupertino Miranda1-2/+2
2024-05-06bpf/verifier: refactor checks for range computationCupertino Miranda1-64/+45
2024-05-06bpf/verifier: replace calls to mark_reg_unknown.Cupertino Miranda1-5/+4
2024-05-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-2/+31
2024-04-30bpf: Add support for kprobe session cookieJiri Olsa1-0/+7
2024-04-29bpf: Fix verifier assumptions about socket->skAlexei Starovoitov1-5/+18
2024-04-29Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-102/+383
2024-04-26bpf: verifier: prevent userspace memory accessPuranjay Mohan1-0/+30
2024-04-24bpf: make common crypto API for TC/XDP programsVadim Fedorenko1-0/+1
2024-04-24bpf: Introduce bpf_preempt_[disable,enable] kfuncsKumar Kartikeya Dwivedi1-2/+69
2024-04-23bpf: wq: add bpf_wq_set_callback_implBenjamin Tissoires1-6/+54
2024-04-23bpf: add support for KF_ARG_PTR_TO_WORKQUEUEBenjamin Tissoires1-0/+65
2024-04-23bpf: verifier: bail out if the argument is not a mapBenjamin Tissoires1-0/+5
2024-04-23bpf: add support for bpf_wq user typeBenjamin Tissoires1-0/+9
2024-04-22bpf: Fix typos in commentsRafael Passos1-6/+6
2024-04-22bpf: Fix typo in function save_aux_ptr_typeRafael Passos1-3/+3