summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2021-05-19bpf: Introduce bpf_sys_bpf() helper and program type.Alexei Starovoitov1-0/+8
2021-05-12bpf: Add deny list of btf ids check for tracing programsJiri Olsa1-0/+14
2021-05-11bpf: Fix alu32 const subreg bound tracking on bitwise operationsDaniel Borkmann1-13/+9
2021-05-11bpf: verifier: Allocate idmap scratch in verifier envLorenz Bauer1-31/+15
2021-05-11bpf: verifier: Use copy_array for jmp_historyLorenz Bauer1-8/+5
2021-05-11bpf: verifier: Improve function state reallocationLorenz Bauer1-96/+101
2021-05-03bpf: Fix leakage of uninitialized bpf stack under speculationDaniel Borkmann1-10/+17
2021-05-03bpf: Fix masking negation logic upon negative dst registerDaniel Borkmann1-8/+4
2021-04-28bpf: Implement formatted output helpers with bstr_printfFlorent Revest1-1/+1
2021-04-27bpf: Fix propagation of 32 bit unsigned bounds from 64 bit boundsDaniel Borkmann1-5/+3
2021-04-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-0/+84
2021-04-23bpf: Remove unnecessary map checks for ARG_PTR_TO_CONST_STRFlorent Revest1-2/+1
2021-04-23bpf: Notify user if we ever hit a bpf_snprintf verifier bugFlorent Revest1-2/+4
2021-04-20bpf: Refine retval for bpf_get_task_stack helperDave Marchevsky1-0/+1
2021-04-20bpf: Add a bpf_snprintf helperFlorent Revest1-0/+41
2021-04-20bpf: Add a ARG_PTR_TO_CONST_STR argument typeFlorent Revest1-0/+41
2021-04-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-74/+156
2021-04-17bpf: Tighten speculative pointer arithmetic maskDaniel Borkmann1-29/+44
2021-04-17bpf: Move sanitize_val_alu out of op switchDaniel Borkmann1-6/+11
2021-04-17bpf: Refactor and streamline bounds check into helperDaniel Borkmann1-16/+33
2021-04-17bpf: Improve verifier error messages for usersDaniel Borkmann1-23/+63
2021-04-17bpf: Rework ptr_limit into alu_limit and add common error pathDaniel Borkmann1-8/+13
2021-04-17bpf: Ensure off_reg has no mixed signed bounds for all typesDaniel Borkmann1-10/+9
2021-04-17bpf: Move off_reg into sanitize_ptr_aluDaniel Borkmann1-4/+5
2021-04-17bpf: Use correct permission flag for mixed signed bounds arithmeticDaniel Borkmann1-1/+1
2021-04-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-0/+5
2021-03-27bpf: Support bpf program calling kernel functionMartin KaFai Lau1-24/+344
2021-03-27bpf: Refactor btf_check_func_arg_matchMartin KaFai Lau1-2/+2
2021-03-27bpf: Simplify freeing logic in linfo and jited_linfoMartin KaFai Lau1-2/+2
2021-03-26bpf: Enforce that struct_ops programs be GPL-onlyToke Høiland-Jørgensen1-0/+5
2021-03-26bpf: Undo ptr_to_map_key alu sanitation for nowDaniel Borkmann1-14/+0
2021-03-26Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-1/+0
2021-03-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller1-12/+25
2021-03-20bpf: Remove insn_buf[] declaration in inner blockJianlin Lv1-1/+0
2021-03-17bpf: Add sanity check for upper ptr_limitPiotr Krysiuk1-3/+8
2021-03-17bpf: Simplify alu_limit masking for pointer arithmeticPiotr Krysiuk1-5/+5
2021-03-17bpf: Fix off-by-one for area size in creating mask to leftPiotr Krysiuk1-2/+2
2021-03-17bpf: Prohibit alu ops for pointer types not defining ptr_limitPiotr Krysiuk1-6/+10
2021-03-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-64/+329
2021-03-10bpf, xdp: Make bpf_redirect_map() a map operationBjörn Töpel1-2/+11
2021-03-08bpf: Dont allow vmlinux BTF to be used in map_create and prog_load.Alexei Starovoitov1-0/+4
2021-03-05bpf: Explicitly zero-extend R0 after 32-bit cmpxchgBrendan Jackman1-1/+18
2021-03-04bpf: Account for BPF_FETCH in insn_has_def32()Ilya Leoshkevich1-31/+39
2021-02-27bpf: Add hashtab support for bpf_for_each_map_elem() helperYonghong Song1-0/+27
2021-02-27bpf: Add bpf_for_each_map_elem() helperYonghong Song1-13/+195
2021-02-27bpf: Change return value of verifier function add_subprog()Yonghong Song1-2/+2
2021-02-27bpf: Refactor check_func_call() to allow callback functionYonghong Song1-17/+43
2021-02-27bpf: Factor out verbose_invalid_scalar()Yonghong Song1-11/+19
2021-02-27bpf: Factor out visit_func_call_insn() in check_cfg()Yonghong Song1-12/+23
2021-02-26bpf: Rename fixup_bpf_calls and add some commentsBrendan Jackman1-7/+9