summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2023-04-19bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann1-0/+15
2023-02-22bpf: Allow reads from uninit stackEduard Zingerman1-1/+10
2023-02-15bpf: BPF_ST with variable offset should preserve STACK_ZERO marksEduard Zingerman1-1/+3
2023-02-15bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman1-2/+16
2023-02-14bpf: Special verifier handling for bpf_rbtree_{remove, first}Dave Marchevsky1-12/+31
2023-02-14bpf: Add callback validation to kfunc verifier logicDave Marchevsky1-5/+129
2023-02-14bpf: Add support for bpf_rb_root and bpf_rb_node in kfunc argsDave Marchevsky1-35/+203
2023-02-14bpf: Add bpf_rbtree_{add,remove,first} kfuncsDave Marchevsky1-1/+13
2023-02-14bpf: Add basic bpf_rb_{root,node} supportDave Marchevsky1-2/+3
2023-02-14bpf: Migrate release_on_unlock logic to non-owning ref semanticsDave Marchevsky1-49/+119
2023-02-03Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-7/+18
2023-01-28Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski1-85/+459
2023-01-25bpf: Pass const struct bpf_prog * to .check_memberDavid Vernet1-1/+1
2023-01-25bpf: Allow BPF_PROG_TYPE_STRUCT_OPS programs to be sleepableDavid Vernet1-2/+3
2023-01-25bpf: Disallow NULLable pointers for trusted kfuncsDavid Vernet1-0/+6
2023-01-25bpf: Allow trusted args to walk struct when checking BTF IDsDavid Vernet1-1/+29
2023-01-25bpf: Enable annotating trusted nested pointersDavid Vernet1-3/+29
2023-01-23bpf: Support consuming XDP HW metadata from fext programsToke Høiland-Jørgensen1-2/+3
2023-01-23bpf: XDP metadata RX kfuncsStanislav Fomichev1-1/+24
2023-01-23bpf: Rename bpf_{prog,map}_is_dev_bound to is_offloadedStanislav Fomichev1-9/+9
2023-01-21bpf: Avoid recomputing spi in process_dynptr_funcKumar Kartikeya Dwivedi1-13/+11
2023-01-21bpf: Combine dynptr_get_spi and is_spi_bounds_validKumar Kartikeya Dwivedi1-42/+33
2023-01-21bpf: Allow reinitializing unreferenced dynptr stack slotsKumar Kartikeya Dwivedi1-8/+26
2023-01-21bpf: Invalidate slices on destruction of dynptrs on stackKumar Kartikeya Dwivedi1-12/+62
2023-01-21bpf: Fix partial dynptr stack slot reads/writesKumar Kartikeya Dwivedi1-0/+88
2023-01-21bpf: Fix missing var_off check for ARG_PTR_TO_DYNPTRKumar Kartikeya Dwivedi1-18/+66
2023-01-21bpf: Fix state pruning for STACK_DYNPTR stack slotsKumar Kartikeya Dwivedi1-4/+84
2023-01-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-1/+9
2023-01-20bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman1-7/+18
2023-01-18bpf: Do not allow to load sleepable BPF_TRACE_RAW_TP programJiri Olsa1-3/+19
2023-01-13bpf: Fix pointer-leak due to insufficient speculative store bypass mitigationLuis Gerhorst1-1/+3
2023-01-06bpf: Skip invalid kfunc call in backtrack_insnHao Sun1-0/+6
2023-01-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-6/+15
2022-12-29bpf: rename list_head -> graph_root in field info typesDave Marchevsky1-10/+11
2022-12-29bpf: Always use maximal size for copy_array()Kees Cook1-5/+7
2022-12-28bpf: fix regs_exact() logic in regsafe() to remap IDs correctlyAndrii Nakryiko1-7/+16
2022-12-28bpf: perform byte-by-byte comparison only when necessary in regsafe()Andrii Nakryiko1-12/+9
2022-12-28bpf: reject non-exact register type matches in regsafe()Andrii Nakryiko1-24/+21
2022-12-28bpf: generalize MAYBE_NULL vs non-MAYBE_NULL ruleAndrii Nakryiko1-16/+15
2022-12-28bpf: reorganize struct bpf_reg_state fieldsAndrii Nakryiko1-9/+8
2022-12-28bpf: teach refsafe() to take into account ID remappingAndrii Nakryiko1-4/+12
2022-12-23bpf: fix nullness propagation for reg to reg comparisonsHao Sun1-1/+8
2022-12-20bpf: Add struct for bin_args arg in bpf_bprintf_prepareJiri Olsa1-1/+2
2022-12-11bpf: use check_ids() for active_lock comparisonEduard Zingerman1-3/+13
2022-12-11bpf: states_equal() must build idmap for all function framesEduard Zingerman1-1/+2
2022-12-11bpf: regsafe() must not skip check_ids()Eduard Zingerman1-21/+8
2022-12-09bpf: Move PTR_TO_STACK alignment check to process_dynptr_funcKumar Kartikeya Dwivedi1-5/+8
2022-12-09bpf: Rework check_func_arg_reg_offKumar Kartikeya Dwivedi1-25/+38
2022-12-09bpf: Rework process_dynptr_funcKumar Kartikeya Dwivedi1-58/+169
2022-12-09bpf: Propagate errors from process_* checks in check_func_argKumar Kartikeya Dwivedi1-10/+15