xref: /openbmc/linux/tools/lib/bpf/btf.c (revision 2993e0515bb44e157c17c9ba7309ba46366b6add)
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