summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman2023-01-191-7/+18
* bpf: Fix pointer-leak due to insufficient speculative store bypass mitigationLuis Gerhorst2023-01-131-1/+3
* bpf: Skip invalid kfunc call in backtrack_insnHao Sun2023-01-061-0/+6
* bpf: Always use maximal size for copy_array()Kees Cook2022-12-281-5/+7
* bpf: fix nullness propagation for reg to reg comparisonsHao Sun2022-12-221-1/+8
* bpf: use check_ids() for active_lock comparisonEduard Zingerman2022-12-101-3/+13
* bpf: states_equal() must build idmap for all function framesEduard Zingerman2022-12-101-1/+2
* bpf: regsafe() must not skip check_ids()Eduard Zingerman2022-12-101-21/+8
* bpf: Move PTR_TO_STACK alignment check to process_dynptr_funcKumar Kartikeya Dwivedi2022-12-081-5/+8
* bpf: Rework check_func_arg_reg_offKumar Kartikeya Dwivedi2022-12-081-25/+38
* bpf: Rework process_dynptr_funcKumar Kartikeya Dwivedi2022-12-081-58/+169
* bpf: Propagate errors from process_* checks in check_func_argKumar Kartikeya Dwivedi2022-12-081-10/+15
* bpf: Refactor ARG_PTR_TO_DYNPTR checks into process_dynptr_funcKumar Kartikeya Dwivedi2022-12-081-64/+70
* bpf: Fix comment error in fixup_kfunc_call functionYang Jihong2022-12-081-1/+1
* bpf: Do not zero-extend kfunc return valuesBjörn Töpel2022-12-081-0/+4
* bpf: Remove unused insn_cnt argument from visit_[func_call_]insn()Andrii Nakryiko2022-12-071-6/+5
* Merge "do not rely on ALLOW_ERROR_INJECTION for fmod_ret" into bpf-nextAlexei Starovoitov2022-12-071-2/+15
|\
| * bpf: do not rely on ALLOW_ERROR_INJECTION for fmod_retBenjamin Tissoires2022-12-071-2/+15
* | bpf: remove unnecessary prune and jump pointsAndrii Nakryiko2022-12-061-24/+10
* | bpf: mostly decouple jump history management from is_state_visited()Andrii Nakryiko2022-12-061-23/+26
* | bpf: decouple prune and jump pointsAndrii Nakryiko2022-12-061-14/+43
* | bpf: Loosen alloc obj test in verifier's reg_btf_recordDave Marchevsky2022-12-061-1/+6
* | bpf: Enable sleeptable support for cgrp local storageYonghong Song2022-12-041-1/+2
* | bpf: Handle MEM_RCU type properlyYonghong Song2022-12-041-13/+32
* | bpf: Fix release_on_unlock release logic for multiple refsDave Marchevsky2022-12-011-1/+1
* | bpf: Tighten ptr_to_btf_id checks.Alexei Starovoitov2022-11-301-3/+14
* | Daniel Borkmann says:Jakub Kicinski2022-11-281-117/+1414
|\ \
| * | bpf: Don't mark arguments to fentry/fexit programs as trusted.Alexei Starovoitov2022-11-241-3/+0
| * | bpf: Add kfunc bpf_rcu_read_lock/unlock()Yonghong Song2022-11-241-29/+133
| * | bpf: Introduce might_sleep field in bpf_func_protoYonghong Song2022-11-241-0/+5
| * | bpf/verifier: Use kmalloc_size_roundup() to match ksize() usageKees Cook2022-11-211-4/+8
| * | bpf: Add a kfunc for generic type castYonghong Song2022-11-201-2/+18
| * | bpf: Add a kfunc to type cast from bpf uapi ctx to kernel ctxYonghong Song2022-11-201-0/+22
| * | bpf: Disallow bpf_obj_new_impl call when bpf_mem_alloc_init failsKumar Kartikeya Dwivedi2022-11-201-0/+3
| * | bpf: Allow trusted pointers to be passed to KF_TRUSTED_ARGS kfuncsDavid Vernet2022-11-201-12/+57
| * | bpf: Allow multiple modifiers in reg_type_str() prefixDavid Vernet2022-11-201-11/+8
| * | bpf: Add 'release on unlock' logic for bpf_list_push_{front,back}Kumar Kartikeya Dwivedi2022-11-171-1/+57
| * | bpf: Introduce single ownership BPF linked list APIKumar Kartikeya Dwivedi2022-11-171-8/+267
| * | bpf: Permit NULL checking pointer with non-zero fixed offsetKumar Kartikeya Dwivedi2022-11-171-9/+12
| * | bpf: Introduce bpf_obj_dropKumar Kartikeya Dwivedi2022-11-171-11/+55
| * | bpf: Introduce bpf_obj_newKumar Kartikeya Dwivedi2022-11-171-8/+94
| * | bpf: Support constant scalar arguments for kfuncsKumar Kartikeya Dwivedi2022-11-171-14/+43
| * | bpf: Rewrite kfunc argument handlingKumar Kartikeya Dwivedi2022-11-171-17/+528
| * | bpf: Allow locking bpf_spin_lock global variablesKumar Kartikeya Dwivedi2022-11-171-13/+28
| * | bpf: Allow locking bpf_spin_lock in allocated objectsKumar Kartikeya Dwivedi2022-11-171-25/+65
| * | bpf: Introduce allocated objects supportKumar Kartikeya Dwivedi2022-11-171-2/+23
| * | bpf: propagate nullness information for reg to reg comparisonsEduard Zingerman2022-11-151-2/+33
| * | bpf: Expand map key argument of bpf_redirect_map to u64Toke Høiland-Jørgensen2022-11-151-1/+1
| * | bpf: Refactor btf_struct_accessKumar Kartikeya Dwivedi2022-11-141-5/+7
| * | bpf: Rename MEM_ALLOC to MEM_RINGBUFKumar Kartikeya Dwivedi2022-11-141-7/+7