summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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: Add callback validation to kfunc verifier logicDave Marchevsky
2023-05-11bpf: Add support for bpf_rb_root and bpf_rb_node in kfunc argsDave Marchevsky
2023-05-11bpf: Add bpf_rbtree_{add,remove,first} kfuncsDave Marchevsky
2023-05-11bpf: Add basic bpf_rb_{root,node} supportDave Marchevsky
2023-05-11bpf: Migrate release_on_unlock logic to non-owning ref semanticsDave Marchevsky
2023-05-11bpf: rename list_head -> graph_root in field info typesDave Marchevsky
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-26bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann
2023-03-10bpf: Fix partial dynptr stack slot reads/writesKumar Kartikeya Dwivedi
2023-03-10bpf: Fix missing var_off check for ARG_PTR_TO_DYNPTRKumar Kartikeya Dwivedi
2023-03-10bpf: Fix state pruning for STACK_DYNPTR stack slotsKumar Kartikeya Dwivedi
2023-01-19bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman
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
2022-12-28bpf: Always use maximal size for copy_array()Kees Cook
2022-12-22bpf: fix nullness propagation for reg to reg comparisonsHao Sun
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
2022-12-08bpf: Fix comment error in fixup_kfunc_call functionYang Jihong
2022-12-08bpf: Do not zero-extend kfunc return valuesBjörn Töpel
2022-12-07bpf: Remove unused insn_cnt argument from visit_[func_call_]insn()Andrii Nakryiko
2022-12-07Merge "do not rely on ALLOW_ERROR_INJECTION for fmod_ret" into bpf-nextAlexei Starovoitov
2022-12-07bpf: do not rely on ALLOW_ERROR_INJECTION for fmod_retBenjamin Tissoires
2022-12-06bpf: remove unnecessary prune and jump pointsAndrii Nakryiko
2022-12-06bpf: mostly decouple jump history management from is_state_visited()Andrii Nakryiko
2022-12-06bpf: decouple prune and jump pointsAndrii Nakryiko
2022-12-06bpf: Loosen alloc obj test in verifier's reg_btf_recordDave Marchevsky
2022-12-04bpf: Enable sleeptable support for cgrp local storageYonghong Song
2022-12-04bpf: Handle MEM_RCU type properlyYonghong Song
2022-12-01bpf: Fix release_on_unlock release logic for multiple refsDave Marchevsky
2022-11-30bpf: Tighten ptr_to_btf_id checks.Alexei Starovoitov
2022-11-28Daniel Borkmann says:Jakub Kicinski
2022-11-24bpf: Don't mark arguments to fentry/fexit programs as trusted.Alexei Starovoitov
2022-11-24bpf: Add kfunc bpf_rcu_read_lock/unlock()Yonghong Song
2022-11-24bpf: Introduce might_sleep field in bpf_func_protoYonghong Song
2022-11-21bpf/verifier: Use kmalloc_size_roundup() to match ksize() usageKees Cook
2022-11-20bpf: Add a kfunc for generic type castYonghong Song
2022-11-20bpf: Add a kfunc to type cast from bpf uapi ctx to kernel ctxYonghong Song