summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: BPF_ST with variable offset should preserve STACK_ZERO marksEduard Zingerman2023-02-151-1/+3
* bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman2023-02-151-2/+16
* bpf: Special verifier handling for bpf_rbtree_{remove, first}Dave Marchevsky2023-02-131-12/+31
* bpf: Add callback validation to kfunc verifier logicDave Marchevsky2023-02-131-5/+129
* bpf: Add support for bpf_rb_root and bpf_rb_node in kfunc argsDave Marchevsky2023-02-131-35/+203
* bpf: Add bpf_rbtree_{add,remove,first} kfuncsDave Marchevsky2023-02-131-1/+13
* bpf: Add basic bpf_rb_{root,node} supportDave Marchevsky2023-02-131-2/+3
* bpf: Migrate release_on_unlock logic to non-owning ref semanticsDave Marchevsky2023-02-131-49/+119
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2023-02-021-7/+18
|\
| * bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman2023-01-191-7/+18
* | Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2023-01-281-85/+459
|\ \
| * | bpf: Pass const struct bpf_prog * to .check_memberDavid Vernet2023-01-251-1/+1
| * | bpf: Allow BPF_PROG_TYPE_STRUCT_OPS programs to be sleepableDavid Vernet2023-01-251-2/+3
| * | bpf: Disallow NULLable pointers for trusted kfuncsDavid Vernet2023-01-251-0/+6
| * | bpf: Allow trusted args to walk struct when checking BTF IDsDavid Vernet2023-01-241-1/+29
| * | bpf: Enable annotating trusted nested pointersDavid Vernet2023-01-241-3/+29
| * | bpf: Support consuming XDP HW metadata from fext programsToke Høiland-Jørgensen2023-01-231-2/+3
| * | bpf: XDP metadata RX kfuncsStanislav Fomichev2023-01-231-1/+24
| * | bpf: Rename bpf_{prog,map}_is_dev_bound to is_offloadedStanislav Fomichev2023-01-231-9/+9
| * | bpf: Avoid recomputing spi in process_dynptr_funcKumar Kartikeya Dwivedi2023-01-201-13/+11
| * | bpf: Combine dynptr_get_spi and is_spi_bounds_validKumar Kartikeya Dwivedi2023-01-201-42/+33
| * | bpf: Allow reinitializing unreferenced dynptr stack slotsKumar Kartikeya Dwivedi2023-01-201-8/+26
| * | bpf: Invalidate slices on destruction of dynptrs on stackKumar Kartikeya Dwivedi2023-01-201-12/+62
| * | bpf: Fix partial dynptr stack slot reads/writesKumar Kartikeya Dwivedi2023-01-201-0/+88
| * | bpf: Fix missing var_off check for ARG_PTR_TO_DYNPTRKumar Kartikeya Dwivedi2023-01-201-18/+66
| * | bpf: Fix state pruning for STACK_DYNPTR stack slotsKumar Kartikeya Dwivedi2023-01-201-4/+84
| * | bpf: Do not allow to load sleepable BPF_TRACE_RAW_TP programJiri Olsa2023-01-171-3/+19
* | | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2023-01-201-1/+9
|\ \ \ | |/ / |/| / | |/
| * 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
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2023-01-051-6/+15
|\|
| * 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: rename list_head -> graph_root in field info typesDave Marchevsky2022-12-281-10/+11
* | bpf: fix regs_exact() logic in regsafe() to remap IDs correctlyAndrii Nakryiko2022-12-271-7/+16
* | bpf: perform byte-by-byte comparison only when necessary in regsafe()Andrii Nakryiko2022-12-271-12/+9
* | bpf: reject non-exact register type matches in regsafe()Andrii Nakryiko2022-12-271-24/+21
* | bpf: generalize MAYBE_NULL vs non-MAYBE_NULL ruleAndrii Nakryiko2022-12-271-16/+15
* | bpf: reorganize struct bpf_reg_state fieldsAndrii Nakryiko2022-12-271-9/+8
* | bpf: teach refsafe() to take into account ID remappingAndrii Nakryiko2022-12-271-4/+12
* | bpf: Add struct for bin_args arg in bpf_bprintf_prepareJiri Olsa2022-12-191-1/+2
|/
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 06:33:11 +0000