summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)AuthorFilesLines
2022-01-19bpf: Generalize check_ctx_reg for reuse with other typesDaniel Borkmann1-2/+2
2021-12-19bpf: Replace PTR_TO_XXX_OR_NULL with PTR_TO_XXX | PTR_MAYBE_NULLHao Luo1-0/+4
2021-12-18bpf: Introduce composable reg, ret and arg types.Hao Luo1-0/+13
2021-12-17bpf: Right align verifier states in verifier logs.Christy Lee1-0/+3
2021-12-17bpf: Only print scratched registers and stack slots to verifier logs.Christy Lee1-0/+7
2021-12-04bpf: Disallow BPF_LOG_KERNEL log level for bpf(BPF_BTF_LOAD)Hou Tao1-0/+7
2021-10-06bpf: Introduce BPF support for kernel module function callsKumar Kartikeya Dwivedi1-0/+2
2021-07-31Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-1/+2
2021-07-29bpf: Fix leakage due to insufficient speculative store bypass mitigationDaniel Borkmann1-1/+1
2021-07-16bpf: Fix pointer arithmetic mask tightening under state pruningDaniel Borkmann1-0/+1
2021-07-15bpf: Teach stack depth check about async callbacks.Alexei Starovoitov1-0/+1
2021-07-15bpf: Implement verifier support for validation of async callbacks.Alexei Starovoitov1-1/+8
2021-07-15bpf: Prevent pointer mismatch in bpf_timer_init.Alexei Starovoitov1-1/+8
2021-05-19bpf: Introduce fd_idxAlexei Starovoitov1-0/+1
2021-05-11bpf: verifier: Allocate idmap scratch in verifier envLorenz Bauer1-0/+8
2021-05-03bpf: Fix leakage of uninitialized bpf stack under speculationDaniel Borkmann1-2/+3
2021-04-14bpf: Return target info when a tracing bpf_link is queriedToke Høiland-Jørgensen1-0/+9
2021-02-27bpf: Add bpf_for_each_map_elem() helperYonghong Song1-0/+3
2021-02-13bpf: Support pointers in global func argsDmitrii Banshchikov1-0/+2
2021-02-10bpf: Allow variable-offset stack accessAndrei Matei1-1/+2
2021-01-13bpf: Support BPF ksym variables in kernel modulesAndrii Nakryiko1-0/+3
2020-12-04bpf: Remove hard-coded btf_vmlinux assumption from BPF verifierAndrii Nakryiko1-7/+21
2020-11-13bpf: Support for pointers beyond pkt_end.Alexei Starovoitov1-1/+1
2020-10-03bpf: Introduce pseudo_btf_idHao Luo1-0/+7
2020-09-29bpf: verifier: refactor check_attach_btf_id()Toke Høiland-Jørgensen1-0/+13
2020-09-29bpf: change logging calls from verbose() to bpf_log() and use log pointerToke Høiland-Jørgensen1-2/+3
2020-09-18bpf: Add abnormal return checks.Alexei Starovoitov1-0/+1
2020-09-18bpf, x64: rework pro/epilogue and tailcall handling in JITMaciej Fijalkowski1-0/+1
2020-09-18bpf: Limit caller's stack depth 256 for subprogs with tailcallsMaciej Fijalkowski1-0/+1
2020-06-22bpf: Support access to bpf map fieldsAndrey Ignatov1-0/+1
2020-06-02bpf: Implement BPF ring buffer and verifier support for itAndrii Nakryiko1-0/+4
2020-05-15bpf: Implement CAP_BPFAlexei Starovoitov1-0/+3
2020-03-31bpf: Verifier, do explicit ALU32 bounds trackingJohn Fastabend1-0/+4
2020-01-10bpf: Introduce function-by-function verificationAlexei Starovoitov1-2/+8
2019-11-25bpf: Constant map key tracking for prog array pokesDaniel Borkmann1-1/+2
2019-11-16bpf: Compare BTF types of functions arguments with actual typesAlexei Starovoitov1-0/+1
2019-10-17bpf: Implement accurate raw_tp context access via BTFAlexei Starovoitov1-0/+4
2019-10-17bpf: Process in-kernel BTFAlexei Starovoitov1-1/+3
2019-08-28bpf: introduce verifier internal test flagAlexei Starovoitov1-0/+1
2019-06-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-1/+68
2019-06-19bpf: precise scalar_value trackingAlexei Starovoitov1-0/+18
2019-06-19bpf: introduce bounded loopsAlexei Starovoitov1-1/+50
2019-06-07Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-4/+1
2019-05-30treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 206Thomas Gleixner1-4/+1
2019-05-25bpf: verifier: mark verified-insn with sub-register zext flagJiong Wang1-3/+11
2019-05-24bpf: convert explored_states to hash tableAlexei Starovoitov1-0/+1
2019-05-24bpf: split explored_statesAlexei Starovoitov1-0/+1
2019-04-23bpf: remove global variablesAlexei Starovoitov1-0/+5
2019-04-10bpf: implement lookup-free direct value access for mapsDaniel Borkmann1-0/+4
2019-04-04bpf: improve verification speed by droping statesAlexei Starovoitov1-0/+2