summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2024-02-01bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman1-2/+17
2024-02-01bpf: widening for callback iteratorsEduard Zingerman1-2/+22
2024-02-01bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman1-98/+174
2024-02-01bpf: extract setup_func_entry() utility functionEduard Zingerman1-36/+48
2024-02-01bpf: extract __check_reg_arg() utility functionEduard Zingerman1-6/+13
2024-02-01bpf: print full verifier states on infinite loop detectionEduard Zingerman1-0/+4
2024-02-01bpf: correct loop detection for iterators convergenceEduard Zingerman1-4/+203
2024-02-01bpf: exact states comparison for iterator convergence checksEduard Zingerman1-31/+187
2024-02-01bpf: extract same_callsites() as utility functionEduard Zingerman1-5/+15
2024-02-01bpf: move explored_state() closer to the beginning of verifier.cEduard Zingerman1-15/+13
2024-01-26bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun1-0/+4
2024-01-26bpf: Fix accesses to uninit stack slotsAndrei Matei1-39/+26
2024-01-26bpf: Guard stack limits against 32bit overflowAndrei Matei1-3/+3
2024-01-26bpf: Fix verification of indirect var-off stack accessAndrei Matei1-10/+4
2024-01-26bpf: fix check for attempt to corrupt spilled pointerAndrii Nakryiko1-1/+1
2024-01-26bpf: enforce precision of R0 on callback returnAndrii Nakryiko1-0/+7
2023-11-28bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_ENDShung-Hsi Yu1-1/+6
2023-11-28bpf: Fix check_stack_write_fixed_off() to correctly spill immHao Sun1-1/+1
2023-11-28bpf: fix control-flow graph checking in privileged modeAndrii Nakryiko1-15/+8
2023-11-28bpf: fix precision backtracking instruction iterationAndrii Nakryiko1-2/+19
2023-11-28bpf: handle ldimm64 properly in check_cfg()Andrii Nakryiko1-7/+20
2023-11-28bpf: Ensure proper register state printing for cond jumpsAndrii Nakryiko1-1/+6
2023-11-20bpf: Fix kfunc callback register type handlingKumar Kartikeya Dwivedi1-0/+4
2023-11-20bpf, x64: Fix tailcall infinite loopLeon Hwang1-0/+3
2023-10-10bpf: Fix verifier log for async callback return valuesDavid Vernet1-3/+3
2023-09-20bpf: unconditionally reset backtrack_state masks on global func exitAndrii Nakryiko1-5/+3
2023-08-25bpf: Allow bpf_spin_{lock,unlock} in sleepable progsDave Marchevsky1-6/+3
2023-08-25bpf: Consider non-owning refs to refcounted nodes RCU protectedDave Marchevsky1-1/+12
2023-08-25bpf: Reenable bpf_refcount_acquireDave Marchevsky1-4/+1
2023-08-25bpf: Ensure kptr_struct_meta is non-NULL for collection insert and refcount_a...Dave Marchevsky1-0/+14
2023-08-23bpf: Fix issue in verifying allow_ptr_leaksYafang Shao1-8/+9
2023-08-22bpf: Fix check_func_arg_reg_off bug for graph root/nodeKumar Kartikeya Dwivedi1-11/+0
2023-08-22bpf: Fix a bpf_kptr_xchg() issue with local kptrYonghong Song1-10/+15
2023-08-08bpf: Fix an incorrect verification success with movsx insnYonghong Song1-11/+20
2023-08-03net: invert the netdevice.h vs xdp.h dependencyJakub Kicinski1-0/+1
2023-07-28bpf: Fix compilation warning with -WparenthesesYonghong Song1-2/+2
2023-07-28bpf: Support new 32bit offset jmp instructionYonghong Song1-10/+22
2023-07-28bpf: Support new signed div/mod instructions.Yonghong Song1-2/+4
2023-07-28bpf: Support new unconditional bswap instructionYonghong Song1-2/+5
2023-07-28bpf: Handle sign-extenstin ctx member accessesYonghong Song1-0/+6
2023-07-28bpf: Support new sign-extension mov insnsYonghong Song1-26/+131
2023-07-28bpf: Support new sign-extension load insnsYonghong Song1-24/+116
2023-07-21Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-7/+25
2023-07-19bpf: consider CONST_PTR_TO_MAP as trusted pointer to struct bpf_mapAnton Protopopov1-0/+1
2023-07-19bpf: consider types listed in reg2btf_ids as trustedAnton Protopopov1-9/+12
2023-07-19bpf: Repeat check_max_stack_depth for async callbacksKumar Kartikeya Dwivedi1-2/+19
2023-07-19bpf: Fix subprog idx logic in check_max_stack_depthKumar Kartikeya Dwivedi1-5/+6
2023-07-14Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski1-11/+31
2023-07-14bpf: Fix an error around PTR_UNTRUSTEDYafang Shao1-0/+5
2023-07-12bpf: teach verifier actual bounds of bpf_get_smp_processor_id() resultAndrii Nakryiko1-11/+26