summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: Fix signed_{sub,add32}_overflows type handlingDaniel Borkmann2021-01-201-3/+3
* bpf: Support PTR_TO_MEM{,_OR_NULL} register spillingGilad Reti2021-01-131-0/+2
* Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski2020-12-141-1/+2
|\
| * bpf: Permits pointers on stack for helper callsYonghong Song2020-12-141-1/+2
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2020-12-111-5/+5
|\ \ | |/ |/|
| * bpf: Fix propagation of 32-bit signed bounds from 64-bit bounds.Alexei Starovoitov2020-12-101-5/+5
* | Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski2020-12-041-114/+142
|\ \
| * | bpf: Remove hard-coded btf_vmlinux assumption from BPF verifierAndrii Nakryiko2020-12-031-30/+47
| * | bpf: Refactor check_cfg to use a structured loop.Wedson Almeida Filho2020-11-241-84/+95
* | | Merge https://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2020-11-191-3/+15
|\ \ \ | |/ / |/| / | |/
| * bpf: Relax return code check for subprogramsDmitrii Banshchikov2020-11-141-2/+13
| * bpf: Fix unsigned 'datasec_id' compared with zero in check_pseudo_btf_idKaixu Xia2020-11-111-1/+2
* | bpf: Augment the set of sleepable LSM hooksKP Singh2020-11-131-15/+1
* | bpf: Support for pointers beyond pkt_end.Alexei Starovoitov2020-11-131-22/+107
* | bpf: Implement get_current_task_btf and RET_PTR_TO_BTF_IDKP Singh2020-11-061-2/+5
* | bpf: Implement task local storageKP Singh2020-11-061-0/+10
* | bpf: Allow LSM programs to use bpf spin locksKP Singh2020-11-061-5/+15
|/
* bpf: Enforce id generation for all may-be-null register typeMartin KaFai Lau2020-10-191-6/+5
* bpf: Fix register equivalence tracking.Alexei Starovoitov2020-10-151-13/+25
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski2020-10-121-19/+251
|\
| * bpf: Allow for map-in-map with dynamic inner array map entriesDaniel Borkmann2020-10-111-2/+4
| * bpf: Track spill/fill of bounded scalars.Yonghong Song2020-10-091-1/+15
| * bpf: Propagate scalar ranges through register assignments.Alexei Starovoitov2020-10-091-0/+50
| * kernel/bpf/verifier: Fix build when NET is not enabledRandy Dunlap2020-10-071-0/+4
| * bpf, verifier: Use fallthrough pseudo-keywordGustavo A. R. Silva2020-10-051-2/+2
| * bpf: Introducte bpf_this_cpu_ptr()Hao Luo2020-10-021-3/+8
| * bpf: Introduce bpf_per_cpu_ptr()Hao Luo2020-10-021-3/+61
| * bpf: Introduce pseudo_btf_idHao Luo2020-10-021-13/+112
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2020-10-081-4/+4
|\ \ | |/ |/|
| * bpf: Fix scalar32_min_max_or bounds trackingDaniel Borkmann2020-10-081-4/+4
* | bpf: Support attaching freplace programs to multiple attach pointsToke Høiland-Jørgensen2020-09-291-0/+10
* | bpf: Move prog->aux->linked_prog and trampoline into bpf_link on attachToke Høiland-Jørgensen2020-09-291-4/+7
* | bpf: Provide function to get vmlinux BTF informationAlan Maguire2020-09-281-6/+12
* | bpf: verifier: refactor check_attach_btf_id()Toke Høiland-Jørgensen2020-09-281-86/+97
* | bpf: change logging calls from verbose() to bpf_log() and use log pointerToke Høiland-Jørgensen2020-09-281-25/+25
* | bpf: disallow attaching modify_return tracing functions to other BPF programsToke Høiland-Jørgensen2020-09-281-0/+5
* | bpf: sockmap: Enable map_update_elem from bpf_iterLorenz Bauer2020-09-281-1/+1
* | bpf, verifier: Remove redundant var_off.value ops in scalar known reg casesJohn Fastabend2020-09-251-4/+2
* | bpf: Enable bpf_skc_to_* sock casting helper to networking prog typeMartin KaFai Lau2020-09-251-2/+32
* | bpf: Move the PTR_TO_BTF_ID check to check_reg_type()Martin KaFai Lau2020-09-251-29/+31
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2020-09-231-180/+360
|\ \
| * | bpf: Explicitly size compatible_reg_typesLorenz Bauer2020-09-231-2/+1
| * | bpf: Use a table to drive helper arg type checksLorenz Bauer2020-09-211-74/+109
| * | bpf: Hoist type checking for nullable arg typesLorenz Bauer2020-09-211-34/+30
| * | bpf: Check ARG_PTR_TO_SPINLOCK register type in check_func_argLorenz Bauer2020-09-211-14/+14
| * | bpf: Set meta->raw_mode for pointers close to useLorenz Bauer2020-09-211-1/+5
| * | bpf: Make context access check genericLorenz Bauer2020-09-211-3/+4
| * | bpf: Make reference tracking genericLorenz Bauer2020-09-211-16/+10
| * | bpf: Make BTF pointer type checking genericLorenz Bauer2020-09-211-18/+20
| * | bpf: Allow specifying a BTF ID per argument in function protosLorenz Bauer2020-09-211-22/+22
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-30 20:51:15 +0000