summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2020-10-19bpf: Enforce id generation for all may-be-null register typeMartin KaFai Lau
2020-10-15bpf: Fix register equivalence tracking.Alexei Starovoitov
2020-10-12Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski
2020-10-11bpf: Allow for map-in-map with dynamic inner array map entriesDaniel Borkmann
2020-10-09bpf: Track spill/fill of bounded scalars.Yonghong Song
2020-10-09bpf: Propagate scalar ranges through register assignments.Alexei Starovoitov
2020-10-08Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2020-10-08bpf: Fix scalar32_min_max_or bounds trackingDaniel Borkmann
2020-10-07kernel/bpf/verifier: Fix build when NET is not enabledRandy Dunlap
2020-10-05bpf, verifier: Use fallthrough pseudo-keywordGustavo A. R. Silva
2020-10-02bpf: Introducte bpf_this_cpu_ptr()Hao Luo
2020-10-02bpf: Introduce bpf_per_cpu_ptr()Hao Luo
2020-10-02bpf: Introduce pseudo_btf_idHao Luo
2020-09-29bpf: Support attaching freplace programs to multiple attach pointsToke Høiland-Jørgensen
2020-09-29bpf: Move prog->aux->linked_prog and trampoline into bpf_link on attachToke Høiland-Jørgensen
2020-09-28bpf: Provide function to get vmlinux BTF informationAlan Maguire
2020-09-28bpf: verifier: refactor check_attach_btf_id()Toke Høiland-Jørgensen
2020-09-28bpf: change logging calls from verbose() to bpf_log() and use log pointerToke Høiland-Jørgensen
2020-09-28bpf: disallow attaching modify_return tracing functions to other BPF programsToke Høiland-Jørgensen
2020-09-28bpf: sockmap: Enable map_update_elem from bpf_iterLorenz Bauer
2020-09-25bpf, verifier: Remove redundant var_off.value ops in scalar known reg casesJohn Fastabend
2020-09-25bpf: Enable bpf_skc_to_* sock casting helper to networking prog typeMartin KaFai Lau
2020-09-25bpf: Move the PTR_TO_BTF_ID check to check_reg_type()Martin KaFai Lau
2020-09-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2020-09-23bpf: Explicitly size compatible_reg_typesLorenz Bauer
2020-09-21bpf: Use a table to drive helper arg type checksLorenz Bauer
2020-09-21bpf: Hoist type checking for nullable arg typesLorenz Bauer
2020-09-21bpf: Check ARG_PTR_TO_SPINLOCK register type in check_func_argLorenz Bauer
2020-09-21bpf: Set meta->raw_mode for pointers close to useLorenz Bauer
2020-09-21bpf: Make context access check genericLorenz Bauer
2020-09-21bpf: Make reference tracking genericLorenz Bauer
2020-09-21bpf: Make BTF pointer type checking genericLorenz Bauer
2020-09-21bpf: Allow specifying a BTF ID per argument in function protosLorenz Bauer
2020-09-21bpf: Check scalar or invalid register in check_helper_mem_accessLorenz Bauer
2020-09-17bpf: Add abnormal return checks.Alexei Starovoitov
2020-09-17bpf: allow for tailcalls in BPF subprograms for x64 JITMaciej Fijalkowski
2020-09-17bpf, x64: rework pro/epilogue and tailcall handling in JITMaciej Fijalkowski
2020-09-17bpf: Limit caller's stack depth 256 for subprogs with tailcallsMaciej Fijalkowski
2020-09-17bpf: propagate poke descriptors to subprogramsMaciej Fijalkowski
2020-09-08bpf: Permit map_ptr arithmetic with opcode add and offset 0Yonghong Song
2020-09-04Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2020-08-31bpf: Remove bpf_lsm_file_mprotect from sleepable list.Alexei Starovoitov
2020-08-31bpf: Fix build without BPF_LSM.Alexei Starovoitov
2020-08-28bpf: Introduce sleepable BPF programsAlexei Starovoitov
2020-08-26bpf: Fix a verifier failure with xorYonghong Song
2020-08-26bpf: verifier: Use target program's type for access verificationsUdip Pant
2020-08-25bpf: Add BTF_SET_START/END macrosJiri Olsa
2020-08-25bpf: Add btf_struct_ids_match functionJiri Olsa
2020-08-25bpf: Implement bpf_local_storage for inodesKP Singh
2020-08-23treewide: Use fallthrough pseudo-keywordGustavo A. R. Silva