11bc38b8fSAlexei Starovoitov // SPDX-License-Identifier: (LGPL-2.1 OR BSD-2-Clause) 28a138aedSMartin KaFai Lau /* Copyright (c) 2018 Facebook */ 38a138aedSMartin KaFai Lau 48a138aedSMartin KaFai Lau #include <stdlib.h> 58a138aedSMartin KaFai Lau #include <string.h> 68a138aedSMartin KaFai Lau #include <unistd.h> 78a138aedSMartin KaFai Lau #include <errno.h> 88a138aedSMartin KaFai Lau #include <linux/err.h> 98a138aedSMartin KaFai Lau #include <linux/btf.h> 108a138aedSMartin KaFai Lau #include "btf.h" 118a138aedSMartin KaFai Lau #include "bpf.h" 128a138aedSMartin KaFai Lau 138a138aedSMartin KaFai Lau #define elog(fmt, ...) { if (err_log) err_log(fmt, ##__VA_ARGS__); } 148a138aedSMartin KaFai Lau #define max(a, b) ((a) > (b) ? (a) : (b)) 158a138aedSMartin KaFai Lau #define min(a, b) ((a) < (b) ? (a) : (b)) 168a138aedSMartin KaFai Lau 178a138aedSMartin KaFai Lau #define BTF_MAX_NR_TYPES 65535 188a138aedSMartin KaFai Lau 1992b57121SOkash Khawaja #define IS_MODIFIER(k) (((k) == BTF_KIND_TYPEDEF) || \ 2092b57121SOkash Khawaja ((k) == BTF_KIND_VOLATILE) || \ 2192b57121SOkash Khawaja ((k) == BTF_KIND_CONST) || \ 2292b57121SOkash Khawaja ((k) == BTF_KIND_RESTRICT)) 2392b57121SOkash Khawaja 248a138aedSMartin KaFai Lau static struct btf_type btf_void; 258a138aedSMartin KaFai Lau 268a138aedSMartin KaFai Lau struct btf { 278a138aedSMartin KaFai Lau union { 288a138aedSMartin KaFai Lau struct btf_header *hdr; 298a138aedSMartin KaFai Lau void *data; 308a138aedSMartin KaFai Lau }; 318a138aedSMartin KaFai Lau struct btf_type **types; 328a138aedSMartin KaFai Lau const char *strings; 338a138aedSMartin KaFai Lau void *nohdr_data; 345b891af7SMartin KaFai Lau __u32 nr_types; 355b891af7SMartin KaFai Lau __u32 types_size; 365b891af7SMartin KaFai Lau __u32 data_size; 378a138aedSMartin KaFai Lau int fd; 388a138aedSMartin KaFai Lau }; 398a138aedSMartin KaFai Lau 40*2993e051SYonghong Song struct btf_ext { 41*2993e051SYonghong Song void *func_info; 42*2993e051SYonghong Song __u32 func_info_rec_size; 43*2993e051SYonghong Song __u32 func_info_len; 44*2993e051SYonghong Song }; 45*2993e051SYonghong Song 46*2993e051SYonghong Song /* The minimum bpf_func_info checked by the loader */ 47*2993e051SYonghong Song struct bpf_func_info_min { 48*2993e051SYonghong Song __u32 insn_offset; 49*2993e051SYonghong Song __u32 type_id; 50*2993e051SYonghong Song }; 51*2993e051SYonghong Song 528a138aedSMartin KaFai Lau static int btf_add_type(struct btf *btf, struct btf_type *t) 538a138aedSMartin KaFai Lau { 548a138aedSMartin KaFai Lau if (btf->types_size - btf->nr_types < 2) { 558a138aedSMartin KaFai Lau struct btf_type **new_types; 565b891af7SMartin KaFai Lau __u32 expand_by, new_size; 578a138aedSMartin KaFai Lau 588a138aedSMartin KaFai Lau if (btf->types_size == BTF_MAX_NR_TYPES) 598a138aedSMartin KaFai Lau return -E2BIG; 608a138aedSMartin KaFai Lau 618a138aedSMartin KaFai Lau expand_by = max(btf->types_size >> 2, 16); 628a138aedSMartin KaFai Lau new_size = min(BTF_MAX_NR_TYPES, btf->types_size + expand_by); 638a138aedSMartin KaFai Lau 648a138aedSMartin KaFai Lau new_types = realloc(btf->types, sizeof(*new_types) * new_size); 658a138aedSMartin KaFai Lau if (!new_types) 668a138aedSMartin KaFai Lau return -ENOMEM; 678a138aedSMartin KaFai Lau 688a138aedSMartin KaFai Lau if (btf->nr_types == 0) 698a138aedSMartin KaFai Lau new_types[0] = &btf_void; 708a138aedSMartin KaFai Lau 718a138aedSMartin KaFai Lau btf->types = new_types; 728a138aedSMartin KaFai Lau btf->types_size = new_size; 738a138aedSMartin KaFai Lau } 748a138aedSMartin KaFai Lau 758a138aedSMartin KaFai Lau btf->types[++(btf->nr_types)] = t; 768a138aedSMartin KaFai Lau 778a138aedSMartin KaFai Lau return 0; 788a138aedSMartin KaFai Lau } 798a138aedSMartin KaFai Lau 808a138aedSMartin KaFai Lau static int btf_parse_hdr(struct btf *btf, btf_print_fn_t err_log) 818a138aedSMartin KaFai Lau { 828a138aedSMartin KaFai Lau const struct btf_header *hdr = btf->hdr; 835b891af7SMartin KaFai Lau __u32 meta_left; 848a138aedSMartin KaFai Lau 858a138aedSMartin KaFai Lau if (btf->data_size < sizeof(struct btf_header)) { 868a138aedSMartin KaFai Lau elog("BTF header not found\n"); 878a138aedSMartin KaFai Lau return -EINVAL; 888a138aedSMartin KaFai Lau } 898a138aedSMartin KaFai Lau 908a138aedSMartin KaFai Lau if (hdr->magic != BTF_MAGIC) { 918a138aedSMartin KaFai Lau elog("Invalid BTF magic:%x\n", hdr->magic); 928a138aedSMartin KaFai Lau return -EINVAL; 938a138aedSMartin KaFai Lau } 948a138aedSMartin KaFai Lau 958a138aedSMartin KaFai Lau if (hdr->version != BTF_VERSION) { 968a138aedSMartin KaFai Lau elog("Unsupported BTF version:%u\n", hdr->version); 978a138aedSMartin KaFai Lau return -ENOTSUP; 988a138aedSMartin KaFai Lau } 998a138aedSMartin KaFai Lau 1008a138aedSMartin KaFai Lau if (hdr->flags) { 1018a138aedSMartin KaFai Lau elog("Unsupported BTF flags:%x\n", hdr->flags); 1028a138aedSMartin KaFai Lau return -ENOTSUP; 1038a138aedSMartin KaFai Lau } 1048a138aedSMartin KaFai Lau 1058a138aedSMartin KaFai Lau meta_left = btf->data_size - sizeof(*hdr); 1068a138aedSMartin KaFai Lau if (!meta_left) { 1078a138aedSMartin KaFai Lau elog("BTF has no data\n"); 1088a138aedSMartin KaFai Lau return -EINVAL; 1098a138aedSMartin KaFai Lau } 1108a138aedSMartin KaFai Lau 1118a138aedSMartin KaFai Lau if (meta_left < hdr->type_off) { 1128a138aedSMartin KaFai Lau elog("Invalid BTF type section offset:%u\n", hdr->type_off); 1138a138aedSMartin KaFai Lau return -EINVAL; 1148a138aedSMartin KaFai Lau } 1158a138aedSMartin KaFai Lau 1168a138aedSMartin KaFai Lau if (meta_left < hdr->str_off) { 1178a138aedSMartin KaFai Lau elog("Invalid BTF string section offset:%u\n", hdr->str_off); 1188a138aedSMartin KaFai Lau return -EINVAL; 1198a138aedSMartin KaFai Lau } 1208a138aedSMartin KaFai Lau 1218a138aedSMartin KaFai Lau if (hdr->type_off >= hdr->str_off) { 1228a138aedSMartin KaFai Lau elog("BTF type section offset >= string section offset. No type?\n"); 1238a138aedSMartin KaFai Lau return -EINVAL; 1248a138aedSMartin KaFai Lau } 1258a138aedSMartin KaFai Lau 1268a138aedSMartin KaFai Lau if (hdr->type_off & 0x02) { 1278a138aedSMartin KaFai Lau elog("BTF type section is not aligned to 4 bytes\n"); 1288a138aedSMartin KaFai Lau return -EINVAL; 1298a138aedSMartin KaFai Lau } 1308a138aedSMartin KaFai Lau 1318a138aedSMartin KaFai Lau btf->nohdr_data = btf->hdr + 1; 1328a138aedSMartin KaFai Lau 1338a138aedSMartin KaFai Lau return 0; 1348a138aedSMartin KaFai Lau } 1358a138aedSMartin KaFai Lau 1368a138aedSMartin KaFai Lau static int btf_parse_str_sec(struct btf *btf, btf_print_fn_t err_log) 1378a138aedSMartin KaFai Lau { 1388a138aedSMartin KaFai Lau const struct btf_header *hdr = btf->hdr; 1398a138aedSMartin KaFai Lau const char *start = btf->nohdr_data + hdr->str_off; 1408a138aedSMartin KaFai Lau const char *end = start + btf->hdr->str_len; 1418a138aedSMartin KaFai Lau 1428a138aedSMartin KaFai Lau if (!hdr->str_len || hdr->str_len - 1 > BTF_MAX_NAME_OFFSET || 1438a138aedSMartin KaFai Lau start[0] || end[-1]) { 1448a138aedSMartin KaFai Lau elog("Invalid BTF string section\n"); 1458a138aedSMartin KaFai Lau return -EINVAL; 1468a138aedSMartin KaFai Lau } 1478a138aedSMartin KaFai Lau 1488a138aedSMartin KaFai Lau btf->strings = start; 1498a138aedSMartin KaFai Lau 1508a138aedSMartin KaFai Lau return 0; 1518a138aedSMartin KaFai Lau } 1528a138aedSMartin KaFai Lau 1538a138aedSMartin KaFai Lau static int btf_parse_type_sec(struct btf *btf, btf_print_fn_t err_log) 1548a138aedSMartin KaFai Lau { 1558a138aedSMartin KaFai Lau struct btf_header *hdr = btf->hdr; 1568a138aedSMartin KaFai Lau void *nohdr_data = btf->nohdr_data; 1578a138aedSMartin KaFai Lau void *next_type = nohdr_data + hdr->type_off; 1588a138aedSMartin KaFai Lau void *end_type = nohdr_data + hdr->str_off; 1598a138aedSMartin KaFai Lau 1608a138aedSMartin KaFai Lau while (next_type < end_type) { 1618a138aedSMartin KaFai Lau struct btf_type *t = next_type; 1625b891af7SMartin KaFai Lau __u16 vlen = BTF_INFO_VLEN(t->info); 1638a138aedSMartin KaFai Lau int err; 1648a138aedSMartin KaFai Lau 1658a138aedSMartin KaFai Lau next_type += sizeof(*t); 1668a138aedSMartin KaFai Lau switch (BTF_INFO_KIND(t->info)) { 1678a138aedSMartin KaFai Lau case BTF_KIND_INT: 1688a138aedSMartin KaFai Lau next_type += sizeof(int); 1698a138aedSMartin KaFai Lau break; 1708a138aedSMartin KaFai Lau case BTF_KIND_ARRAY: 1718a138aedSMartin KaFai Lau next_type += sizeof(struct btf_array); 1728a138aedSMartin KaFai Lau break; 1738a138aedSMartin KaFai Lau case BTF_KIND_STRUCT: 1748a138aedSMartin KaFai Lau case BTF_KIND_UNION: 1758a138aedSMartin KaFai Lau next_type += vlen * sizeof(struct btf_member); 1768a138aedSMartin KaFai Lau break; 1778a138aedSMartin KaFai Lau case BTF_KIND_ENUM: 1788a138aedSMartin KaFai Lau next_type += vlen * sizeof(struct btf_enum); 1798a138aedSMartin KaFai Lau break; 18078a2540eSMartin KaFai Lau case BTF_KIND_FUNC_PROTO: 18178a2540eSMartin KaFai Lau next_type += vlen * sizeof(struct btf_param); 18278a2540eSMartin KaFai Lau break; 18378a2540eSMartin KaFai Lau case BTF_KIND_FUNC: 1848a138aedSMartin KaFai Lau case BTF_KIND_TYPEDEF: 1858a138aedSMartin KaFai Lau case BTF_KIND_PTR: 1868a138aedSMartin KaFai Lau case BTF_KIND_FWD: 1878a138aedSMartin KaFai Lau case BTF_KIND_VOLATILE: 1888a138aedSMartin KaFai Lau case BTF_KIND_CONST: 1898a138aedSMartin KaFai Lau case BTF_KIND_RESTRICT: 1908a138aedSMartin KaFai Lau break; 1918a138aedSMartin KaFai Lau default: 1928a138aedSMartin KaFai Lau elog("Unsupported BTF_KIND:%u\n", 1938a138aedSMartin KaFai Lau BTF_INFO_KIND(t->info)); 1948a138aedSMartin KaFai Lau return -EINVAL; 1958a138aedSMartin KaFai Lau } 1968a138aedSMartin KaFai Lau 1978a138aedSMartin KaFai Lau err = btf_add_type(btf, t); 1988a138aedSMartin KaFai Lau if (err) 1998a138aedSMartin KaFai Lau return err; 2008a138aedSMartin KaFai Lau } 2018a138aedSMartin KaFai Lau 2028a138aedSMartin KaFai Lau return 0; 2038a138aedSMartin KaFai Lau } 2048a138aedSMartin KaFai Lau 20538d5d3b3SMartin KaFai Lau const struct btf_type *btf__type_by_id(const struct btf *btf, __u32 type_id) 2068a138aedSMartin KaFai Lau { 2078a138aedSMartin KaFai Lau if (type_id > btf->nr_types) 2088a138aedSMartin KaFai Lau return NULL; 2098a138aedSMartin KaFai Lau 2108a138aedSMartin KaFai Lau return btf->types[type_id]; 2118a138aedSMartin KaFai Lau } 2128a138aedSMartin KaFai Lau 2138a138aedSMartin KaFai Lau static bool btf_type_is_void(const struct btf_type *t) 2148a138aedSMartin KaFai Lau { 2158a138aedSMartin KaFai Lau return t == &btf_void || BTF_INFO_KIND(t->info) == BTF_KIND_FWD; 2168a138aedSMartin KaFai Lau } 2178a138aedSMartin KaFai Lau 2188a138aedSMartin KaFai Lau static bool btf_type_is_void_or_null(const struct btf_type *t) 2198a138aedSMartin KaFai Lau { 2208a138aedSMartin KaFai Lau return !t || btf_type_is_void(t); 2218a138aedSMartin KaFai Lau } 2228a138aedSMartin KaFai Lau 2235b891af7SMartin KaFai Lau static __s64 btf_type_size(const struct btf_type *t) 2248a138aedSMartin KaFai Lau { 2258a138aedSMartin KaFai Lau switch (BTF_INFO_KIND(t->info)) { 2268a138aedSMartin KaFai Lau case BTF_KIND_INT: 2278a138aedSMartin KaFai Lau case BTF_KIND_STRUCT: 2288a138aedSMartin KaFai Lau case BTF_KIND_UNION: 2298a138aedSMartin KaFai Lau case BTF_KIND_ENUM: 2308a138aedSMartin KaFai Lau return t->size; 2318a138aedSMartin KaFai Lau case BTF_KIND_PTR: 2328a138aedSMartin KaFai Lau return sizeof(void *); 2338a138aedSMartin KaFai Lau default: 2348a138aedSMartin KaFai Lau return -EINVAL; 2358a138aedSMartin KaFai Lau } 2368a138aedSMartin KaFai Lau } 2378a138aedSMartin KaFai Lau 2388a138aedSMartin KaFai Lau #define MAX_RESOLVE_DEPTH 32 2398a138aedSMartin KaFai Lau 2405b891af7SMartin KaFai Lau __s64 btf__resolve_size(const struct btf *btf, __u32 type_id) 2418a138aedSMartin KaFai Lau { 2428a138aedSMartin KaFai Lau const struct btf_array *array; 2438a138aedSMartin KaFai Lau const struct btf_type *t; 2445b891af7SMartin KaFai Lau __u32 nelems = 1; 2455b891af7SMartin KaFai Lau __s64 size = -1; 2468a138aedSMartin KaFai Lau int i; 2478a138aedSMartin KaFai Lau 24892b57121SOkash Khawaja t = btf__type_by_id(btf, type_id); 2498a138aedSMartin KaFai Lau for (i = 0; i < MAX_RESOLVE_DEPTH && !btf_type_is_void_or_null(t); 2508a138aedSMartin KaFai Lau i++) { 2518a138aedSMartin KaFai Lau size = btf_type_size(t); 2528a138aedSMartin KaFai Lau if (size >= 0) 2538a138aedSMartin KaFai Lau break; 2548a138aedSMartin KaFai Lau 2558a138aedSMartin KaFai Lau switch (BTF_INFO_KIND(t->info)) { 2568a138aedSMartin KaFai Lau case BTF_KIND_TYPEDEF: 2578a138aedSMartin KaFai Lau case BTF_KIND_VOLATILE: 2588a138aedSMartin KaFai Lau case BTF_KIND_CONST: 2598a138aedSMartin KaFai Lau case BTF_KIND_RESTRICT: 2608a138aedSMartin KaFai Lau type_id = t->type; 2618a138aedSMartin KaFai Lau break; 2628a138aedSMartin KaFai Lau case BTF_KIND_ARRAY: 2638a138aedSMartin KaFai Lau array = (const struct btf_array *)(t + 1); 2648a138aedSMartin KaFai Lau if (nelems && array->nelems > UINT32_MAX / nelems) 2658a138aedSMartin KaFai Lau return -E2BIG; 2668a138aedSMartin KaFai Lau nelems *= array->nelems; 2678a138aedSMartin KaFai Lau type_id = array->type; 2688a138aedSMartin KaFai Lau break; 2698a138aedSMartin KaFai Lau default: 2708a138aedSMartin KaFai Lau return -EINVAL; 2718a138aedSMartin KaFai Lau } 2728a138aedSMartin KaFai Lau 27392b57121SOkash Khawaja t = btf__type_by_id(btf, type_id); 2748a138aedSMartin KaFai Lau } 2758a138aedSMartin KaFai Lau 2768a138aedSMartin KaFai Lau if (size < 0) 2778a138aedSMartin KaFai Lau return -EINVAL; 2788a138aedSMartin KaFai Lau 2798a138aedSMartin KaFai Lau if (nelems && size > UINT32_MAX / nelems) 2808a138aedSMartin KaFai Lau return -E2BIG; 2818a138aedSMartin KaFai Lau 2828a138aedSMartin KaFai Lau return nelems * size; 2838a138aedSMartin KaFai Lau } 2848a138aedSMartin KaFai Lau 28592b57121SOkash Khawaja int btf__resolve_type(const struct btf *btf, __u32 type_id) 28692b57121SOkash Khawaja { 28792b57121SOkash Khawaja const struct btf_type *t; 28892b57121SOkash Khawaja int depth = 0; 28992b57121SOkash Khawaja 29092b57121SOkash Khawaja t = btf__type_by_id(btf, type_id); 29192b57121SOkash Khawaja while (depth < MAX_RESOLVE_DEPTH && 29292b57121SOkash Khawaja !btf_type_is_void_or_null(t) && 29392b57121SOkash Khawaja IS_MODIFIER(BTF_INFO_KIND(t->info))) { 29492b57121SOkash Khawaja type_id = t->type; 29592b57121SOkash Khawaja t = btf__type_by_id(btf, type_id); 29692b57121SOkash Khawaja depth++; 29792b57121SOkash Khawaja } 29892b57121SOkash Khawaja 29992b57121SOkash Khawaja if (depth == MAX_RESOLVE_DEPTH || btf_type_is_void_or_null(t)) 30092b57121SOkash Khawaja return -EINVAL; 30192b57121SOkash Khawaja 30292b57121SOkash Khawaja return type_id; 30392b57121SOkash Khawaja } 30492b57121SOkash Khawaja 3055b891af7SMartin KaFai Lau __s32 btf__find_by_name(const struct btf *btf, const char *type_name) 3068a138aedSMartin KaFai Lau { 3075b891af7SMartin KaFai Lau __u32 i; 3088a138aedSMartin KaFai Lau 3098a138aedSMartin KaFai Lau if (!strcmp(type_name, "void")) 3108a138aedSMartin KaFai Lau return 0; 3118a138aedSMartin KaFai Lau 3128a138aedSMartin KaFai Lau for (i = 1; i <= btf->nr_types; i++) { 3138a138aedSMartin KaFai Lau const struct btf_type *t = btf->types[i]; 31492b57121SOkash Khawaja const char *name = btf__name_by_offset(btf, t->name_off); 3158a138aedSMartin KaFai Lau 3168a138aedSMartin KaFai Lau if (name && !strcmp(type_name, name)) 3178a138aedSMartin KaFai Lau return i; 3188a138aedSMartin KaFai Lau } 3198a138aedSMartin KaFai Lau 3208a138aedSMartin KaFai Lau return -ENOENT; 3218a138aedSMartin KaFai Lau } 3228a138aedSMartin KaFai Lau 3238a138aedSMartin KaFai Lau void btf__free(struct btf *btf) 3248a138aedSMartin KaFai Lau { 3258a138aedSMartin KaFai Lau if (!btf) 3268a138aedSMartin KaFai Lau return; 3278a138aedSMartin KaFai Lau 3288a138aedSMartin KaFai Lau if (btf->fd != -1) 3298a138aedSMartin KaFai Lau close(btf->fd); 3308a138aedSMartin KaFai Lau 3318a138aedSMartin KaFai Lau free(btf->data); 3328a138aedSMartin KaFai Lau free(btf->types); 3338a138aedSMartin KaFai Lau free(btf); 3348a138aedSMartin KaFai Lau } 3358a138aedSMartin KaFai Lau 3365b891af7SMartin KaFai Lau struct btf *btf__new(__u8 *data, __u32 size, btf_print_fn_t err_log) 3378a138aedSMartin KaFai Lau { 3385b891af7SMartin KaFai Lau __u32 log_buf_size = 0; 3398a138aedSMartin KaFai Lau char *log_buf = NULL; 3408a138aedSMartin KaFai Lau struct btf *btf; 3418a138aedSMartin KaFai Lau int err; 3428a138aedSMartin KaFai Lau 3438a138aedSMartin KaFai Lau btf = calloc(1, sizeof(struct btf)); 3448a138aedSMartin KaFai Lau if (!btf) 3458a138aedSMartin KaFai Lau return ERR_PTR(-ENOMEM); 3468a138aedSMartin KaFai Lau 3478a138aedSMartin KaFai Lau btf->fd = -1; 3488a138aedSMartin KaFai Lau 3498a138aedSMartin KaFai Lau if (err_log) { 3508a138aedSMartin KaFai Lau log_buf = malloc(BPF_LOG_BUF_SIZE); 3518a138aedSMartin KaFai Lau if (!log_buf) { 3528a138aedSMartin KaFai Lau err = -ENOMEM; 3538a138aedSMartin KaFai Lau goto done; 3548a138aedSMartin KaFai Lau } 3558a138aedSMartin KaFai Lau *log_buf = 0; 3568a138aedSMartin KaFai Lau log_buf_size = BPF_LOG_BUF_SIZE; 3578a138aedSMartin KaFai Lau } 3588a138aedSMartin KaFai Lau 3598a138aedSMartin KaFai Lau btf->data = malloc(size); 3608a138aedSMartin KaFai Lau if (!btf->data) { 3618a138aedSMartin KaFai Lau err = -ENOMEM; 3628a138aedSMartin KaFai Lau goto done; 3638a138aedSMartin KaFai Lau } 3648a138aedSMartin KaFai Lau 3658a138aedSMartin KaFai Lau memcpy(btf->data, data, size); 3668a138aedSMartin KaFai Lau btf->data_size = size; 3678a138aedSMartin KaFai Lau 3688a138aedSMartin KaFai Lau btf->fd = bpf_load_btf(btf->data, btf->data_size, 3698a138aedSMartin KaFai Lau log_buf, log_buf_size, false); 3708a138aedSMartin KaFai Lau 3718a138aedSMartin KaFai Lau if (btf->fd == -1) { 3728a138aedSMartin KaFai Lau err = -errno; 3738a138aedSMartin KaFai Lau elog("Error loading BTF: %s(%d)\n", strerror(errno), errno); 3748a138aedSMartin KaFai Lau if (log_buf && *log_buf) 3758a138aedSMartin KaFai Lau elog("%s\n", log_buf); 3768a138aedSMartin KaFai Lau goto done; 3778a138aedSMartin KaFai Lau } 3788a138aedSMartin KaFai Lau 3798a138aedSMartin KaFai Lau err = btf_parse_hdr(btf, err_log); 3808a138aedSMartin KaFai Lau if (err) 3818a138aedSMartin KaFai Lau goto done; 3828a138aedSMartin KaFai Lau 3838a138aedSMartin KaFai Lau err = btf_parse_str_sec(btf, err_log); 3848a138aedSMartin KaFai Lau if (err) 3858a138aedSMartin KaFai Lau goto done; 3868a138aedSMartin KaFai Lau 3878a138aedSMartin KaFai Lau err = btf_parse_type_sec(btf, err_log); 3888a138aedSMartin KaFai Lau 3898a138aedSMartin KaFai Lau done: 3908a138aedSMartin KaFai Lau free(log_buf); 3918a138aedSMartin KaFai Lau 3928a138aedSMartin KaFai Lau if (err) { 3938a138aedSMartin KaFai Lau btf__free(btf); 3948a138aedSMartin KaFai Lau return ERR_PTR(err); 3958a138aedSMartin KaFai Lau } 3968a138aedSMartin KaFai Lau 3978a138aedSMartin KaFai Lau return btf; 3988a138aedSMartin KaFai Lau } 3998a138aedSMartin KaFai Lau 4008a138aedSMartin KaFai Lau int btf__fd(const struct btf *btf) 4018a138aedSMartin KaFai Lau { 4028a138aedSMartin KaFai Lau return btf->fd; 4038a138aedSMartin KaFai Lau } 40492b57121SOkash Khawaja 40592b57121SOkash Khawaja const char *btf__name_by_offset(const struct btf *btf, __u32 offset) 40692b57121SOkash Khawaja { 40792b57121SOkash Khawaja if (offset < btf->hdr->str_len) 40892b57121SOkash Khawaja return &btf->strings[offset]; 40992b57121SOkash Khawaja else 41092b57121SOkash Khawaja return NULL; 41192b57121SOkash Khawaja } 412*2993e051SYonghong Song 413*2993e051SYonghong Song static int btf_ext_validate_func_info(const void *finfo, __u32 size, 414*2993e051SYonghong Song btf_print_fn_t err_log) 415*2993e051SYonghong Song { 416*2993e051SYonghong Song int sec_hdrlen = sizeof(struct btf_sec_func_info); 417*2993e051SYonghong Song __u32 size_left, num_records, record_size; 418*2993e051SYonghong Song const struct btf_sec_func_info *sinfo; 419*2993e051SYonghong Song __u64 total_record_size; 420*2993e051SYonghong Song 421*2993e051SYonghong Song /* At least a func_info record size */ 422*2993e051SYonghong Song if (size < sizeof(__u32)) { 423*2993e051SYonghong Song elog("BTF.ext func_info record size not found"); 424*2993e051SYonghong Song return -EINVAL; 425*2993e051SYonghong Song } 426*2993e051SYonghong Song 427*2993e051SYonghong Song /* The record size needs to meet below minimum standard */ 428*2993e051SYonghong Song record_size = *(__u32 *)finfo; 429*2993e051SYonghong Song if (record_size < sizeof(struct bpf_func_info_min) || 430*2993e051SYonghong Song record_size % sizeof(__u32)) { 431*2993e051SYonghong Song elog("BTF.ext func_info invalid record size"); 432*2993e051SYonghong Song return -EINVAL; 433*2993e051SYonghong Song } 434*2993e051SYonghong Song 435*2993e051SYonghong Song sinfo = finfo + sizeof(__u32); 436*2993e051SYonghong Song size_left = size - sizeof(__u32); 437*2993e051SYonghong Song 438*2993e051SYonghong Song /* If no func_info records, return failure now so .BTF.ext 439*2993e051SYonghong Song * won't be used. 440*2993e051SYonghong Song */ 441*2993e051SYonghong Song if (!size_left) { 442*2993e051SYonghong Song elog("BTF.ext no func info records"); 443*2993e051SYonghong Song return -EINVAL; 444*2993e051SYonghong Song } 445*2993e051SYonghong Song 446*2993e051SYonghong Song while (size_left) { 447*2993e051SYonghong Song if (size_left < sec_hdrlen) { 448*2993e051SYonghong Song elog("BTF.ext func_info header not found"); 449*2993e051SYonghong Song return -EINVAL; 450*2993e051SYonghong Song } 451*2993e051SYonghong Song 452*2993e051SYonghong Song num_records = sinfo->num_func_info; 453*2993e051SYonghong Song if (num_records == 0) { 454*2993e051SYonghong Song elog("incorrect BTF.ext num_func_info"); 455*2993e051SYonghong Song return -EINVAL; 456*2993e051SYonghong Song } 457*2993e051SYonghong Song 458*2993e051SYonghong Song total_record_size = sec_hdrlen + 459*2993e051SYonghong Song (__u64)num_records * record_size; 460*2993e051SYonghong Song if (size_left < total_record_size) { 461*2993e051SYonghong Song elog("incorrect BTF.ext num_func_info"); 462*2993e051SYonghong Song return -EINVAL; 463*2993e051SYonghong Song } 464*2993e051SYonghong Song 465*2993e051SYonghong Song size_left -= total_record_size; 466*2993e051SYonghong Song sinfo = (void *)sinfo + total_record_size; 467*2993e051SYonghong Song } 468*2993e051SYonghong Song 469*2993e051SYonghong Song return 0; 470*2993e051SYonghong Song } 471*2993e051SYonghong Song 472*2993e051SYonghong Song static int btf_ext_parse_hdr(__u8 *data, __u32 data_size, 473*2993e051SYonghong Song btf_print_fn_t err_log) 474*2993e051SYonghong Song { 475*2993e051SYonghong Song const struct btf_ext_header *hdr = (struct btf_ext_header *)data; 476*2993e051SYonghong Song __u32 meta_left, last_func_info_pos; 477*2993e051SYonghong Song void *finfo; 478*2993e051SYonghong Song 479*2993e051SYonghong Song if (data_size < offsetof(struct btf_ext_header, func_info_off) || 480*2993e051SYonghong Song data_size < hdr->hdr_len) { 481*2993e051SYonghong Song elog("BTF.ext header not found"); 482*2993e051SYonghong Song return -EINVAL; 483*2993e051SYonghong Song } 484*2993e051SYonghong Song 485*2993e051SYonghong Song if (hdr->magic != BTF_MAGIC) { 486*2993e051SYonghong Song elog("Invalid BTF.ext magic:%x\n", hdr->magic); 487*2993e051SYonghong Song return -EINVAL; 488*2993e051SYonghong Song } 489*2993e051SYonghong Song 490*2993e051SYonghong Song if (hdr->version != BTF_VERSION) { 491*2993e051SYonghong Song elog("Unsupported BTF.ext version:%u\n", hdr->version); 492*2993e051SYonghong Song return -ENOTSUP; 493*2993e051SYonghong Song } 494*2993e051SYonghong Song 495*2993e051SYonghong Song if (hdr->flags) { 496*2993e051SYonghong Song elog("Unsupported BTF.ext flags:%x\n", hdr->flags); 497*2993e051SYonghong Song return -ENOTSUP; 498*2993e051SYonghong Song } 499*2993e051SYonghong Song 500*2993e051SYonghong Song meta_left = data_size - hdr->hdr_len; 501*2993e051SYonghong Song if (!meta_left) { 502*2993e051SYonghong Song elog("BTF.ext has no data\n"); 503*2993e051SYonghong Song return -EINVAL; 504*2993e051SYonghong Song } 505*2993e051SYonghong Song 506*2993e051SYonghong Song if (meta_left < hdr->func_info_off) { 507*2993e051SYonghong Song elog("Invalid BTF.ext func_info section offset:%u\n", 508*2993e051SYonghong Song hdr->func_info_off); 509*2993e051SYonghong Song return -EINVAL; 510*2993e051SYonghong Song } 511*2993e051SYonghong Song 512*2993e051SYonghong Song if (hdr->func_info_off & 0x03) { 513*2993e051SYonghong Song elog("BTF.ext func_info section is not aligned to 4 bytes\n"); 514*2993e051SYonghong Song return -EINVAL; 515*2993e051SYonghong Song } 516*2993e051SYonghong Song 517*2993e051SYonghong Song last_func_info_pos = hdr->hdr_len + hdr->func_info_off + 518*2993e051SYonghong Song hdr->func_info_len; 519*2993e051SYonghong Song if (last_func_info_pos > data_size) { 520*2993e051SYonghong Song elog("Invalid BTF.ext func_info section size:%u\n", 521*2993e051SYonghong Song hdr->func_info_len); 522*2993e051SYonghong Song return -EINVAL; 523*2993e051SYonghong Song } 524*2993e051SYonghong Song 525*2993e051SYonghong Song finfo = data + hdr->hdr_len + hdr->func_info_off; 526*2993e051SYonghong Song return btf_ext_validate_func_info(finfo, hdr->func_info_len, 527*2993e051SYonghong Song err_log); 528*2993e051SYonghong Song } 529*2993e051SYonghong Song 530*2993e051SYonghong Song void btf_ext__free(struct btf_ext *btf_ext) 531*2993e051SYonghong Song { 532*2993e051SYonghong Song if (!btf_ext) 533*2993e051SYonghong Song return; 534*2993e051SYonghong Song 535*2993e051SYonghong Song free(btf_ext->func_info); 536*2993e051SYonghong Song free(btf_ext); 537*2993e051SYonghong Song } 538*2993e051SYonghong Song 539*2993e051SYonghong Song struct btf_ext *btf_ext__new(__u8 *data, __u32 size, btf_print_fn_t err_log) 540*2993e051SYonghong Song { 541*2993e051SYonghong Song const struct btf_ext_header *hdr; 542*2993e051SYonghong Song struct btf_ext *btf_ext; 543*2993e051SYonghong Song void *org_fdata, *fdata; 544*2993e051SYonghong Song __u32 hdrlen, size_u32; 545*2993e051SYonghong Song int err; 546*2993e051SYonghong Song 547*2993e051SYonghong Song err = btf_ext_parse_hdr(data, size, err_log); 548*2993e051SYonghong Song if (err) 549*2993e051SYonghong Song return ERR_PTR(err); 550*2993e051SYonghong Song 551*2993e051SYonghong Song btf_ext = calloc(1, sizeof(struct btf_ext)); 552*2993e051SYonghong Song if (!btf_ext) 553*2993e051SYonghong Song return ERR_PTR(-ENOMEM); 554*2993e051SYonghong Song 555*2993e051SYonghong Song hdr = (const struct btf_ext_header *)data; 556*2993e051SYonghong Song hdrlen = hdr->hdr_len; 557*2993e051SYonghong Song size_u32 = sizeof(__u32); 558*2993e051SYonghong Song fdata = malloc(hdr->func_info_len - size_u32); 559*2993e051SYonghong Song if (!fdata) { 560*2993e051SYonghong Song free(btf_ext); 561*2993e051SYonghong Song return ERR_PTR(-ENOMEM); 562*2993e051SYonghong Song } 563*2993e051SYonghong Song 564*2993e051SYonghong Song /* remember record size and copy rest of func_info data */ 565*2993e051SYonghong Song org_fdata = data + hdrlen + hdr->func_info_off; 566*2993e051SYonghong Song btf_ext->func_info_rec_size = *(__u32 *)org_fdata; 567*2993e051SYonghong Song memcpy(fdata, org_fdata + size_u32, hdr->func_info_len - size_u32); 568*2993e051SYonghong Song btf_ext->func_info = fdata; 569*2993e051SYonghong Song btf_ext->func_info_len = hdr->func_info_len - size_u32; 570*2993e051SYonghong Song 571*2993e051SYonghong Song return btf_ext; 572*2993e051SYonghong Song } 573*2993e051SYonghong Song 574*2993e051SYonghong Song int btf_ext__reloc_init(struct btf *btf, struct btf_ext *btf_ext, 575*2993e051SYonghong Song const char *sec_name, void **func_info, 576*2993e051SYonghong Song __u32 *func_info_rec_size, __u32 *func_info_len) 577*2993e051SYonghong Song { 578*2993e051SYonghong Song __u32 sec_hdrlen = sizeof(struct btf_sec_func_info); 579*2993e051SYonghong Song __u32 i, record_size, records_len; 580*2993e051SYonghong Song struct btf_sec_func_info *sinfo; 581*2993e051SYonghong Song const char *info_sec_name; 582*2993e051SYonghong Song __s64 remain_len; 583*2993e051SYonghong Song void *data; 584*2993e051SYonghong Song 585*2993e051SYonghong Song record_size = btf_ext->func_info_rec_size; 586*2993e051SYonghong Song sinfo = btf_ext->func_info; 587*2993e051SYonghong Song remain_len = btf_ext->func_info_len; 588*2993e051SYonghong Song 589*2993e051SYonghong Song while (remain_len > 0) { 590*2993e051SYonghong Song records_len = sinfo->num_func_info * record_size; 591*2993e051SYonghong Song info_sec_name = btf__name_by_offset(btf, sinfo->sec_name_off); 592*2993e051SYonghong Song if (strcmp(info_sec_name, sec_name)) { 593*2993e051SYonghong Song remain_len -= sec_hdrlen + records_len; 594*2993e051SYonghong Song sinfo = (void *)sinfo + sec_hdrlen + records_len; 595*2993e051SYonghong Song continue; 596*2993e051SYonghong Song } 597*2993e051SYonghong Song 598*2993e051SYonghong Song data = malloc(records_len); 599*2993e051SYonghong Song if (!data) 600*2993e051SYonghong Song return -ENOMEM; 601*2993e051SYonghong Song 602*2993e051SYonghong Song memcpy(data, sinfo->data, records_len); 603*2993e051SYonghong Song 604*2993e051SYonghong Song /* adjust the insn_offset, the data in .BTF.ext is 605*2993e051SYonghong Song * the actual byte offset, and the kernel expects 606*2993e051SYonghong Song * the offset in term of bpf_insn. 607*2993e051SYonghong Song * 608*2993e051SYonghong Song * adjust the insn offset only, the rest data will 609*2993e051SYonghong Song * be passed to kernel. 610*2993e051SYonghong Song */ 611*2993e051SYonghong Song for (i = 0; i < sinfo->num_func_info; i++) { 612*2993e051SYonghong Song struct bpf_func_info_min *record; 613*2993e051SYonghong Song 614*2993e051SYonghong Song record = data + i * record_size; 615*2993e051SYonghong Song record->insn_offset /= sizeof(struct bpf_insn); 616*2993e051SYonghong Song } 617*2993e051SYonghong Song 618*2993e051SYonghong Song *func_info = data; 619*2993e051SYonghong Song *func_info_len = records_len; 620*2993e051SYonghong Song *func_info_rec_size = record_size; 621*2993e051SYonghong Song return 0; 622*2993e051SYonghong Song } 623*2993e051SYonghong Song 624*2993e051SYonghong Song return -EINVAL; 625*2993e051SYonghong Song } 626*2993e051SYonghong Song 627*2993e051SYonghong Song int btf_ext__reloc(struct btf *btf, struct btf_ext *btf_ext, 628*2993e051SYonghong Song const char *sec_name, __u32 insns_cnt, 629*2993e051SYonghong Song void **func_info, __u32 *func_info_len) 630*2993e051SYonghong Song { 631*2993e051SYonghong Song __u32 sec_hdrlen = sizeof(struct btf_sec_func_info); 632*2993e051SYonghong Song __u32 i, record_size, existing_flen, records_len; 633*2993e051SYonghong Song struct btf_sec_func_info *sinfo; 634*2993e051SYonghong Song const char *info_sec_name; 635*2993e051SYonghong Song __u64 remain_len; 636*2993e051SYonghong Song void *data; 637*2993e051SYonghong Song 638*2993e051SYonghong Song record_size = btf_ext->func_info_rec_size; 639*2993e051SYonghong Song sinfo = btf_ext->func_info; 640*2993e051SYonghong Song remain_len = btf_ext->func_info_len; 641*2993e051SYonghong Song while (remain_len > 0) { 642*2993e051SYonghong Song records_len = sinfo->num_func_info * record_size; 643*2993e051SYonghong Song info_sec_name = btf__name_by_offset(btf, sinfo->sec_name_off); 644*2993e051SYonghong Song if (strcmp(info_sec_name, sec_name)) { 645*2993e051SYonghong Song remain_len -= sec_hdrlen + records_len; 646*2993e051SYonghong Song sinfo = (void *)sinfo + sec_hdrlen + records_len; 647*2993e051SYonghong Song continue; 648*2993e051SYonghong Song } 649*2993e051SYonghong Song 650*2993e051SYonghong Song existing_flen = *func_info_len; 651*2993e051SYonghong Song data = realloc(*func_info, existing_flen + records_len); 652*2993e051SYonghong Song if (!data) 653*2993e051SYonghong Song return -ENOMEM; 654*2993e051SYonghong Song 655*2993e051SYonghong Song memcpy(data + existing_flen, sinfo->data, records_len); 656*2993e051SYonghong Song /* adjust insn_offset only, the rest data will be passed 657*2993e051SYonghong Song * to the kernel. 658*2993e051SYonghong Song */ 659*2993e051SYonghong Song for (i = 0; i < sinfo->num_func_info; i++) { 660*2993e051SYonghong Song struct bpf_func_info_min *record; 661*2993e051SYonghong Song 662*2993e051SYonghong Song record = data + existing_flen + i * record_size; 663*2993e051SYonghong Song record->insn_offset = 664*2993e051SYonghong Song record->insn_offset / sizeof(struct bpf_insn) + 665*2993e051SYonghong Song insns_cnt; 666*2993e051SYonghong Song } 667*2993e051SYonghong Song *func_info = data; 668*2993e051SYonghong Song *func_info_len = existing_flen + records_len; 669*2993e051SYonghong Song return 0; 670*2993e051SYonghong Song } 671*2993e051SYonghong Song 672*2993e051SYonghong Song return -EINVAL; 673*2993e051SYonghong Song } 674