summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2023-04-24bpf: Add __rcu_read_{lock,unlock} into btf id deny listYafang Shao
2023-04-24bpf: Disable bpf_refcount_acquire kfunc calls until race conditions are fixedDave Marchevsky
2023-04-21Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2023-04-21bpf: minimal support for programs hooked into netfilter frameworkFlorian Westphal
2023-04-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-04-19bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann
2023-04-17bpf: Improve verifier u32 scalar equality checkingYonghong Song
2023-04-16bpf: Remove KF_KPTR_GET kfunc flagDavid Vernet
2023-04-15bpf: Migrate bpf_rbtree_remove to possibly failDave Marchevsky
2023-04-15bpf: Migrate bpf_rbtree_add and bpf_list_push_{front,back} to possibly failDave Marchevsky
2023-04-15bpf: Add bpf_refcount_acquire kfuncDave Marchevsky
2023-04-13bpf: Support 64-bit pointers to kfuncsIlya Leoshkevich
2023-04-13bpf: Add preempt_count_{sub,add} into btf id deny listYafang
2023-04-11bpf: Simplify internal verifier log interfaceAndrii Nakryiko
2023-04-11bpf: Add log_true_size output field to return necessary log buffer sizeAndrii Nakryiko
2023-04-11bpf: Simplify logging-related error conditions handlingAndrii Nakryiko
2023-04-11bpf: Avoid incorrect -EFAULT error in BPF_LOG_KERNEL modeAndrii Nakryiko
2023-04-11bpf: Switch BPF verifier log to be a rotating log by defaultAndrii Nakryiko
2023-04-11bpf: Split off basic BPF verifier log into separate fileAndrii Nakryiko
2023-04-06bpf: Improve handling of pattern '<const> <cond_op> <non_const>' in verifierYonghong Song
2023-04-06bpf: Improve verifier JEQ/JNE insn branch taken checkingYonghong Song
2023-04-04bpf: Undo strict enforcement for walking untagged fields.Alexei Starovoitov
2023-04-04bpf: Allowlist few fields similar to __rcu tag.Alexei Starovoitov
2023-04-04bpf: Refactor NULL-ness check in check_reg_type().Alexei Starovoitov
2023-04-04bpf: Refactor btf_nested_type_is_trusted().Alexei Starovoitov
2023-04-04bpf: Remove unused arguments from btf_struct_access().Alexei Starovoitov
2023-04-04bpf: Invoke btf_struct_access() callback only for writes.Alexei Starovoitov
2023-04-03bpf: Fix struct_meta lookup for bpf_obj_free_fields kfunc callDave Marchevsky
2023-04-01bpf: Make struct task_struct an RCU-safe typeDavid Vernet
2023-03-30bpf: Handle PTR_MAYBE_NULL case in PTR_TO_BTF_ID helper call argDavid Vernet
2023-03-25bpf: Treat KF_RELEASE kfuncs as KF_TRUSTED_ARGSDavid Vernet
2023-03-22bpf: remember meta->iter info only for initialized itersAndrii Nakryiko
2023-03-22bpf: Fix __reg_bound_offset 64->32 var_off subreg propagationDaniel Borkmann
2023-03-22bpf: return long from bpf_map_ops funcsJP Kobryn
2023-03-22bpf: Teach the verifier to recognize rdonly_mem as not null.Alexei Starovoitov
2023-03-17bpf: Allow ld_imm64 instruction to point to kfunc.Alexei Starovoitov
2023-03-17kallsyms, bpf: Move find_kallsyms_symbol_value out of internal headerViktor Malik
2023-03-16bpf: Remove misleading spec_v1 check on var-offset stack readLuis Gerhorst
2023-03-16bpf: Mark struct bpf_cpumask as rcu protectedDavid Vernet
2023-03-15bpf: Fix attaching fentry/fexit/fmod_ret/lsm to modulesViktor Malik
2023-03-13bpf: Allow helpers access trusted PTR_TO_BTF_ID.Alexei Starovoitov
2023-03-13bpf: fix precision propagation verbose loggingAndrii Nakryiko
2023-03-10bpf: Allow local kptrs to be exchanged via bpf_kptr_xchgDave Marchevsky
2023-03-10bpf: verifier: Rename kernel_type_name helper to btf_type_nameDave Marchevsky
2023-03-10bpf: take into account liveness when propagating precisionAndrii Nakryiko
2023-03-10bpf: ensure state checkpointing at iter_next() call sitesAndrii Nakryiko
2023-03-08bpf: add support for open-coded iterator loopsAndrii Nakryiko
2023-03-08bpf: factor out fetching basic kfunc metadataAndrii Nakryiko
2023-03-04bpf: add support for fixed-size memory pointer returns for kfuncsAndrii Nakryiko
2023-03-04bpf: generalize dynptr_get_spi to be usable for itersAndrii Nakryiko