summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2020-08-21bpf: sockmap: Allow update from BPFLorenz Bauer
2020-08-21bpf: Override the meaning of ARG_PTR_TO_MAP_VALUE for sockmap and sockhashLorenz Bauer
2020-08-07bpf: Delete repeated words in commentsRandy Dunlap
2020-07-31bpf: Add missing newline characters in verifier error messagesYonghong Song
2020-07-28bpf: Fix swapped arguments in calls to check_buffer_accessColin Ian King
2020-07-25bpf: Fail PERF_EVENT_IOC_SET_BPF when bpf_get_[stack|stackid] cannot workSong Liu
2020-07-25bpf: Support readonly/readwrite buffers in verifierYonghong Song
2020-07-17bpf: Introduce SK_LOOKUP program type with a dedicated attach pointJakub Sitnicki
2020-07-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller
2020-07-01bpf: Introduce helper bpf_get_task_stack()Song Liu
2020-06-30bpf: Fix an incorrect branch elimination by verifierYonghong Song
2020-06-24bpf: Add bpf_skc_to_tcp6_sock() helperYonghong Song
2020-06-23bpf: Set the number of exception entries properly for subprogramsYonghong Song
2020-06-22bpf: Support access to bpf map fieldsAndrey Ignatov
2020-06-19bpf: Avoid verifier failure for 32bit pointer arithmeticYonghong Song
2020-06-04bpf: Fix an error code in check_btf_func()Dan Carpenter
2020-06-01bpf: Implement BPF ring buffer and verifier support for itAndrii Nakryiko
2020-05-31Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller
2020-05-29bpf: Fix a verifier issue when assigning 32bit reg states to 64bit onesJohn Fastabend
2020-05-29bpf: Fix use-after-free in fmod_ret checkAlexei Starovoitov