summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorLines
2020-12-14Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski-1/+2
2020-12-14bpf: Permits pointers on stack for helper callsYonghong Song-1/+2
2020-12-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski-5/+5
2020-12-10bpf: Fix propagation of 32-bit signed bounds from 64-bit bounds.Alexei Starovoitov-5/+5
2020-12-04Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski-114/+142
2020-12-03bpf: Remove hard-coded btf_vmlinux assumption from BPF verifierAndrii Nakryiko-30/+47
2020-11-24bpf: Refactor check_cfg to use a structured loop.Wedson Almeida Filho-84/+95
2020-11-19Merge https://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski-3/+15
2020-11-14bpf: Relax return code check for subprogramsDmitrii Banshchikov-2/+13
2020-11-13bpf: Augment the set of sleepable LSM hooksKP Singh-15/+1
2020-11-13bpf: Support for pointers beyond pkt_end.Alexei Starovoitov-22/+107
2020-11-11bpf: Fix unsigned 'datasec_id' compared with zero in check_pseudo_btf_idKaixu Xia-1/+2
2020-11-06bpf: Implement get_current_task_btf and RET_PTR_TO_BTF_IDKP Singh-2/+5
2020-11-06bpf: Implement task local storageKP Singh-0/+10
2020-11-06bpf: Allow LSM programs to use bpf spin locksKP Singh-5/+15
2020-10-19bpf: Enforce id generation for all may-be-null register typeMartin KaFai Lau-6/+5
2020-10-15bpf: Fix register equivalence tracking.Alexei Starovoitov-13/+25
2020-10-12Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski-19/+251
2020-10-11bpf: Allow for map-in-map with dynamic inner array map entriesDaniel Borkmann-2/+4
2020-10-09bpf: Track spill/fill of bounded scalars.Yonghong Song-1/+15
2020-10-09bpf: Propagate scalar ranges through register assignments.Alexei Starovoitov-0/+50
2020-10-08Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski-4/+4
2020-10-08bpf: Fix scalar32_min_max_or bounds trackingDaniel Borkmann-4/+4
2020-10-07kernel/bpf/verifier: Fix build when NET is not enabledRandy Dunlap-0/+4
2020-10-05bpf, verifier: Use fallthrough pseudo-keywordGustavo A. R. Silva-2/+2
2020-10-02bpf: Introducte bpf_this_cpu_ptr()Hao Luo-3/+8
2020-10-02bpf: Introduce bpf_per_cpu_ptr()Hao Luo-3/+61
2020-10-02bpf: Introduce pseudo_btf_idHao Luo-13/+112
2020-09-29bpf: Support attaching freplace programs to multiple attach pointsToke Høiland-Jørgensen-0/+10
2020-09-29bpf: Move prog->aux->linked_prog and trampoline into bpf_link on attachToke Høiland-Jørgensen-4/+7
2020-09-28bpf: Provide function to get vmlinux BTF informationAlan Maguire-6/+12
2020-09-28bpf: verifier: refactor check_attach_btf_id()Toke Høiland-Jørgensen-86/+97
2020-09-28bpf: change logging calls from verbose() to bpf_log() and use log pointerToke Høiland-Jørgensen-25/+25
2020-09-28bpf: disallow attaching modify_return tracing functions to other BPF programsToke Høiland-Jørgensen-0/+5
2020-09-28bpf: sockmap: Enable map_update_elem from bpf_iterLorenz Bauer-1/+1
2020-09-25bpf, verifier: Remove redundant var_off.value ops in scalar known reg casesJohn Fastabend-4/+2
2020-09-25bpf: Enable bpf_skc_to_* sock casting helper to networking prog typeMartin KaFai Lau-2/+32
2020-09-25bpf: Move the PTR_TO_BTF_ID check to check_reg_type()Martin KaFai Lau-29/+31
2020-09-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller-180/+360
2020-09-23bpf: Explicitly size compatible_reg_typesLorenz Bauer-2/+1
2020-09-21bpf: Use a table to drive helper arg type checksLorenz Bauer-74/+109
2020-09-21bpf: Hoist type checking for nullable arg typesLorenz Bauer-34/+30
2020-09-21bpf: Check ARG_PTR_TO_SPINLOCK register type in check_func_argLorenz Bauer-14/+14
2020-09-21bpf: Set meta->raw_mode for pointers close to useLorenz Bauer-1/+5
2020-09-21bpf: Make context access check genericLorenz Bauer-3/+4
2020-09-21bpf: Make reference tracking genericLorenz Bauer-16/+10
2020-09-21bpf: Make BTF pointer type checking genericLorenz Bauer-18/+20
2020-09-21bpf: Allow specifying a BTF ID per argument in function protosLorenz Bauer-22/+22
2020-09-21bpf: Check scalar or invalid register in check_helper_mem_accessLorenz Bauer-13/+11
2020-09-17bpf: Add abnormal return checks.Alexei Starovoitov-19/+48