summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
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
2023-07-06bpf: Fix max stack depth check for async callbacksKumar Kartikeya Dwivedi1-2/+3
2023-06-25Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski1-35/+213
2023-06-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-2/+8
2023-06-14bpf: Verify scalar ids mapping in regsafe() using check_ids()Eduard Zingerman1-23/+68
2023-06-14bpf: Use scalar ids in mark_chain_precision()Eduard Zingerman1-0/+115
2023-06-14bpf: ensure main program has an extableKrister Johansen1-2/+5
2023-06-08bpf: Fix verifier id tracking of scalars on spillMaxim Mikityanskiy1-0/+3
2023-06-06bpf: Teach verifier that trusted PTR_TO_BTF_ID pointers are non-NULLDavid Vernet1-2/+7
2023-06-06bpf: Replace open code with for allocated object checkDaniel T. Lee1-2/+2
2023-06-05bpf: Make bpf_refcount_acquire fallible for non-owning refsDave Marchevsky1-8/+18
2023-06-05bpf: Set kptr_struct_meta for node param to list and rbtree insert funcsDave Marchevsky1-0/+3
2023-05-27Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski1-3/+4
2023-05-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-1/+1
2023-05-20bpf: Add kfunc filter function to 'struct btf_kfunc_id_set'Aditi Ghag1-3/+4
2023-05-19bpf: Fix mask generation for 32-bit narrow loads of 64-bit fieldsWill Deacon1-1/+1
2023-05-15bpf: fix calculation of subseq_idx during precision backtrackingAndrii Nakryiko1-6/+8
2023-05-15bpf: Remove anonymous union in bpf_kfunc_call_arg_metaDave Marchevsky1-19/+22
2023-05-07bpf: verifier: Accept dynptr mem as mem in helpersDaniel Rosenberg1-0/+4
2023-05-07bpf: Allow NULL buffers in bpf_dynptr_slice(_rw)Daniel Rosenberg1-4/+13
2023-05-05bpf: support precision propagation in the presence of subprogsAndrii Nakryiko1-20/+143
2023-05-05bpf: fix mark_all_scalars_precise use in mark_chain_precisionAndrii Nakryiko1-3/+13
2023-05-05bpf: fix propagate_precision() logic for inner framesAndrii Nakryiko1-30/+35
2023-05-05bpf: maintain bitmasks across all active frames in __mark_chain_precisionAndrii Nakryiko1-47/+53
2023-05-05bpf: improve precision backtrack loggingAndrii Nakryiko1-7/+65
2023-05-05bpf: encapsulate precision backtracking bookkeepingAndrii Nakryiko1-67/+182
2023-05-05bpf: mark relevant stack slots scratched for register read instructionsAndrii Nakryiko1-0/+3