summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2023-02-22bpf: Allow reads from uninit stackEduard Zingerman
2023-02-15bpf: BPF_ST with variable offset should preserve STACK_ZERO marksEduard Zingerman
2023-02-15bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman
2023-02-13bpf: Special verifier handling for bpf_rbtree_{remove, first}Dave Marchevsky
2023-02-13bpf: Add callback validation to kfunc verifier logicDave Marchevsky
2023-02-13bpf: Add support for bpf_rb_root and bpf_rb_node in kfunc argsDave Marchevsky
2023-02-13bpf: Add bpf_rbtree_{add,remove,first} kfuncsDave Marchevsky
2023-02-13bpf: Add basic bpf_rb_{root,node} supportDave Marchevsky
2023-02-13bpf: Migrate release_on_unlock logic to non-owning ref semanticsDave Marchevsky
2023-02-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-01-28Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2023-01-25bpf: Pass const struct bpf_prog * to .check_memberDavid Vernet
2023-01-25bpf: Allow BPF_PROG_TYPE_STRUCT_OPS programs to be sleepableDavid Vernet
2023-01-25bpf: Disallow NULLable pointers for trusted kfuncsDavid Vernet
2023-01-24bpf: Allow trusted args to walk struct when checking BTF IDsDavid Vernet
2023-01-24bpf: Enable annotating trusted nested pointersDavid Vernet
2023-01-23bpf: Support consuming XDP HW metadata from fext programsToke Høiland-Jørgensen
2023-01-23bpf: XDP metadata RX kfuncsStanislav Fomichev
2023-01-23bpf: Rename bpf_{prog,map}_is_dev_bound to is_offloadedStanislav Fomichev
2023-01-20bpf: Avoid recomputing spi in process_dynptr_funcKumar Kartikeya Dwivedi
2023-01-20bpf: Combine dynptr_get_spi and is_spi_bounds_validKumar Kartikeya Dwivedi
2023-01-20bpf: Allow reinitializing unreferenced dynptr stack slotsKumar Kartikeya Dwivedi
2023-01-20bpf: Invalidate slices on destruction of dynptrs on stackKumar Kartikeya Dwivedi
2023-01-20bpf: Fix partial dynptr stack slot reads/writesKumar Kartikeya Dwivedi
2023-01-20bpf: Fix missing var_off check for ARG_PTR_TO_DYNPTRKumar Kartikeya Dwivedi
2023-01-20bpf: Fix state pruning for STACK_DYNPTR stack slotsKumar Kartikeya Dwivedi
2023-01-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-01-19bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman
2023-01-17bpf: Do not allow to load sleepable BPF_TRACE_RAW_TP programJiri Olsa
2023-01-13bpf: Fix pointer-leak due to insufficient speculative store bypass mitigationLuis Gerhorst
2023-01-06bpf: Skip invalid kfunc call in backtrack_insnHao Sun
2023-01-05Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2022-12-28bpf: rename list_head -> graph_root in field info typesDave Marchevsky
2022-12-28bpf: Always use maximal size for copy_array()Kees Cook
2022-12-27bpf: fix regs_exact() logic in regsafe() to remap IDs correctlyAndrii Nakryiko
2022-12-27bpf: perform byte-by-byte comparison only when necessary in regsafe()Andrii Nakryiko
2022-12-27bpf: reject non-exact register type matches in regsafe()Andrii Nakryiko
2022-12-27bpf: generalize MAYBE_NULL vs non-MAYBE_NULL ruleAndrii Nakryiko
2022-12-27bpf: reorganize struct bpf_reg_state fieldsAndrii Nakryiko
2022-12-27bpf: teach refsafe() to take into account ID remappingAndrii Nakryiko
2022-12-22bpf: fix nullness propagation for reg to reg comparisonsHao Sun
2022-12-19bpf: Add struct for bin_args arg in bpf_bprintf_prepareJiri Olsa
2022-12-10bpf: use check_ids() for active_lock comparisonEduard Zingerman
2022-12-10bpf: states_equal() must build idmap for all function framesEduard Zingerman
2022-12-10bpf: regsafe() must not skip check_ids()Eduard Zingerman
2022-12-08bpf: Move PTR_TO_STACK alignment check to process_dynptr_funcKumar Kartikeya Dwivedi
2022-12-08bpf: Rework check_func_arg_reg_offKumar Kartikeya Dwivedi
2022-12-08bpf: Rework process_dynptr_funcKumar Kartikeya Dwivedi
2022-12-08bpf: Propagate errors from process_* checks in check_func_argKumar Kartikeya Dwivedi
2022-12-08bpf: Refactor ARG_PTR_TO_DYNPTR checks into process_dynptr_funcKumar Kartikeya Dwivedi