summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
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-18bpf: Do not allow to load sleepable BPF_TRACE_RAW_TP programJiri Olsa1-3/+19
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
2022-12-09bpf: Refactor ARG_PTR_TO_DYNPTR checks into process_dynptr_funcKumar Kartikeya Dwivedi1-64/+70
2022-12-08bpf: Fix comment error in fixup_kfunc_call functionYang Jihong1-1/+1
2022-12-08bpf: Do not zero-extend kfunc return valuesBjörn Töpel1-0/+4
2022-12-08bpf: Remove unused insn_cnt argument from visit_[func_call_]insn()Andrii Nakryiko1-6/+5
2022-12-08Merge "do not rely on ALLOW_ERROR_INJECTION for fmod_ret" into bpf-nextAlexei Starovoitov1-2/+15
2022-12-07bpf: do not rely on ALLOW_ERROR_INJECTION for fmod_retBenjamin Tissoires1-2/+15
2022-12-07bpf: remove unnecessary prune and jump pointsAndrii Nakryiko1-24/+10
2022-12-07bpf: mostly decouple jump history management from is_state_visited()Andrii Nakryiko1-23/+26
2022-12-07bpf: decouple prune and jump pointsAndrii Nakryiko1-14/+43
2022-12-07bpf: Loosen alloc obj test in verifier's reg_btf_recordDave Marchevsky1-1/+6
2022-12-05bpf: Enable sleeptable support for cgrp local storageYonghong Song1-1/+2
2022-12-04bpf: Handle MEM_RCU type properlyYonghong Song1-13/+32
2022-12-02bpf: Fix release_on_unlock release logic for multiple refsDave Marchevsky1-1/+1
2022-12-01bpf: Tighten ptr_to_btf_id checks.Alexei Starovoitov1-3/+14
2022-11-29Daniel Borkmann says:Jakub Kicinski1-117/+1414
2022-11-25bpf: Don't mark arguments to fentry/fexit programs as trusted.Alexei Starovoitov1-3/+0
2022-11-24bpf: Add kfunc bpf_rcu_read_lock/unlock()Yonghong Song1-29/+133
2022-11-24bpf: Introduce might_sleep field in bpf_func_protoYonghong Song1-0/+5
2022-11-21bpf/verifier: Use kmalloc_size_roundup() to match ksize() usageKees Cook1-4/+8
2022-11-21bpf: Add a kfunc for generic type castYonghong Song1-2/+18
2022-11-21bpf: Add a kfunc to type cast from bpf uapi ctx to kernel ctxYonghong Song1-0/+22