summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: Add __rcu_read_{lock,unlock} into btf id deny listYafang Shao2023-04-241-0/+4
* bpf: Disable bpf_refcount_acquire kfunc calls until race conditions are fixedDave Marchevsky2023-04-241-1/+4
* Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2023-04-211-142/+213
|\
| * bpf: minimal support for programs hooked into netfilter frameworkFlorian Westphal2023-04-211-0/+3
| * bpf: Improve verifier u32 scalar equality checkingYonghong Song2023-04-171-2/+7
| * bpf: Remove KF_KPTR_GET kfunc flagDavid Vernet2023-04-161-65/+0
| * bpf: Migrate bpf_rbtree_remove to possibly failDave Marchevsky2023-04-151-3/+0
| * bpf: Migrate bpf_rbtree_add and bpf_list_push_{front,back} to possibly failDave Marchevsky2023-04-151-23/+55
| * bpf: Add bpf_refcount_acquire kfuncDave Marchevsky2023-04-151-11/+63
| * bpf: Support 64-bit pointers to kfuncsIlya Leoshkevich2023-04-131-40/+83
| * bpf: Add preempt_count_{sub,add} into btf id deny listYafang2023-04-131-0/+4
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2023-04-201-0/+15
|\ \ | |/ |/|
| * bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann2023-04-191-0/+15
* | bpf: Simplify internal verifier log interfaceAndrii Nakryiko2023-04-111-23/+16
* | bpf: Add log_true_size output field to return necessary log buffer sizeAndrii Nakryiko2023-04-111-1/+7
* | bpf: Simplify logging-related error conditions handlingAndrii Nakryiko2023-04-111-4/+2
* | bpf: Avoid incorrect -EFAULT error in BPF_LOG_KERNEL modeAndrii Nakryiko2023-04-111-1/+1
* | bpf: Switch BPF verifier log to be a rotating log by defaultAndrii Nakryiko2023-04-111-9/+10
* | bpf: Split off basic BPF verifier log into separate fileAndrii Nakryiko2023-04-111-69/+0
* | bpf: Improve handling of pattern '<const> <cond_op> <non_const>' in verifierYonghong Song2023-04-061-0/+12
* | bpf: Improve verifier JEQ/JNE insn branch taken checkingYonghong Song2023-04-061-0/+8
* | bpf: Undo strict enforcement for walking untagged fields.Alexei Starovoitov2023-04-041-3/+8
* | bpf: Allowlist few fields similar to __rcu tag.Alexei Starovoitov2023-04-041-2/+37
* | bpf: Refactor NULL-ness check in check_reg_type().Alexei Starovoitov2023-04-041-4/+8
* | bpf: Refactor btf_nested_type_is_trusted().Alexei Starovoitov2023-04-041-11/+12
* | bpf: Remove unused arguments from btf_struct_access().Alexei Starovoitov2023-04-041-2/+2
* | bpf: Invoke btf_struct_access() callback only for writes.Alexei Starovoitov2023-04-041-1/+1
* | bpf: Fix struct_meta lookup for bpf_obj_free_fields kfunc callDave Marchevsky2023-04-031-5/+9
* | bpf: Make struct task_struct an RCU-safe typeDavid Vernet2023-04-011-0/+1
* | bpf: Handle PTR_MAYBE_NULL case in PTR_TO_BTF_ID helper call argDavid Vernet2023-03-301-0/+4
* | bpf: Treat KF_RELEASE kfuncs as KF_TRUSTED_ARGSDavid Vernet2023-03-251-1/+1
* | bpf: remember meta->iter info only for initialized itersAndrii Nakryiko2023-03-221-7/+7
* | bpf: Fix __reg_bound_offset 64->32 var_off subreg propagationDaniel Borkmann2023-03-221-3/+3
* | bpf: return long from bpf_map_ops funcsJP Kobryn2023-03-221-7/+7
* | bpf: Teach the verifier to recognize rdonly_mem as not null.Alexei Starovoitov2023-03-221-5/+9
* | bpf: Allow ld_imm64 instruction to point to kfunc.Alexei Starovoitov2023-03-171-6/+11
* | kallsyms, bpf: Move find_kallsyms_symbol_value out of internal headerViktor Malik2023-03-171-1/+1
* | bpf: Remove misleading spec_v1 check on var-offset stack readLuis Gerhorst2023-03-161-10/+6
* | bpf: Mark struct bpf_cpumask as rcu protectedDavid Vernet2023-03-161-0/+1
* | bpf: Fix attaching fentry/fexit/fmod_ret/lsm to modulesViktor Malik2023-03-151-1/+17
* | bpf: Allow helpers access trusted PTR_TO_BTF_ID.Alexei Starovoitov2023-03-131-0/+15
* | bpf: fix precision propagation verbose loggingAndrii Nakryiko2023-03-131-2/+2
* | bpf: Allow local kptrs to be exchanged via bpf_kptr_xchgDave Marchevsky2023-03-101-1/+7
* | bpf: verifier: Rename kernel_type_name helper to btf_type_nameDave Marchevsky2023-03-101-8/+8
* | bpf: take into account liveness when propagating precisionAndrii Nakryiko2023-03-101-2/+4
* | bpf: ensure state checkpointing at iter_next() call sitesAndrii Nakryiko2023-03-101-3/+28
* | bpf: add support for open-coded iterator loopsAndrii Nakryiko2023-03-081-8/+587
* | bpf: factor out fetching basic kfunc metadataAndrii Nakryiko2023-03-081-33/+59
* | bpf: add support for fixed-size memory pointer returns for kfuncsAndrii Nakryiko2023-03-041-0/+8
* | bpf: generalize dynptr_get_spi to be usable for itersAndrii Nakryiko2023-03-041-6/+12
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-14 07:32:13 +0000