summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2024-11-08bpf: Force checkpoint when jmp history is too longEduard Zingerman
2024-11-01bpf: fix do_misc_fixups() for bpf_get_branch_snapshot()Andrii Nakryiko
2024-11-01bpf: Fix overloading of MEM_UNINIT's meaningDaniel Borkmann
2024-11-01bpf: Fix incorrect delta propagation between linked registersDaniel Borkmann
2024-11-01bpf: Fix truncation bug in coerce_reg_to_size_sx()Dimitar Kanaliev
2024-11-01bpf: fix kfunc btf caching for modulesToke Høiland-Jørgensen
2024-11-01bpf: sync_linked_regs() must preserve subreg_defEduard Zingerman
2024-10-10bpf: Fix a sdiv overflow issueYonghong Song
2024-10-10bpf: Make the pointer returned by iter next method validJuntong Deng
2024-10-04bpf: Improve check_raw_mode_ok test for MEM_UNINIT-tagged typesDaniel Borkmann
2024-10-04bpf: Fix helper writes to read-only mapsDaniel Borkmann
2024-10-04bpf: Fail verification for sign-extension of packet data/data_end/data_metaYonghong Song
2024-10-04bpf: Fix compare error in function retval_range_withinXu Kuohai
2024-10-04bpf, lsm: Add check for BPF LSM return valueXu Kuohai
2024-08-12bpf: Fix a kernel verifier crash in stacksafe()Yonghong Song
2024-07-21Merge tag 'mm-stable-2024-07-21-14-50' of git://git.kernel.org/pub/scm/linux/...Linus Torvalds
2024-07-17mm, page_alloc: put should_fail_alloc_page() back behing CONFIG_FAIL_PAGE_ALLOCVlastimil Babka
2024-07-17mm, slab: put should_failslab() back behind CONFIG_SHOULD_FAILSLABVlastimil Babka
2024-07-12bpf: use check_sub_overflow() to check for subtraction overflowsShung-Hsi Yu
2024-07-12bpf: use check_add_overflow() to check for addition overflowsShung-Hsi Yu
2024-07-12bpf: fix overflow check in adjust_jmp_off()Shung-Hsi Yu
2024-07-09bpf: relax zero fixed offset constraint on KF_TRUSTED_ARGS/KF_RCUMatt Bobrowski
2024-07-09Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Paolo Abeni
2024-07-02bpf: Fix atomic probe zero-extensionIlya Leoshkevich
2024-06-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2024-06-26bpf: add missing check_func_arg_reg_off() to prevent out-of-bounds memory acc...Matt Bobrowski
2024-06-24bpf: Fix may_goto with negative offset.Alexei Starovoitov
2024-06-21bpf: Fix the corner case with may_goto and jump to the 1st insn.Alexei Starovoitov
2024-06-20bpf: remove unused parameter in __bpf_free_used_btfsRafael Passos
2024-06-20bpf, verifier: Correct tail_call_reachable for bpf progLeon Hwang
2024-06-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2024-06-17bpf: Add missed var_off setting in coerce_subreg_to_size_sx()Yonghong Song
2024-06-17bpf: Add missed var_off setting in set_sext32_default_val()Yonghong Song
2024-06-14bpf: Track delta between "linked" registers.Alexei Starovoitov
2024-06-13bpf: verifier: make kfuncs args nullalbleVadim Fedorenko
2024-06-13bpf: fix UML x86_64 compile failureMaciej Żenczykowski
2024-06-13bpf: Reduce stack consumption in check_stack_write_fixed_offDaniel Borkmann
2024-06-13bpf: Fix reg_set_min_max corruption of fake_regDaniel Borkmann
2024-06-12bpf: treewide: Align kfunc signatures to prog point-of-viewDaniel Xu
2024-06-12bpf: verifier: Relax caller requirements for kfunc projection type argsDaniel Xu
2024-06-10Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2024-06-03bpf: Remove unnecessary call to btf_field_type_size().Kui-Feng Lee
2024-06-03bpf: Remove unnecessary checks on the offset of btf_field.Kui-Feng Lee
2024-05-31bpf: Fix bpf_session_cookie BTF_ID in special_kfunc_set listJiri Olsa
2024-05-27bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki
2024-05-13Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2024-05-12riscv, bpf: inline bpf_get_smp_processor_id()Puranjay Mohan
2024-05-06bpf/verifier: relax MUL range computation checkCupertino Miranda
2024-05-06bpf/verifier: improve XOR and OR range computationCupertino Miranda
2024-05-06bpf/verifier: refactor checks for range computationCupertino Miranda