summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2023-07-18bpf: Repeat check_max_stack_depth for async callbacksKumar Kartikeya Dwivedi
2023-07-18bpf: Fix subprog idx logic in check_max_stack_depthKumar Kartikeya Dwivedi
2023-07-05bpf: Fix max stack depth check for async callbacksKumar Kartikeya Dwivedi
2023-06-24Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2023-06-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-06-13bpf: Verify scalar ids mapping in regsafe() using check_ids()Eduard Zingerman
2023-06-13bpf: Use scalar ids in mark_chain_precision()Eduard Zingerman
2023-06-13bpf: ensure main program has an extableKrister Johansen
2023-06-08bpf: Fix verifier id tracking of scalars on spillMaxim Mikityanskiy
2023-06-05bpf: Teach verifier that trusted PTR_TO_BTF_ID pointers are non-NULLDavid Vernet
2023-06-05bpf: Replace open code with for allocated object checkDaniel T. Lee
2023-06-05bpf: Make bpf_refcount_acquire fallible for non-owning refsDave Marchevsky
2023-06-05bpf: Set kptr_struct_meta for node param to list and rbtree insert funcsDave Marchevsky
2023-05-26Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2023-05-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-05-19bpf: Add kfunc filter function to 'struct btf_kfunc_id_set'Aditi Ghag
2023-05-19bpf: Fix mask generation for 32-bit narrow loads of 64-bit fieldsWill Deacon
2023-05-15bpf: fix calculation of subseq_idx during precision backtrackingAndrii Nakryiko
2023-05-15bpf: Remove anonymous union in bpf_kfunc_call_arg_metaDave Marchevsky
2023-05-06bpf: verifier: Accept dynptr mem as mem in helpersDaniel Rosenberg
2023-05-06bpf: Allow NULL buffers in bpf_dynptr_slice(_rw)Daniel Rosenberg
2023-05-04bpf: support precision propagation in the presence of subprogsAndrii Nakryiko
2023-05-04bpf: fix mark_all_scalars_precise use in mark_chain_precisionAndrii Nakryiko
2023-05-04bpf: fix propagate_precision() logic for inner framesAndrii Nakryiko
2023-05-04bpf: maintain bitmasks across all active frames in __mark_chain_precisionAndrii Nakryiko
2023-05-04bpf: improve precision backtrack loggingAndrii Nakryiko
2023-05-04bpf: encapsulate precision backtracking bookkeepingAndrii Nakryiko
2023-05-04bpf: mark relevant stack slots scratched for register read instructionsAndrii Nakryiko
2023-04-27bpf: Add bpf_dynptr_cloneJoanne Koong
2023-04-24bpf: Add __rcu_read_{lock,unlock} into btf id deny listYafang Shao
2023-04-24bpf: Disable bpf_refcount_acquire kfunc calls until race conditions are fixedDave Marchevsky
2023-04-21Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2023-04-21bpf: minimal support for programs hooked into netfilter frameworkFlorian Westphal
2023-04-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-04-19bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann
2023-04-17bpf: Improve verifier u32 scalar equality checkingYonghong Song
2023-04-16bpf: Remove KF_KPTR_GET kfunc flagDavid Vernet
2023-04-15bpf: Migrate bpf_rbtree_remove to possibly failDave Marchevsky
2023-04-15bpf: Migrate bpf_rbtree_add and bpf_list_push_{front,back} to possibly failDave Marchevsky
2023-04-15bpf: Add bpf_refcount_acquire kfuncDave Marchevsky
2023-04-13bpf: Support 64-bit pointers to kfuncsIlya Leoshkevich
2023-04-13bpf: Add preempt_count_{sub,add} into btf id deny listYafang
2023-04-11bpf: Simplify internal verifier log interfaceAndrii Nakryiko
2023-04-11bpf: Add log_true_size output field to return necessary log buffer sizeAndrii Nakryiko
2023-04-11bpf: Simplify logging-related error conditions handlingAndrii Nakryiko
2023-04-11bpf: Avoid incorrect -EFAULT error in BPF_LOG_KERNEL modeAndrii Nakryiko
2023-04-11bpf: Switch BPF verifier log to be a rotating log by defaultAndrii Nakryiko
2023-04-11bpf: Split off basic BPF verifier log into separate fileAndrii Nakryiko
2023-04-06bpf: Improve handling of pattern '<const> <cond_op> <non_const>' in verifierYonghong Song
2023-04-06bpf: Improve verifier JEQ/JNE insn branch taken checkingYonghong Song