aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2024-03-11Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Gravatar Jakub Kicinski 1-65/+301
2024-03-11bpf: move sleepable flag from bpf_prog_aux to bpf_progGravatar Andrii Nakryiko 1-6/+6
2024-03-11bpf: Recognize btf_decl_tag("arg: Arena") as PTR_TO_ARENA.Gravatar Alexei Starovoitov 1-0/+15
2024-03-11bpf: Recognize addr_space_cast instruction in the verifier.Gravatar Alexei Starovoitov 1-9/+98
2024-03-11bpf: Introduce bpf_arena.Gravatar Alexei Starovoitov 1-0/+1
2024-03-07bpf: Recognize '__map' suffix in kfunc argumentsGravatar Alexei Starovoitov 1-0/+16
2024-03-07bpf: Allow kfuncs return 'void *'Gravatar Alexei Starovoitov 1-0/+3
2024-03-07Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netGravatar Jakub Kicinski 1-0/+3
2024-03-06bpf: Recognize that two registers are safe when their ranges matchGravatar Alexei Starovoitov 1-21/+30
2024-03-06bpf: Introduce may_goto instructionGravatar Alexei Starovoitov 1-30/+133
2024-03-05bpf: check bpf_func_state->callback_depth when pruning statesGravatar Eduard Zingerman 1-0/+3
2024-03-02Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Gravatar Jakub Kicinski 1-71/+165
2024-02-22bpf: add is_async_callback_calling_insn() helperGravatar Benjamin Tissoires 1-4/+7
2024-02-22bpf: introduce in_sleepable() helperGravatar Benjamin Tissoires 1-6/+11
2024-02-22bpf: allow more maps in sleepable bpf programsGravatar Benjamin Tissoires 1-0/+2
2024-02-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netGravatar Jakub Kicinski 1-0/+2
2024-02-15bpf: Fix test verif_scale_strobemeta_subprogs failure due to llvm19Gravatar Yonghong Song 1-5/+13
2024-02-13bpf: simplify btf_get_prog_ctx_type() into btf_is_prog_ctx_type()Gravatar Andrii Nakryiko 1-1/+1
2024-02-13bpf: Create argument information for nullable arguments.Gravatar Kui-Feng Lee 1-0/+6
2024-02-13bpf: Move __kfunc_param_match_suffix() to btf.c.Gravatar Kui-Feng Lee 1-28/+10
2024-02-13bpf: Fix warning for bpf_cpumask in verifierGravatar Hari Bathini 1-0/+2
2024-02-05bpf: Transfer RCU lock state between subprog callsGravatar Kumar Kartikeya Dwivedi 1-2/+1
2024-02-05bpf: Allow calling static subprogs while holding a bpf_spin_lockGravatar Kumar Kartikeya Dwivedi 1-3/+8
2024-02-02bpf: handle trusted PTR_TO_BTF_ID_OR_NULL in argument check logicGravatar Andrii Nakryiko 1-0/+1
2024-02-02bpf: Handle scalar spill vs all MISC in stacksafe()Gravatar Eduard Zingerman 1-3/+69
2024-02-02bpf: Preserve boundaries and track scalars on narrowing fillGravatar Maxim Mikityanskiy 1-4/+11
2024-02-02bpf: Track spilled unbounded scalarsGravatar Maxim Mikityanskiy 1-15/+1
2024-01-30bpf: add __arg_trusted global func arg tagGravatar Andrii Nakryiko 1-0/+24
2024-01-25bpf: Fix error checks against bpf_get_btf_vmlinux().Gravatar Kui-Feng Lee 1-1/+4
2024-01-24bpf: Consistently use BPF token throughout BPF verifier logicGravatar Andrii Nakryiko 1-7/+6
2024-01-23bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Gravatar Kui-Feng Lee 1-0/+11
2024-01-23bpf: pass attached BTF to the bpf_struct_ops subsystemGravatar Kui-Feng Lee 1-3/+6
2024-01-23bpf: lookup struct_ops types from a given module BTF.Gravatar Kui-Feng Lee 1-1/+1
2024-01-23bpf, net: introduce bpf_struct_ops_desc.Gravatar Kui-Feng Lee 1-3/+5
2024-01-23bpf: Refactor ptr alu checking rules to allow alu explicitlyGravatar Hao Sun 1-7/+14
2024-01-23bpf: Track aligned st store as imprecise spilled registersGravatar Yonghong Song 1-2/+15
2024-01-23bpf: Assign ID to scalars on spillGravatar Maxim Mikityanskiy 1-1/+7
2024-01-23bpf: Add the get_reg_width functionGravatar Maxim Mikityanskiy 1-2/+7
2024-01-23bpf: Add the assign_scalar_id_before_mov functionGravatar Maxim Mikityanskiy 1-14/+19
2024-01-23bpf: make infinite loop detection in is_state_visited() exactGravatar Eduard Zingerman 1-1/+1
2024-01-23bpf: prepare btf_prepare_func_args() for multiple tags per argumentGravatar Andrii Nakryiko 1-1/+0
2024-01-23bpf: Support inlining bpf_kptr_xchg() helperGravatar Hou Tao 1-0/+17
2024-01-16bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSGravatar Hao Sun 1-0/+4
2024-01-04bpf: Relax tracing prog recursive attach rulesGravatar Dmitrii Dolgov 1-14/+25
2024-01-03bpf: Limit up to 512 bytes for bpf_global_percpu_ma allocationGravatar Yonghong Song 1-0/+8
2024-01-03bpf: Allow per unit prefill for non-fix-size percpu memory allocatorGravatar Yonghong Song 1-14/+23
2024-01-03bpf: Simplify checking size of helper accessesGravatar Andrei Matei 1-6/+4
2023-12-21bpf: Avoid unnecessary use of comma operator in verifierGravatar Simon Horman 1-1/+1
2023-12-19bpf: add support for passing dynptr pointer to global subprogGravatar Andrii Nakryiko 1-0/+7
2023-12-19bpf: support 'arg:xxx' btf_decl_tag-based hints for global subprog argsGravatar Andrii Nakryiko 1-1/+4