summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c (follow)
Commit message (Expand)AuthorAgeFilesLines
* bpf: Protect against int overflow for stack access sizeAndrei Matei2024-03-271-0/+5
* bpf: verifier: reject addr_space_cast insn without arenaPuranjay Mohan2024-03-231-0/+4
* bpf: verifier: fix addr_space_cast from as(1) to as(0)Puranjay Mohan2024-03-231-2/+6
* bpf: Temporarily disable atomic operations in BPF arenaPuranjay Mohan2024-03-141-1/+9
* Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2024-03-121-65/+301
|\
| * bpf: move sleepable flag from bpf_prog_aux to bpf_progAndrii Nakryiko2024-03-121-6/+6
| * bpf: Recognize btf_decl_tag("arg: Arena") as PTR_TO_ARENA.Alexei Starovoitov2024-03-111-0/+15
| * bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov2024-03-111-9/+98
| * bpf: Introduce bpf_arena.Alexei Starovoitov2024-03-111-0/+1
| * bpf: Recognize '__map' suffix in kfunc argumentsAlexei Starovoitov2024-03-071-0/+16
| * bpf: Allow kfuncs return 'void *'Alexei Starovoitov2024-03-071-0/+3
| * bpf: Recognize that two registers are safe when their ranges matchAlexei Starovoitov2024-03-071-21/+30
| * bpf: Introduce may_goto instructionAlexei Starovoitov2024-03-071-30/+133
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2024-03-071-0/+3
|\ \ | |/ |/|
| * bpf: check bpf_func_state->callback_depth when pruning statesEduard Zingerman2024-03-061-0/+3
* | Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2024-03-031-71/+165
|\ \
| * | bpf: add is_async_callback_calling_insn() helperBenjamin Tissoires2024-02-231-4/+7
| * | bpf: introduce in_sleepable() helperBenjamin Tissoires2024-02-231-6/+11
| * | bpf: allow more maps in sleepable bpf programsBenjamin Tissoires2024-02-231-0/+2
| * | bpf: Fix test verif_scale_strobemeta_subprogs failure due to llvm19Yonghong Song2024-02-151-5/+13
| * | bpf: simplify btf_get_prog_ctx_type() into btf_is_prog_ctx_type()Andrii Nakryiko2024-02-141-1/+1
| * | bpf: Create argument information for nullable arguments.Kui-Feng Lee2024-02-141-0/+6
| * | bpf: Move __kfunc_param_match_suffix() to btf.c.Kui-Feng Lee2024-02-141-28/+10
| * | bpf: Transfer RCU lock state between subprog callsKumar Kartikeya Dwivedi2024-02-061-2/+1
| * | bpf: Allow calling static subprogs while holding a bpf_spin_lockKumar Kartikeya Dwivedi2024-02-061-3/+8
| * | bpf: handle trusted PTR_TO_BTF_ID_OR_NULL in argument check logicAndrii Nakryiko2024-02-031-0/+1
| * | bpf: Handle scalar spill vs all MISC in stacksafe()Eduard Zingerman2024-02-021-3/+69
| * | bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy2024-02-021-4/+11
| * | bpf: Track spilled unbounded scalarsMaxim Mikityanskiy2024-02-021-15/+1
| * | bpf: add __arg_trusted global func arg tagAndrii Nakryiko2024-01-301-0/+24
* | | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2024-02-231-0/+2
|\ \ \ | |/ / |/| / | |/
| * bpf: Fix warning for bpf_cpumask in verifierHari Bathini2024-02-131-0/+2
* | bpf: Fix error checks against bpf_get_btf_vmlinux().Kui-Feng Lee2024-01-261-1/+4
* | bpf: Consistently use BPF token throughout BPF verifier logicAndrii Nakryiko2024-01-251-7/+6
* | bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Kui-Feng Lee2024-01-241-0/+11
* | bpf: pass attached BTF to the bpf_struct_ops subsystemKui-Feng Lee2024-01-241-3/+6
* | bpf: lookup struct_ops types from a given module BTF.Kui-Feng Lee2024-01-241-1/+1
* | bpf, net: introduce bpf_struct_ops_desc.Kui-Feng Lee2024-01-241-3/+5
* | bpf: Refactor ptr alu checking rules to allow alu explicitlyHao Sun2024-01-241-7/+14
* | bpf: Track aligned st store as imprecise spilled registersYonghong Song2024-01-231-2/+15
* | bpf: Assign ID to scalars on spillMaxim Mikityanskiy2024-01-231-1/+7
* | bpf: Add the get_reg_width functionMaxim Mikityanskiy2024-01-231-2/+7
* | bpf: Add the assign_scalar_id_before_mov functionMaxim Mikityanskiy2024-01-231-14/+19
* | bpf: make infinite loop detection in is_state_visited() exactEduard Zingerman2024-01-231-1/+1
* | bpf: prepare btf_prepare_func_args() for multiple tags per argumentAndrii Nakryiko2024-01-231-1/+0
* | bpf: Support inlining bpf_kptr_xchg() helperHou Tao2024-01-231-0/+17
|/
* bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun2024-01-161-0/+4
* bpf: Relax tracing prog recursive attach rulesDmitrii Dolgov2024-01-051-14/+25
* bpf: Limit up to 512 bytes for bpf_global_percpu_ma allocationYonghong Song2024-01-041-0/+8
* bpf: Allow per unit prefill for non-fix-size percpu memory allocatorYonghong Song2024-01-041-14/+23
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-03 13:47:53 +0100