summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2021-03-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller
2021-03-17bpf: Add sanity check for upper ptr_limitPiotr Krysiuk
2021-03-17bpf: Simplify alu_limit masking for pointer arithmeticPiotr Krysiuk
2021-03-17bpf: Fix off-by-one for area size in creating mask to leftPiotr Krysiuk
2021-03-17bpf: Prohibit alu ops for pointer types not defining ptr_limitPiotr Krysiuk
2021-03-09Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2021-03-10bpf, xdp: Make bpf_redirect_map() a map operationBjörn Töpel
2021-03-08bpf: Dont allow vmlinux BTF to be used in map_create and prog_load.Alexei Starovoitov
2021-03-04bpf: Explicitly zero-extend R0 after 32-bit cmpxchgBrendan Jackman
2021-03-04bpf: Account for BPF_FETCH in insn_has_def32()Ilya Leoshkevich
2021-02-26bpf: Add hashtab support for bpf_for_each_map_elem() helperYonghong Song
2021-02-26bpf: Add bpf_for_each_map_elem() helperYonghong Song
2021-02-26bpf: Change return value of verifier function add_subprog()Yonghong Song
2021-02-26bpf: Refactor check_func_call() to allow callback functionYonghong Song
2021-02-26bpf: Factor out verbose_invalid_scalar()Yonghong Song
2021-02-26bpf: Factor out visit_func_call_insn() in check_cfg()Yonghong Song
2021-02-26bpf: Rename fixup_bpf_calls and add some commentsBrendan Jackman
2021-02-26bpf: Use MAX_BPF_FUNC_REG_ARGS macroDmitrii Banshchikov
2021-02-22bpf: Fix a warning message in mark_ptr_not_null_reg()Dan Carpenter
2021-02-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller
2021-02-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2021-02-15bpf: Clear subreg_def for global function return valuesIlya Leoshkevich
2021-02-12bpf: Support pointers in global func argsDmitrii Banshchikov
2021-02-12bpf: Extract nullable reg type conversion into a helper functionDmitrii Banshchikov
2021-02-13bpf: Fix truncation handling for mod32 dst reg wrt zeroDaniel Borkmann
2021-02-11bpf: Fix subreg optimization for BPF_FETCHIlya Leoshkevich
2021-02-11bpf: Allows per-cpu maps and map-in-map in sleepable programsAlexei Starovoitov
2021-02-11bpf: Optimize program statsAlexei Starovoitov
2021-02-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller
2021-02-10bpf: Allow variable-offset stack accessAndrei Matei
2021-02-10bpf: Fix 32 bit src register truncation on div/modDaniel Borkmann
2021-02-10bpf: Fix verifier jmp32 pruning decision logicDaniel Borkmann
2021-02-10bpf: Fix verifier jsgt branch analysis on max boundDaniel Borkmann
2021-02-04bpf: Refactor BPF_PSEUDO_CALL checking as a helper functionYonghong Song
2021-02-04bpf: Allow usage of BPF ringbuffer in sleepable programsKP Singh
2021-02-02bpf: Propagate stack bounds to registers in atomics w/ BPF_FETCHBrendan Jackman
2021-01-27bpf: Allow rewriting to ports under ip_unprivileged_port_startStanislav Fomichev
2021-01-23bpf: Fix typo in scalar{,32}_min_max_rsh commentsTobias Klauser
2021-01-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2021-01-20bpf: Fix signed_{sub,add32}_overflows type handlingDaniel Borkmann
2021-01-14bpf: Add bitwise atomic instructionsBrendan Jackman
2021-01-14bpf: Add instructions for atomic_[cmp]xchgBrendan Jackman
2021-01-14bpf: Add BPF_FETCH field / create atomic_fetch_add instructionBrendan Jackman
2021-01-14bpf: Move BPF_STX reserved field check into BPF_STX verifier codeBrendan Jackman
2021-01-14bpf: Rename BPF_XADD and prepare to encode other atomics in .immBrendan Jackman
2021-01-13bpf: Support PTR_TO_MEM{,_OR_NULL} register spillingGilad Reti
2021-01-12bpf: Support BPF ksym variables in kernel modulesAndrii Nakryiko
2021-01-12bpf: Fix a verifier message for alloc size helper argBrendan Jackman
2020-12-14Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski
2020-12-14bpf: Permits pointers on stack for helper callsYonghong Song