summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2023-05-30bpf: Fix mask generation for 32-bit narrow loads of 64-bit fieldsWill Deacon
2023-05-24bpf: Add preempt_count_{sub,add} into btf id deny listYafang
2023-05-11bpf: Fix struct_meta lookup for bpf_obj_free_fields kfunc callDave Marchevsky
2023-05-11bpf: factor out fetching basic kfunc metadataAndrii Nakryiko
2023-05-11bpf: Fix __reg_bound_offset 64->32 var_off subreg propagationDaniel Borkmann
2023-05-11bpf: return long from bpf_map_ops funcsJP Kobryn
2023-05-11bpf: Remove misleading spec_v1 check on var-offset stack readLuis Gerhorst
2023-05-11bpf: fix precision propagation verbose loggingAndrii Nakryiko
2023-05-11bpf: take into account liveness when propagating precisionAndrii Nakryiko
2023-04-19bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann
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