summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: Fix an incorrect verification success with movsx insnYonghong Song2023-08-071-11/+20
* net: invert the netdevice.h vs xdp.h dependencyJakub Kicinski2023-08-031-0/+1
* bpf: Fix compilation warning with -WparenthesesYonghong Song2023-07-281-2/+2
* bpf: Support new 32bit offset jmp instructionYonghong Song2023-07-271-10/+22
* bpf: Support new signed div/mod instructions.Yonghong Song2023-07-271-2/+4
* bpf: Support new unconditional bswap instructionYonghong Song2023-07-271-2/+5
* bpf: Handle sign-extenstin ctx member accessesYonghong Song2023-07-271-0/+6
* bpf: Support new sign-extension mov insnsYonghong Song2023-07-271-26/+131
* bpf: Support new sign-extension load insnsYonghong Song2023-07-271-24/+116
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2023-07-201-7/+25
|\
| * bpf: Repeat check_max_stack_depth for async callbacksKumar Kartikeya Dwivedi2023-07-181-2/+19
| * bpf: Fix subprog idx logic in check_max_stack_depthKumar Kartikeya Dwivedi2023-07-181-5/+6
* | bpf: consider CONST_PTR_TO_MAP as trusted pointer to struct bpf_mapAnton Protopopov2023-07-191-0/+1
* | bpf: consider types listed in reg2btf_ids as trustedAnton Protopopov2023-07-191-9/+12
* | Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2023-07-131-11/+31
|\ \ | |/ |/|
| * bpf: Fix an error around PTR_UNTRUSTEDYafang Shao2023-07-131-0/+5
| * bpf: teach verifier actual bounds of bpf_get_smp_processor_id() resultAndrii Nakryiko2023-07-121-11/+26
* | bpf: Fix max stack depth check for async callbacksKumar Kartikeya Dwivedi2023-07-051-2/+3
|/
* Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2023-06-241-35/+213
|\
| * bpf: Verify scalar ids mapping in regsafe() using check_ids()Eduard Zingerman2023-06-131-23/+68
| * bpf: Use scalar ids in mark_chain_precision()Eduard Zingerman2023-06-131-0/+115
| * bpf: Teach verifier that trusted PTR_TO_BTF_ID pointers are non-NULLDavid Vernet2023-06-051-2/+7
| * bpf: Replace open code with for allocated object checkDaniel T. Lee2023-06-051-2/+2
| * bpf: Make bpf_refcount_acquire fallible for non-owning refsDave Marchevsky2023-06-051-8/+18
| * bpf: Set kptr_struct_meta for node param to list and rbtree insert funcsDave Marchevsky2023-06-051-0/+3
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2023-06-221-2/+8
|\ \ | |/ |/|
| * bpf: ensure main program has an extableKrister Johansen2023-06-131-2/+5
| * bpf: Fix verifier id tracking of scalars on spillMaxim Mikityanskiy2023-06-081-0/+3
* | Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2023-05-261-3/+4
|\ \
| * | bpf: Add kfunc filter function to 'struct btf_kfunc_id_set'Aditi Ghag2023-05-191-3/+4
* | | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2023-05-251-1/+1
|\ \ \ | |/ / |/| / | |/
| * bpf: Fix mask generation for 32-bit narrow loads of 64-bit fieldsWill Deacon2023-05-191-1/+1
* | bpf: fix calculation of subseq_idx during precision backtrackingAndrii Nakryiko2023-05-151-6/+8
* | bpf: Remove anonymous union in bpf_kfunc_call_arg_metaDave Marchevsky2023-05-151-19/+22
* | bpf: verifier: Accept dynptr mem as mem in helpersDaniel Rosenberg2023-05-061-0/+4
* | bpf: Allow NULL buffers in bpf_dynptr_slice(_rw)Daniel Rosenberg2023-05-061-4/+13
* | bpf: support precision propagation in the presence of subprogsAndrii Nakryiko2023-05-041-20/+143
* | bpf: fix mark_all_scalars_precise use in mark_chain_precisionAndrii Nakryiko2023-05-041-3/+13
* | bpf: fix propagate_precision() logic for inner framesAndrii Nakryiko2023-05-041-30/+35
* | bpf: maintain bitmasks across all active frames in __mark_chain_precisionAndrii Nakryiko2023-05-041-47/+53
* | bpf: improve precision backtrack loggingAndrii Nakryiko2023-05-041-7/+65
* | bpf: encapsulate precision backtracking bookkeepingAndrii Nakryiko2023-05-041-67/+182
* | bpf: mark relevant stack slots scratched for register read instructionsAndrii Nakryiko2023-05-041-0/+3
* | bpf: Add bpf_dynptr_cloneJoanne Koong2023-04-271-20/+83
|/
* bpf: Add __rcu_read_{lock,unlock} into btf id deny listYafang Shao2023-04-241-0/+4
* bpf: Disable bpf_refcount_acquire kfunc calls until race conditions are fixedDave Marchevsky2023-04-241-1/+4
* Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2023-04-211-142/+213
|\
| * bpf: minimal support for programs hooked into netfilter frameworkFlorian Westphal2023-04-211-0/+3
| * bpf: Improve verifier u32 scalar equality checkingYonghong Song2023-04-171-2/+7
| * bpf: Remove KF_KPTR_GET kfunc flagDavid Vernet2023-04-161-65/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-12 14:14:15 +0000