summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2024-03-06bpf: Introduce may_goto instructionAlexei Starovoitov
2024-03-05bpf: check bpf_func_state->callback_depth when pruning statesEduard Zingerman
2024-03-02Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2024-02-22bpf: add is_async_callback_calling_insn() helperBenjamin Tissoires
2024-02-22bpf: introduce in_sleepable() helperBenjamin Tissoires
2024-02-22bpf: allow more maps in sleepable bpf programsBenjamin Tissoires
2024-02-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2024-02-15bpf: Fix test verif_scale_strobemeta_subprogs failure due to llvm19Yonghong Song
2024-02-13bpf: simplify btf_get_prog_ctx_type() into btf_is_prog_ctx_type()Andrii Nakryiko
2024-02-13bpf: Create argument information for nullable arguments.Kui-Feng Lee
2024-02-13bpf: Move __kfunc_param_match_suffix() to btf.c.Kui-Feng Lee
2024-02-13bpf: Fix warning for bpf_cpumask in verifierHari Bathini
2024-02-05bpf: Transfer RCU lock state between subprog callsKumar Kartikeya Dwivedi
2024-02-05bpf: Allow calling static subprogs while holding a bpf_spin_lockKumar Kartikeya Dwivedi
2024-02-02bpf: handle trusted PTR_TO_BTF_ID_OR_NULL in argument check logicAndrii Nakryiko
2024-02-02bpf: Handle scalar spill vs all MISC in stacksafe()Eduard Zingerman
2024-02-02bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy
2024-02-02bpf: Track spilled unbounded scalarsMaxim Mikityanskiy
2024-01-30bpf: add __arg_trusted global func arg tagAndrii Nakryiko
2024-01-25bpf: Fix error checks against bpf_get_btf_vmlinux().Kui-Feng Lee
2024-01-24bpf: Consistently use BPF token throughout BPF verifier logicAndrii Nakryiko
2024-01-23bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Kui-Feng Lee
2024-01-23bpf: pass attached BTF to the bpf_struct_ops subsystemKui-Feng Lee
2024-01-23bpf: lookup struct_ops types from a given module BTF.Kui-Feng Lee
2024-01-23bpf, net: introduce bpf_struct_ops_desc.Kui-Feng Lee
2024-01-23bpf: Refactor ptr alu checking rules to allow alu explicitlyHao Sun
2024-01-23bpf: Track aligned st store as imprecise spilled registersYonghong Song
2024-01-23bpf: Assign ID to scalars on spillMaxim Mikityanskiy
2024-01-23bpf: Add the get_reg_width functionMaxim Mikityanskiy
2024-01-23bpf: Add the assign_scalar_id_before_mov functionMaxim Mikityanskiy
2024-01-23bpf: make infinite loop detection in is_state_visited() exactEduard Zingerman
2024-01-23bpf: prepare btf_prepare_func_args() for multiple tags per argumentAndrii Nakryiko
2024-01-23bpf: Support inlining bpf_kptr_xchg() helperHou Tao
2024-01-16bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun
2024-01-04bpf: Relax tracing prog recursive attach rulesDmitrii Dolgov
2024-01-03bpf: Limit up to 512 bytes for bpf_global_percpu_ma allocationYonghong Song
2024-01-03bpf: Allow per unit prefill for non-fix-size percpu memory allocatorYonghong Song
2024-01-03bpf: Simplify checking size of helper accessesAndrei Matei
2023-12-21bpf: Avoid unnecessary use of comma operator in verifierSimon Horman
2023-12-19bpf: add support for passing dynptr pointer to global subprogAndrii Nakryiko
2023-12-19bpf: support 'arg:xxx' btf_decl_tag-based hints for global subprog argsAndrii Nakryiko
2023-12-19bpf: reuse subprog argument parsing logic for subprog call checksAndrii Nakryiko
2023-12-19bpf: move subprog call logic back to verifier.cAndrii Nakryiko
2023-12-19bpf: prepare btf_prepare_func_args() for handling static subprogsAndrii Nakryiko
2023-12-19bpf: reuse btf_prepare_func_args() check for main program BTF validationAndrii Nakryiko
2023-12-19bpf: abstract away global subprog arg preparation logic from reg state setupAndrii Nakryiko
2023-12-19bpf: make the verifier tracks the "not equal" for regsMenglong Dong
2023-12-19Revert BPF token-related functionalityAndrii Nakryiko
2023-12-18bpf: Ensure precise is reset to false in __mark_reg_const_zero()Andrii Nakryiko
2023-12-12bpf: Comment on check_mem_size_regAndrei Matei