summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2023-03-04bpf: mark PTR_TO_MEM as non-null register typeAndrii Nakryiko
2023-03-04bpf: move kfunc_call_arg_meta higher in the fileAndrii Nakryiko
2023-03-04bpf: ensure that r0 is marked scratched after any function callAndrii Nakryiko
2023-03-04bpf: fix visit_insn()'s detection of BPF_FUNC_timer_set_callback helperAndrii Nakryiko
2023-03-04bpf: clean up visit_insn()'s instruction processingAndrii Nakryiko
2023-03-04bpf: honor env->test_state_freq flag in is_state_visited()Andrii Nakryiko
2023-03-04bpf: improve regsafe() checks for PTR_TO_{MEM,BUF,TP_BUFFER}Andrii Nakryiko
2023-03-04bpf: improve stack slot state printingAndrii Nakryiko
2023-03-03bpf: allow ctx writes using BPF_ST_MEM instructionEduard Zingerman
2023-03-03bpf: Refactor RCU enforcement in the verifier.Alexei Starovoitov
2023-03-03bpf: Introduce kptr_rcu.Alexei Starovoitov
2023-03-03bpf: Mark cgroups and dfl_cgrp fields as trusted.Alexei Starovoitov
2023-03-01bpf: Support kptrs in local storage mapsKumar Kartikeya Dwivedi
2023-03-01bpf: Add bpf_dynptr_slice and bpf_dynptr_slice_rdwrJoanne Koong
2023-03-01bpf: Add xdp dynptrsJoanne Koong
2023-03-01bpf: Add skb dynptrsJoanne Koong
2023-03-01bpf: Add __uninit kfunc annotationJoanne Koong
2023-03-01bpf: Refactor verifier dynptr into get_dynptr_arg_regJoanne Koong
2023-03-01bpf: Allow initializing dynptrs in kfuncsJoanne Koong
2023-03-01bpf: Refactor process_dynptr_funcJoanne Koong
2023-02-22bpf: Check for helper calls in check_subprogs()Ilya Leoshkevich
2023-02-22bpf: Wrap register invalidation with a helperKumar Kartikeya Dwivedi
2023-02-22bpf: Fix check_reg_type for PTR_TO_BTF_IDKumar Kartikeya Dwivedi