summaryrefslogtreecommitdiffstats
path: root/include/linux/bpf_verifier.h
Commit message (Expand)AuthorAgeFilesLines
* 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
| * bpf: introduce bounded loopsAlexei Starovoitov2019-06-191-1/+50
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2019-06-071-4/+1
|\ \ | |/ |/|
| * treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 206Thomas Gleixner2019-05-301-4/+1
* | bpf: verifier: mark verified-insn with sub-register zext flagJiong Wang2019-05-241-3/+11
* | bpf: convert explored_states to hash tableAlexei Starovoitov2019-05-241-0/+1
* | bpf: split explored_statesAlexei Starovoitov2019-05-241-0/+1
|/
* bpf: remove global variablesAlexei Starovoitov2019-04-231-0/+5
* bpf: implement lookup-free direct value access for mapsDaniel Borkmann2019-04-091-0/+4
* bpf: improve verification speed by droping statesAlexei Starovoitov2019-04-041-0/+2
* bpf: add verifier stats and log_level bit 2Alexei Starovoitov2019-04-041-0/+21
* bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_releaseMartin KaFai Lau2019-03-131-0/+40
* bpf: introduce bpf_spin_lockAlexei Starovoitov2019-02-011-0/+1
* bpf: notify offload JITs about optimizationsJakub Kicinski2019-01-231-0/+5
* bpf: verifier: record original instruction indexJakub Kicinski2019-01-231-0/+1
* bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann2019-01-051-0/+1
* bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann2019-01-021-0/+10
* bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann2019-01-021-0/+2
* bpf: add self-check logic to liveness analysisAlexei Starovoitov2018-12-151-0/+1
* bpf: verbose log bpf_line_info in verifierMartin KaFai Lau2018-12-141-0/+1
* bpf: Add bpf_line_info supportMartin KaFai Lau2018-12-091-0/+1
* bpf: btf: support proper non-jit func infoYonghong Song2018-11-261-1/+0
* bpf: Introduce bpf_func_infoYonghong Song2018-11-201-0/+1
* bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()Quentin Monnet2018-11-101-1/+1
* bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann2018-10-311-0/+3
* bpf: add verifier callback to get stack usage info for offloaded progsQuentin Monnet2018-10-081-0/+1
* bpf: Add reference tracking to verifierJoe Stringer2018-10-031-3/+21
* bpf: Add PTR_TO_SOCKET verifier typeJoe Stringer2018-10-031-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-21 09:24:09 +0000