summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2023-02-22bpf: Remove unused MEM_ALLOC | PTR_TRUSTED checksKumar Kartikeya Dwivedi
2023-02-22bpf: Allow reads from uninit stackEduard Zingerman
2023-02-15bpf: BPF_ST with variable offset should preserve STACK_ZERO marksEduard Zingerman
2023-02-15bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman
2023-02-13bpf: Special verifier handling for bpf_rbtree_{remove, first}Dave Marchevsky
2023-02-13bpf: Add callback validation to kfunc verifier logicDave Marchevsky
2023-02-13bpf: Add support for bpf_rb_root and bpf_rb_node in kfunc argsDave Marchevsky
2023-02-13bpf: Add bpf_rbtree_{add,remove,first} kfuncsDave Marchevsky
2023-02-13bpf: Add basic bpf_rb_{root,node} supportDave Marchevsky
2023-02-13bpf: Migrate release_on_unlock logic to non-owning ref semanticsDave Marchevsky
2023-02-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-01-28Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2023-01-25bpf: Pass const struct bpf_prog * to .check_memberDavid Vernet
2023-01-25bpf: Allow BPF_PROG_TYPE_STRUCT_OPS programs to be sleepableDavid Vernet
2023-01-25bpf: Disallow NULLable pointers for trusted kfuncsDavid Vernet
2023-01-24bpf: Allow trusted args to walk struct when checking BTF IDsDavid Vernet
2023-01-24bpf: Enable annotating trusted nested pointersDavid Vernet
2023-01-23bpf: Support consuming XDP HW metadata from fext programsToke Høiland-Jørgensen
2023-01-23bpf: XDP metadata RX kfuncsStanislav Fomichev
2023-01-23bpf: Rename bpf_{prog,map}_is_dev_bound to is_offloadedStanislav Fomichev