summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
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
2023-04-27bpf: Add bpf_dynptr_cloneJoanne Koong1-20/+83
2023-04-25bpf: Add __rcu_read_{lock,unlock} into btf id deny listYafang Shao1-0/+4
2023-04-25bpf: Disable bpf_refcount_acquire kfunc calls until race conditions are fixedDave Marchevsky1-1/+4
2023-04-22Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski1-142/+213
2023-04-21bpf: minimal support for programs hooked into netfilter frameworkFlorian Westphal1-0/+3
2023-04-21Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-0/+15
2023-04-19bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann1-0/+15
2023-04-18bpf: Improve verifier u32 scalar equality checkingYonghong Song1-2/+7
2023-04-16bpf: Remove KF_KPTR_GET kfunc flagDavid Vernet1-65/+0
2023-04-16bpf: Migrate bpf_rbtree_remove to possibly failDave Marchevsky1-3/+0
2023-04-16bpf: Migrate bpf_rbtree_add and bpf_list_push_{front,back} to possibly failDave Marchevsky1-23/+55
2023-04-16bpf: Add bpf_refcount_acquire kfuncDave Marchevsky1-11/+63
2023-04-14bpf: Support 64-bit pointers to kfuncsIlya Leoshkevich1-40/+83
2023-04-14bpf: Add preempt_count_{sub,add} into btf id deny listYafang1-0/+4
2023-04-11bpf: Simplify internal verifier log interfaceAndrii Nakryiko1-23/+16
2023-04-11bpf: Add log_true_size output field to return necessary log buffer sizeAndrii Nakryiko1-1/+7
2023-04-11bpf: Simplify logging-related error conditions handlingAndrii Nakryiko1-4/+2
2023-04-11bpf: Avoid incorrect -EFAULT error in BPF_LOG_KERNEL modeAndrii Nakryiko1-1/+1
2023-04-11bpf: Switch BPF verifier log to be a rotating log by defaultAndrii Nakryiko1-9/+10
2023-04-11bpf: Split off basic BPF verifier log into separate fileAndrii Nakryiko1-69/+0
2023-04-07bpf: Improve handling of pattern '<const> <cond_op> <non_const>' in verifierYonghong Song1-0/+12
2023-04-07bpf: Improve verifier JEQ/JNE insn branch taken checkingYonghong Song1-0/+8
2023-04-05bpf: Undo strict enforcement for walking untagged fields.Alexei Starovoitov1-3/+8
2023-04-05bpf: Allowlist few fields similar to __rcu tag.Alexei Starovoitov1-2/+37
2023-04-05bpf: Refactor NULL-ness check in check_reg_type().Alexei Starovoitov1-4/+8