summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2021-05-25bpf: No need to simulate speculative domain for immediatesDaniel Borkmann
2021-05-25bpf: Fix mask direction swap upon off reg sign changeDaniel Borkmann
2021-05-25bpf: Wrap aux data inside bpf_sanitize_info containerDaniel Borkmann
2021-05-20bpf, offload: Reorder offload callback 'prepare' in verifierYinjun Zhang
2021-05-11bpf: Add deny list of btf ids check for tracing programsJiri Olsa
2021-05-11bpf: Fix alu32 const subreg bound tracking on bitwise operationsDaniel Borkmann
2021-05-03bpf: Fix leakage of uninitialized bpf stack under speculationDaniel Borkmann
2021-05-03bpf: Fix masking negation logic upon negative dst registerDaniel Borkmann
2021-04-27bpf: Implement formatted output helpers with bstr_printfFlorent Revest
2021-04-27bpf: Fix propagation of 32 bit unsigned bounds from 64 bit boundsDaniel Borkmann
2021-04-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2021-04-23bpf: Remove unnecessary map checks for ARG_PTR_TO_CONST_STRFlorent Revest
2021-04-23bpf: Notify user if we ever hit a bpf_snprintf verifier bugFlorent Revest
2021-04-19bpf: Refine retval for bpf_get_task_stack helperDave Marchevsky
2021-04-19bpf: Add a bpf_snprintf helperFlorent Revest
2021-04-19bpf: Add a ARG_PTR_TO_CONST_STR argument typeFlorent Revest
2021-04-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2021-04-16bpf: Tighten speculative pointer arithmetic maskDaniel Borkmann
2021-04-16bpf: Move sanitize_val_alu out of op switchDaniel Borkmann
2021-04-16bpf: Refactor and streamline bounds check into helperDaniel Borkmann
2021-04-16bpf: Improve verifier error messages for usersDaniel Borkmann
2021-04-16bpf: Rework ptr_limit into alu_limit and add common error pathDaniel Borkmann
2021-04-16bpf: Ensure off_reg has no mixed signed bounds for all typesDaniel Borkmann
2021-04-16bpf: Move off_reg into sanitize_ptr_aluDaniel Borkmann
2021-04-16bpf: Use correct permission flag for mixed signed bounds arithmeticDaniel Borkmann
2021-04-09Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2021-03-26bpf: Support bpf program calling kernel functionMartin KaFai Lau
2021-03-26bpf: Refactor btf_check_func_arg_matchMartin KaFai Lau
2021-03-26bpf: Simplify freeing logic in linfo and jited_linfoMartin KaFai Lau
2021-03-26bpf: Enforce that struct_ops programs be GPL-onlyToke Høiland-Jørgensen
2021-03-26bpf: Undo ptr_to_map_key alu sanitation for nowDaniel Borkmann
2021-03-25Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2021-03-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller
2021-03-19bpf: Remove insn_buf[] declaration in inner blockJianlin Lv
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