summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2024-04-09bpf: Add support for certain atomics in bpf_arena to x86 JITAlexei Starovoitov1-1/+18
2024-04-05bpf: allow invoking bpf_for_each_map_elem with different mapsPhilo Lu1-5/+1
2024-04-05bpf: store both map ptr and state in bpf_insn_aux_dataPhilo Lu1-20/+16
2024-04-05bpf: fix perf_snapshot_branch_stack link failureArnd Bergmann1-1/+2
2024-04-05bpf: prevent r10 register from being marked as preciseAndrii Nakryiko1-2/+4
2024-04-04bpf: inline bpf_get_branch_snapshot() helperAndrii Nakryiko1-0/+55
2024-04-04bpf: Optimize emit_mov_imm64().Alexei Starovoitov1-3/+10
2024-04-03bpf: inline bpf_get_smp_processor_id() helperAndrii Nakryiko1-0/+24
2024-04-02bpf: Add a verbose message if map limit is reachedAnton Protopopov1-0/+2
2024-03-29bpf: improve error message for unsupported helperMykyta Yatsenko1-2/+2
2024-03-29Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-3/+24
2024-03-27bpf: Protect against int overflow for stack access sizeAndrei Matei1-0/+5
2024-03-23bpf: verifier: reject addr_space_cast insn without arenaPuranjay Mohan1-0/+4
2024-03-23bpf: verifier: fix addr_space_cast from as(1) to as(0)Puranjay Mohan1-2/+6
2024-03-21bpf-next: Avoid goto in regs_refine_cond_op()Harishankar Vishwanathan1-9/+13
2024-03-15bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy1-2/+6
2024-03-15bpf: preserve sleepable bit in subprog infoAndrii Nakryiko1-0/+1
2024-03-14bpf: Temporarily disable atomic operations in BPF arenaPuranjay Mohan1-1/+9
2024-03-12Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski1-65/+301
2024-03-12bpf: move sleepable flag from bpf_prog_aux to bpf_progAndrii Nakryiko1-6/+6
2024-03-12bpf: Recognize btf_decl_tag("arg: Arena") as PTR_TO_ARENA.Alexei Starovoitov1-0/+15
2024-03-12bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov1-9/+98
2024-03-12bpf: Introduce bpf_arena.Alexei Starovoitov1-0/+1
2024-03-08bpf: Recognize '__map' suffix in kfunc argumentsAlexei Starovoitov1-0/+16
2024-03-08bpf: Allow kfuncs return 'void *'Alexei Starovoitov1-0/+3
2024-03-07Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-0/+3
2024-03-07bpf: Recognize that two registers are safe when their ranges matchAlexei Starovoitov1-21/+30
2024-03-07bpf: Introduce may_goto instructionAlexei Starovoitov1-30/+133
2024-03-06bpf: check bpf_func_state->callback_depth when pruning statesEduard Zingerman1-0/+3
2024-03-03Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski1-71/+165
2024-02-23bpf: add is_async_callback_calling_insn() helperBenjamin Tissoires1-4/+7
2024-02-23bpf: introduce in_sleepable() helperBenjamin Tissoires1-6/+11
2024-02-23bpf: allow more maps in sleepable bpf programsBenjamin Tissoires1-0/+2
2024-02-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-0/+2
2024-02-16bpf: Fix test verif_scale_strobemeta_subprogs failure due to llvm19Yonghong Song1-5/+13
2024-02-14bpf: simplify btf_get_prog_ctx_type() into btf_is_prog_ctx_type()Andrii Nakryiko1-1/+1
2024-02-14bpf: Create argument information for nullable arguments.Kui-Feng Lee1-0/+6
2024-02-14bpf: Move __kfunc_param_match_suffix() to btf.c.Kui-Feng Lee1-28/+10
2024-02-13bpf: Fix warning for bpf_cpumask in verifierHari Bathini1-0/+2
2024-02-06bpf: Transfer RCU lock state between subprog callsKumar Kartikeya Dwivedi1-2/+1
2024-02-06bpf: Allow calling static subprogs while holding a bpf_spin_lockKumar Kartikeya Dwivedi1-3/+8
2024-02-03bpf: handle trusted PTR_TO_BTF_ID_OR_NULL in argument check logicAndrii Nakryiko1-0/+1
2024-02-03bpf: Handle scalar spill vs all MISC in stacksafe()Eduard Zingerman1-3/+69
2024-02-03bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy1-4/+11
2024-02-03bpf: Track spilled unbounded scalarsMaxim Mikityanskiy1-15/+1
2024-01-30bpf: add __arg_trusted global func arg tagAndrii Nakryiko1-0/+24
2024-01-26bpf: Fix error checks against bpf_get_btf_vmlinux().Kui-Feng Lee1-1/+4
2024-01-25bpf: Consistently use BPF token throughout BPF verifier logicAndrii Nakryiko1-7/+6
2024-01-24bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Kui-Feng Lee1-0/+11
2024-01-24bpf: pass attached BTF to the bpf_struct_ops subsystemKui-Feng Lee1-3/+6