summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: No need to simulate speculative domain for immediatesDaniel Borkmann2021-05-251-1/+5
* bpf: Fix mask direction swap upon off reg sign changeDaniel Borkmann2021-05-251-10/+12
* bpf: Wrap aux data inside bpf_sanitize_info containerDaniel Borkmann2021-05-251-7/+11
* bpf, offload: Reorder offload callback 'prepare' in verifierYinjun Zhang2021-05-201-6/+6
* bpf: Add deny list of btf ids check for tracing programsJiri Olsa2021-05-111-0/+14
* bpf: Fix alu32 const subreg bound tracking on bitwise operationsDaniel Borkmann2021-05-111-13/+9
* bpf: Fix leakage of uninitialized bpf stack under speculationDaniel Borkmann2021-05-031-10/+17
* bpf: Fix masking negation logic upon negative dst registerDaniel Borkmann2021-05-031-8/+4
* bpf: Implement formatted output helpers with bstr_printfFlorent Revest2021-04-271-1/+1
* bpf: Fix propagation of 32 bit unsigned bounds from 64 bit boundsDaniel Borkmann2021-04-271-5/+3
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2021-04-251-0/+84
|\
| * bpf: Remove unnecessary map checks for ARG_PTR_TO_CONST_STRFlorent Revest2021-04-231-2/+1
| * bpf: Notify user if we ever hit a bpf_snprintf verifier bugFlorent Revest2021-04-231-2/+4
| * bpf: Refine retval for bpf_get_task_stack helperDave Marchevsky2021-04-191-0/+1
| * bpf: Add a bpf_snprintf helperFlorent Revest2021-04-191-0/+41
| * bpf: Add a ARG_PTR_TO_CONST_STR argument typeFlorent Revest2021-04-191-0/+41
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2021-04-171-74/+156
|\ \
| * | bpf: Tighten speculative pointer arithmetic maskDaniel Borkmann2021-04-161-29/+44
| * | bpf: Move sanitize_val_alu out of op switchDaniel Borkmann2021-04-161-6/+11
| * | bpf: Refactor and streamline bounds check into helperDaniel Borkmann2021-04-161-16/+33
| * | bpf: Improve verifier error messages for usersDaniel Borkmann2021-04-161-23/+63
| * | bpf: Rework ptr_limit into alu_limit and add common error pathDaniel Borkmann2021-04-161-8/+13
| * | bpf: Ensure off_reg has no mixed signed bounds for all typesDaniel Borkmann2021-04-161-10/+9
| * | bpf: Move off_reg into sanitize_ptr_aluDaniel Borkmann2021-04-161-4/+5
| * | bpf: Use correct permission flag for mixed signed bounds arithmeticDaniel Borkmann2021-04-161-1/+1
* | | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2021-04-091-0/+5
|\| | | |/ |/|
| * bpf: Enforce that struct_ops programs be GPL-onlyToke Høiland-Jørgensen2021-03-261-0/+5
* | bpf: Support bpf program calling kernel functionMartin KaFai Lau2021-03-261-24/+344
* | bpf: Refactor btf_check_func_arg_matchMartin KaFai Lau2021-03-261-2/+2
* | bpf: Simplify freeing logic in linfo and jited_linfoMartin KaFai Lau2021-03-261-2/+2
* | bpf: Undo ptr_to_map_key alu sanitation for nowDaniel Borkmann2021-03-261-14/+0
* | Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2021-03-251-1/+0
|\ \
| * | bpf: Remove insn_buf[] declaration in inner blockJianlin Lv2021-03-191-1/+0
* | | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller2021-03-251-12/+25
|\ \ \ | |/ / |/| / | |/
| * bpf: Add sanity check for upper ptr_limitPiotr Krysiuk2021-03-171-3/+8
| * bpf: Simplify alu_limit masking for pointer arithmeticPiotr Krysiuk2021-03-171-5/+5
| * bpf: Fix off-by-one for area size in creating mask to leftPiotr Krysiuk2021-03-171-2/+2
| * bpf: Prohibit alu ops for pointer types not defining ptr_limitPiotr Krysiuk2021-03-171-6/+10
| * bpf: Dont allow vmlinux BTF to be used in map_create and prog_load.Alexei Starovoitov2021-03-081-0/+4
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2021-03-091-64/+329
|\ \ | |/ |/|
| * bpf, xdp: Make bpf_redirect_map() a map operationBjörn Töpel2021-03-101-2/+11
| * bpf: Add hashtab support for bpf_for_each_map_elem() helperYonghong Song2021-02-261-0/+27
| * bpf: Add bpf_for_each_map_elem() helperYonghong Song2021-02-261-13/+195
| * bpf: Change return value of verifier function add_subprog()Yonghong Song2021-02-261-2/+2
| * bpf: Refactor check_func_call() to allow callback functionYonghong Song2021-02-261-17/+43
| * bpf: Factor out verbose_invalid_scalar()Yonghong Song2021-02-261-11/+19
| * bpf: Factor out visit_func_call_insn() in check_cfg()Yonghong Song2021-02-261-12/+23
| * bpf: Rename fixup_bpf_calls and add some commentsBrendan Jackman2021-02-261-7/+9
| * bpf: Use MAX_BPF_FUNC_REG_ARGS macroDmitrii Banshchikov2021-02-261-1/+1
* | bpf: Explicitly zero-extend R0 after 32-bit cmpxchgBrendan Jackman2021-03-041-1/+18
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-08 02:29:45 +0000