summaryrefslogtreecommitdiffstats
path: root/include/linux/bpf_verifier.h
Commit message (Expand)AuthorAgeFilesLines
* bpf: Dynptr support for ring buffersJoanne Koong2022-05-231-0/+2
* bpf: Add verifier support for dynptrsJoanne Koong2022-05-231-0/+18
* bpf: Tag argument to be released in bpf_func_protoKumar Kartikeya Dwivedi2022-04-251-2/+1
* bpf: Resolve to prog->aux->dst_prog->type only for BPF_PROG_TYPE_EXTMartin KaFai Lau2022-03-301-1/+3
* bpf: Harden register offset checks for release helpers and kfuncsKumar Kartikeya Dwivedi2022-03-051-1/+2
* bpf: Add check_func_arg_reg_off functionKumar Kartikeya Dwivedi2022-03-051-0/+3
* Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski2022-01-241-0/+7
|\
| * bpf: Add reference tracking support to kfuncKumar Kartikeya Dwivedi2022-01-181-0/+5
| * bpf: Introduce mem, size argument pair support for kfuncKumar Kartikeya Dwivedi2022-01-181-0/+2
* | bpf: Generalize check_ctx_reg for reuse with other typesDaniel Borkmann2022-01-191-2/+2
|/
* bpf: Replace PTR_TO_XXX_OR_NULL with PTR_TO_XXX | PTR_MAYBE_NULLHao Luo2021-12-181-0/+4
* bpf: Introduce composable reg, ret and arg types.Hao Luo2021-12-181-0/+13
* bpf: Right align verifier states in verifier logs.Christy Lee2021-12-161-0/+3
* bpf: Only print scratched registers and stack slots to verifier logs.Christy Lee2021-12-161-0/+7
* bpf: Disallow BPF_LOG_KERNEL log level for bpf(BPF_BTF_LOAD)Hou Tao2021-12-041-0/+7
* bpf: Introduce BPF support for kernel module function callsKumar Kartikeya Dwivedi2021-10-051-0/+2
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2021-07-311-1/+2
|\
| * bpf: Fix leakage due to insufficient speculative store bypass mitigationDaniel Borkmann2021-07-291-1/+1
| * bpf: Fix pointer arithmetic mask tightening under state pruningDaniel Borkmann2021-07-161-0/+1
* | bpf: Teach stack depth check about async callbacks.Alexei Starovoitov2021-07-151-0/+1
* | bpf: Implement verifier support for validation of async callbacks.Alexei Starovoitov2021-07-151-1/+8
* | bpf: Prevent pointer mismatch in bpf_timer_init.Alexei Starovoitov2021-07-151-1/+8
|/
* bpf: Introduce fd_idxAlexei Starovoitov2021-05-191-0/+1
* bpf: verifier: Allocate idmap scratch in verifier envLorenz Bauer2021-05-101-0/+8
* bpf: Fix leakage of uninitialized bpf stack under speculationDaniel Borkmann2021-05-031-2/+3
* bpf: Return target info when a tracing bpf_link is queriedToke Høiland-Jørgensen2021-04-131-0/+9
* bpf: Add bpf_for_each_map_elem() helperYonghong Song2021-02-261-0/+3
* bpf: Support pointers in global func argsDmitrii Banshchikov2021-02-121-0/+2
* bpf: Allow variable-offset stack accessAndrei Matei2021-02-101-1/+2
* bpf: Support BPF ksym variables in kernel modulesAndrii Nakryiko2021-01-121-0/+3
* bpf: Remove hard-coded btf_vmlinux assumption from BPF verifierAndrii Nakryiko2020-12-031-7/+21
* bpf: Support for pointers beyond pkt_end.Alexei Starovoitov2020-11-131-1/+1
* bpf: Introduce pseudo_btf_idHao Luo2020-10-021-0/+7
* bpf: verifier: refactor check_attach_btf_id()Toke Høiland-Jørgensen2020-09-281-0/+13
* bpf: change logging calls from verbose() to bpf_log() and use log pointerToke Høiland-Jørgensen2020-09-281-2/+3
* bpf: Add abnormal return checks.Alexei Starovoitov2020-09-171-0/+1
* bpf, x64: rework pro/epilogue and tailcall handling in JITMaciej Fijalkowski2020-09-171-0/+1
* bpf: Limit caller's stack depth 256 for subprogs with tailcallsMaciej Fijalkowski2020-09-171-0/+1
* bpf: Support access to bpf map fieldsAndrey Ignatov2020-06-221-0/+1
* bpf: Implement BPF ring buffer and verifier support for itAndrii Nakryiko2020-06-011-0/+4
* bpf: Implement CAP_BPFAlexei Starovoitov2020-05-151-0/+3
* bpf: Verifier, do explicit ALU32 bounds trackingJohn Fastabend2020-03-301-0/+4
* bpf: Introduce function-by-function verificationAlexei Starovoitov2020-01-101-2/+8
* bpf: Constant map key tracking for prog array pokesDaniel Borkmann2019-11-241-1/+2
* bpf: Compare BTF types of functions arguments with actual typesAlexei Starovoitov2019-11-151-0/+1
* bpf: Implement accurate raw_tp context access via BTFAlexei Starovoitov2019-10-171-0/+4
* bpf: Process in-kernel BTFAlexei Starovoitov2019-10-171-1/+3
* bpf: introduce verifier internal test flagAlexei Starovoitov2019-08-281-0/+1
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2019-06-201-1/+68
|\
| * bpf: precise scalar_value trackingAlexei Starovoitov2019-06-191-0/+18