xref: /openbmc/linux/tools/bpf/bpftool/prog.c (revision 9a5ab8bf1d6d16ef47fdf55dba1683ec00d751ad)
171bb428fSJakub Kicinski /*
271bb428fSJakub Kicinski  * Copyright (C) 2017 Netronome Systems, Inc.
371bb428fSJakub Kicinski  *
471bb428fSJakub Kicinski  * This software is dual licensed under the GNU General License Version 2,
571bb428fSJakub Kicinski  * June 1991 as shown in the file COPYING in the top-level directory of this
671bb428fSJakub Kicinski  * source tree or the BSD 2-Clause License provided below.  You have the
771bb428fSJakub Kicinski  * option to license this software under the complete terms of either license.
871bb428fSJakub Kicinski  *
971bb428fSJakub Kicinski  * The BSD 2-Clause License:
1071bb428fSJakub Kicinski  *
1171bb428fSJakub Kicinski  *     Redistribution and use in source and binary forms, with or
1271bb428fSJakub Kicinski  *     without modification, are permitted provided that the following
1371bb428fSJakub Kicinski  *     conditions are met:
1471bb428fSJakub Kicinski  *
1571bb428fSJakub Kicinski  *      1. Redistributions of source code must retain the above
1671bb428fSJakub Kicinski  *         copyright notice, this list of conditions and the following
1771bb428fSJakub Kicinski  *         disclaimer.
1871bb428fSJakub Kicinski  *
1971bb428fSJakub Kicinski  *      2. Redistributions in binary form must reproduce the above
2071bb428fSJakub Kicinski  *         copyright notice, this list of conditions and the following
2171bb428fSJakub Kicinski  *         disclaimer in the documentation and/or other materials
2271bb428fSJakub Kicinski  *         provided with the distribution.
2371bb428fSJakub Kicinski  *
2471bb428fSJakub Kicinski  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
2571bb428fSJakub Kicinski  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
2671bb428fSJakub Kicinski  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
2771bb428fSJakub Kicinski  * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
2871bb428fSJakub Kicinski  * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
2971bb428fSJakub Kicinski  * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
3071bb428fSJakub Kicinski  * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
3171bb428fSJakub Kicinski  * SOFTWARE.
3271bb428fSJakub Kicinski  */
3371bb428fSJakub Kicinski 
3471bb428fSJakub Kicinski /* Author: Jakub Kicinski <kubakici@wp.pl> */
3571bb428fSJakub Kicinski 
3671bb428fSJakub Kicinski #include <errno.h>
3771bb428fSJakub Kicinski #include <fcntl.h>
38c9c35995SJakub Kicinski #include <stdarg.h>
3971bb428fSJakub Kicinski #include <stdio.h>
4071bb428fSJakub Kicinski #include <stdlib.h>
4171bb428fSJakub Kicinski #include <string.h>
4271bb428fSJakub Kicinski #include <time.h>
4371bb428fSJakub Kicinski #include <unistd.h>
4471bb428fSJakub Kicinski #include <sys/types.h>
4571bb428fSJakub Kicinski #include <sys/stat.h>
4671bb428fSJakub Kicinski 
4771bb428fSJakub Kicinski #include <bpf.h>
4871bb428fSJakub Kicinski 
4971bb428fSJakub Kicinski #include "main.h"
50c9c35995SJakub Kicinski #include "disasm.h"
5171bb428fSJakub Kicinski 
5271bb428fSJakub Kicinski static const char * const prog_type_name[] = {
5371bb428fSJakub Kicinski 	[BPF_PROG_TYPE_UNSPEC]		= "unspec",
5471bb428fSJakub Kicinski 	[BPF_PROG_TYPE_SOCKET_FILTER]	= "socket_filter",
5571bb428fSJakub Kicinski 	[BPF_PROG_TYPE_KPROBE]		= "kprobe",
5671bb428fSJakub Kicinski 	[BPF_PROG_TYPE_SCHED_CLS]	= "sched_cls",
5771bb428fSJakub Kicinski 	[BPF_PROG_TYPE_SCHED_ACT]	= "sched_act",
5871bb428fSJakub Kicinski 	[BPF_PROG_TYPE_TRACEPOINT]	= "tracepoint",
5971bb428fSJakub Kicinski 	[BPF_PROG_TYPE_XDP]		= "xdp",
6071bb428fSJakub Kicinski 	[BPF_PROG_TYPE_PERF_EVENT]	= "perf_event",
6171bb428fSJakub Kicinski 	[BPF_PROG_TYPE_CGROUP_SKB]	= "cgroup_skb",
6271bb428fSJakub Kicinski 	[BPF_PROG_TYPE_CGROUP_SOCK]	= "cgroup_sock",
6371bb428fSJakub Kicinski 	[BPF_PROG_TYPE_LWT_IN]		= "lwt_in",
6471bb428fSJakub Kicinski 	[BPF_PROG_TYPE_LWT_OUT]		= "lwt_out",
6571bb428fSJakub Kicinski 	[BPF_PROG_TYPE_LWT_XMIT]	= "lwt_xmit",
6671bb428fSJakub Kicinski 	[BPF_PROG_TYPE_SOCK_OPS]	= "sock_ops",
6771bb428fSJakub Kicinski 	[BPF_PROG_TYPE_SK_SKB]		= "sk_skb",
6871bb428fSJakub Kicinski };
6971bb428fSJakub Kicinski 
7071bb428fSJakub Kicinski static void print_boot_time(__u64 nsecs, char *buf, unsigned int size)
7171bb428fSJakub Kicinski {
7271bb428fSJakub Kicinski 	struct timespec real_time_ts, boot_time_ts;
7371bb428fSJakub Kicinski 	time_t wallclock_secs;
7471bb428fSJakub Kicinski 	struct tm load_tm;
7571bb428fSJakub Kicinski 
7671bb428fSJakub Kicinski 	buf[--size] = '\0';
7771bb428fSJakub Kicinski 
7871bb428fSJakub Kicinski 	if (clock_gettime(CLOCK_REALTIME, &real_time_ts) ||
7971bb428fSJakub Kicinski 	    clock_gettime(CLOCK_BOOTTIME, &boot_time_ts)) {
8071bb428fSJakub Kicinski 		perror("Can't read clocks");
8171bb428fSJakub Kicinski 		snprintf(buf, size, "%llu", nsecs / 1000000000);
8271bb428fSJakub Kicinski 		return;
8371bb428fSJakub Kicinski 	}
8471bb428fSJakub Kicinski 
8571bb428fSJakub Kicinski 	wallclock_secs = (real_time_ts.tv_sec - boot_time_ts.tv_sec) +
8671bb428fSJakub Kicinski 		nsecs / 1000000000;
8771bb428fSJakub Kicinski 
8871bb428fSJakub Kicinski 	if (!localtime_r(&wallclock_secs, &load_tm)) {
8971bb428fSJakub Kicinski 		snprintf(buf, size, "%llu", nsecs / 1000000000);
9071bb428fSJakub Kicinski 		return;
9171bb428fSJakub Kicinski 	}
9271bb428fSJakub Kicinski 
9371bb428fSJakub Kicinski 	strftime(buf, size, "%b %d/%H:%M", &load_tm);
9471bb428fSJakub Kicinski }
9571bb428fSJakub Kicinski 
9671bb428fSJakub Kicinski static int prog_fd_by_tag(unsigned char *tag)
9771bb428fSJakub Kicinski {
9871bb428fSJakub Kicinski 	struct bpf_prog_info info = {};
9971bb428fSJakub Kicinski 	__u32 len = sizeof(info);
10071bb428fSJakub Kicinski 	unsigned int id = 0;
10171bb428fSJakub Kicinski 	int err;
10271bb428fSJakub Kicinski 	int fd;
10371bb428fSJakub Kicinski 
10471bb428fSJakub Kicinski 	while (true) {
10571bb428fSJakub Kicinski 		err = bpf_prog_get_next_id(id, &id);
10671bb428fSJakub Kicinski 		if (err) {
107*9a5ab8bfSQuentin Monnet 			p_err("%s", strerror(errno));
10871bb428fSJakub Kicinski 			return -1;
10971bb428fSJakub Kicinski 		}
11071bb428fSJakub Kicinski 
11171bb428fSJakub Kicinski 		fd = bpf_prog_get_fd_by_id(id);
11271bb428fSJakub Kicinski 		if (fd < 0) {
113*9a5ab8bfSQuentin Monnet 			p_err("can't get prog by id (%u): %s",
11471bb428fSJakub Kicinski 			      id, strerror(errno));
11571bb428fSJakub Kicinski 			return -1;
11671bb428fSJakub Kicinski 		}
11771bb428fSJakub Kicinski 
11871bb428fSJakub Kicinski 		err = bpf_obj_get_info_by_fd(fd, &info, &len);
11971bb428fSJakub Kicinski 		if (err) {
120*9a5ab8bfSQuentin Monnet 			p_err("can't get prog info (%u): %s",
12171bb428fSJakub Kicinski 			      id, strerror(errno));
12271bb428fSJakub Kicinski 			close(fd);
12371bb428fSJakub Kicinski 			return -1;
12471bb428fSJakub Kicinski 		}
12571bb428fSJakub Kicinski 
12671bb428fSJakub Kicinski 		if (!memcmp(tag, info.tag, BPF_TAG_SIZE))
12771bb428fSJakub Kicinski 			return fd;
12871bb428fSJakub Kicinski 
12971bb428fSJakub Kicinski 		close(fd);
13071bb428fSJakub Kicinski 	}
13171bb428fSJakub Kicinski }
13271bb428fSJakub Kicinski 
13371bb428fSJakub Kicinski int prog_parse_fd(int *argc, char ***argv)
13471bb428fSJakub Kicinski {
13571bb428fSJakub Kicinski 	int fd;
13671bb428fSJakub Kicinski 
13771bb428fSJakub Kicinski 	if (is_prefix(**argv, "id")) {
13871bb428fSJakub Kicinski 		unsigned int id;
13971bb428fSJakub Kicinski 		char *endptr;
14071bb428fSJakub Kicinski 
14171bb428fSJakub Kicinski 		NEXT_ARGP();
14271bb428fSJakub Kicinski 
14371bb428fSJakub Kicinski 		id = strtoul(**argv, &endptr, 0);
14471bb428fSJakub Kicinski 		if (*endptr) {
145*9a5ab8bfSQuentin Monnet 			p_err("can't parse %s as ID", **argv);
14671bb428fSJakub Kicinski 			return -1;
14771bb428fSJakub Kicinski 		}
14871bb428fSJakub Kicinski 		NEXT_ARGP();
14971bb428fSJakub Kicinski 
15071bb428fSJakub Kicinski 		fd = bpf_prog_get_fd_by_id(id);
15171bb428fSJakub Kicinski 		if (fd < 0)
152*9a5ab8bfSQuentin Monnet 			p_err("get by id (%u): %s", id, strerror(errno));
15371bb428fSJakub Kicinski 		return fd;
15471bb428fSJakub Kicinski 	} else if (is_prefix(**argv, "tag")) {
15571bb428fSJakub Kicinski 		unsigned char tag[BPF_TAG_SIZE];
15671bb428fSJakub Kicinski 
15771bb428fSJakub Kicinski 		NEXT_ARGP();
15871bb428fSJakub Kicinski 
15971bb428fSJakub Kicinski 		if (sscanf(**argv, BPF_TAG_FMT, tag, tag + 1, tag + 2,
16071bb428fSJakub Kicinski 			   tag + 3, tag + 4, tag + 5, tag + 6, tag + 7)
16171bb428fSJakub Kicinski 		    != BPF_TAG_SIZE) {
162*9a5ab8bfSQuentin Monnet 			p_err("can't parse tag");
16371bb428fSJakub Kicinski 			return -1;
16471bb428fSJakub Kicinski 		}
16571bb428fSJakub Kicinski 		NEXT_ARGP();
16671bb428fSJakub Kicinski 
16771bb428fSJakub Kicinski 		return prog_fd_by_tag(tag);
16871bb428fSJakub Kicinski 	} else if (is_prefix(**argv, "pinned")) {
16971bb428fSJakub Kicinski 		char *path;
17071bb428fSJakub Kicinski 
17171bb428fSJakub Kicinski 		NEXT_ARGP();
17271bb428fSJakub Kicinski 
17371bb428fSJakub Kicinski 		path = **argv;
17471bb428fSJakub Kicinski 		NEXT_ARGP();
17571bb428fSJakub Kicinski 
17671bb428fSJakub Kicinski 		return open_obj_pinned_any(path, BPF_OBJ_PROG);
17771bb428fSJakub Kicinski 	}
17871bb428fSJakub Kicinski 
179*9a5ab8bfSQuentin Monnet 	p_err("expected 'id', 'tag' or 'pinned', got: '%s'?", **argv);
18071bb428fSJakub Kicinski 	return -1;
18171bb428fSJakub Kicinski }
18271bb428fSJakub Kicinski 
18371bb428fSJakub Kicinski static void show_prog_maps(int fd, u32 num_maps)
18471bb428fSJakub Kicinski {
18571bb428fSJakub Kicinski 	struct bpf_prog_info info = {};
18671bb428fSJakub Kicinski 	__u32 len = sizeof(info);
18771bb428fSJakub Kicinski 	__u32 map_ids[num_maps];
18871bb428fSJakub Kicinski 	unsigned int i;
18971bb428fSJakub Kicinski 	int err;
19071bb428fSJakub Kicinski 
19171bb428fSJakub Kicinski 	info.nr_map_ids = num_maps;
19271bb428fSJakub Kicinski 	info.map_ids = ptr_to_u64(map_ids);
19371bb428fSJakub Kicinski 
19471bb428fSJakub Kicinski 	err = bpf_obj_get_info_by_fd(fd, &info, &len);
19571bb428fSJakub Kicinski 	if (err || !info.nr_map_ids)
19671bb428fSJakub Kicinski 		return;
19771bb428fSJakub Kicinski 
198743cc665SQuentin Monnet 	if (json_output) {
199743cc665SQuentin Monnet 		jsonw_name(json_wtr, "map_ids");
200743cc665SQuentin Monnet 		jsonw_start_array(json_wtr);
201743cc665SQuentin Monnet 		for (i = 0; i < info.nr_map_ids; i++)
202743cc665SQuentin Monnet 			jsonw_uint(json_wtr, map_ids[i]);
203743cc665SQuentin Monnet 		jsonw_end_array(json_wtr);
204743cc665SQuentin Monnet 	} else {
20571bb428fSJakub Kicinski 		printf("  map_ids ");
20671bb428fSJakub Kicinski 		for (i = 0; i < info.nr_map_ids; i++)
20771bb428fSJakub Kicinski 			printf("%u%s", map_ids[i],
20871bb428fSJakub Kicinski 			       i == info.nr_map_ids - 1 ? "" : ",");
20971bb428fSJakub Kicinski 	}
21071bb428fSJakub Kicinski }
21171bb428fSJakub Kicinski 
212743cc665SQuentin Monnet static void print_prog_json(struct bpf_prog_info *info, int fd)
213743cc665SQuentin Monnet {
214743cc665SQuentin Monnet 	char *memlock;
215743cc665SQuentin Monnet 
216743cc665SQuentin Monnet 	jsonw_start_object(json_wtr);
217743cc665SQuentin Monnet 	jsonw_uint_field(json_wtr, "id", info->id);
218743cc665SQuentin Monnet 	if (info->type < ARRAY_SIZE(prog_type_name))
219743cc665SQuentin Monnet 		jsonw_string_field(json_wtr, "type",
220743cc665SQuentin Monnet 				   prog_type_name[info->type]);
22171bb428fSJakub Kicinski 	else
222743cc665SQuentin Monnet 		jsonw_uint_field(json_wtr, "type", info->type);
22371bb428fSJakub Kicinski 
224743cc665SQuentin Monnet 	if (*info->name)
225743cc665SQuentin Monnet 		jsonw_string_field(json_wtr, "name", info->name);
22671bb428fSJakub Kicinski 
227743cc665SQuentin Monnet 	jsonw_name(json_wtr, "tag");
228743cc665SQuentin Monnet 	jsonw_printf(json_wtr, "\"" BPF_TAG_FMT "\"",
229743cc665SQuentin Monnet 		     info->tag[0], info->tag[1], info->tag[2], info->tag[3],
230743cc665SQuentin Monnet 		     info->tag[4], info->tag[5], info->tag[6], info->tag[7]);
23171bb428fSJakub Kicinski 
232743cc665SQuentin Monnet 	if (info->load_time) {
23371bb428fSJakub Kicinski 		char buf[32];
23471bb428fSJakub Kicinski 
235743cc665SQuentin Monnet 		print_boot_time(info->load_time, buf, sizeof(buf));
23671bb428fSJakub Kicinski 
23771bb428fSJakub Kicinski 		/* Piggy back on load_time, since 0 uid is a valid one */
238743cc665SQuentin Monnet 		jsonw_string_field(json_wtr, "loaded_at", buf);
239743cc665SQuentin Monnet 		jsonw_uint_field(json_wtr, "uid", info->created_by_uid);
24071bb428fSJakub Kicinski 	}
24171bb428fSJakub Kicinski 
242743cc665SQuentin Monnet 	jsonw_uint_field(json_wtr, "bytes_xlated", info->xlated_prog_len);
24371bb428fSJakub Kicinski 
244743cc665SQuentin Monnet 	if (info->jited_prog_len) {
245743cc665SQuentin Monnet 		jsonw_bool_field(json_wtr, "jited", true);
246743cc665SQuentin Monnet 		jsonw_uint_field(json_wtr, "bytes_jited", info->jited_prog_len);
247743cc665SQuentin Monnet 	} else {
248743cc665SQuentin Monnet 		jsonw_bool_field(json_wtr, "jited", false);
249743cc665SQuentin Monnet 	}
250743cc665SQuentin Monnet 
251743cc665SQuentin Monnet 	memlock = get_fdinfo(fd, "memlock");
252743cc665SQuentin Monnet 	if (memlock)
253743cc665SQuentin Monnet 		jsonw_int_field(json_wtr, "bytes_memlock", atoi(memlock));
254743cc665SQuentin Monnet 	free(memlock);
255743cc665SQuentin Monnet 
256743cc665SQuentin Monnet 	if (info->nr_map_ids)
257743cc665SQuentin Monnet 		show_prog_maps(fd, info->nr_map_ids);
258743cc665SQuentin Monnet 
259743cc665SQuentin Monnet 	jsonw_end_object(json_wtr);
260743cc665SQuentin Monnet }
261743cc665SQuentin Monnet 
262743cc665SQuentin Monnet static void print_prog_plain(struct bpf_prog_info *info, int fd)
263743cc665SQuentin Monnet {
264743cc665SQuentin Monnet 	char *memlock;
265743cc665SQuentin Monnet 
266743cc665SQuentin Monnet 	printf("%u: ", info->id);
267743cc665SQuentin Monnet 	if (info->type < ARRAY_SIZE(prog_type_name))
268743cc665SQuentin Monnet 		printf("%s  ", prog_type_name[info->type]);
269743cc665SQuentin Monnet 	else
270743cc665SQuentin Monnet 		printf("type %u  ", info->type);
271743cc665SQuentin Monnet 
272743cc665SQuentin Monnet 	if (*info->name)
273743cc665SQuentin Monnet 		printf("name %s  ", info->name);
274743cc665SQuentin Monnet 
275743cc665SQuentin Monnet 	printf("tag ");
276743cc665SQuentin Monnet 	fprint_hex(stdout, info->tag, BPF_TAG_SIZE, "");
277743cc665SQuentin Monnet 	printf("\n");
278743cc665SQuentin Monnet 
279743cc665SQuentin Monnet 	if (info->load_time) {
280743cc665SQuentin Monnet 		char buf[32];
281743cc665SQuentin Monnet 
282743cc665SQuentin Monnet 		print_boot_time(info->load_time, buf, sizeof(buf));
283743cc665SQuentin Monnet 
284743cc665SQuentin Monnet 		/* Piggy back on load_time, since 0 uid is a valid one */
285743cc665SQuentin Monnet 		printf("\tloaded_at %s  uid %u\n", buf, info->created_by_uid);
286743cc665SQuentin Monnet 	}
287743cc665SQuentin Monnet 
288743cc665SQuentin Monnet 	printf("\txlated %uB", info->xlated_prog_len);
289743cc665SQuentin Monnet 
290743cc665SQuentin Monnet 	if (info->jited_prog_len)
291743cc665SQuentin Monnet 		printf("  jited %uB", info->jited_prog_len);
29271bb428fSJakub Kicinski 	else
29371bb428fSJakub Kicinski 		printf("  not jited");
29471bb428fSJakub Kicinski 
29571bb428fSJakub Kicinski 	memlock = get_fdinfo(fd, "memlock");
29671bb428fSJakub Kicinski 	if (memlock)
29771bb428fSJakub Kicinski 		printf("  memlock %sB", memlock);
29871bb428fSJakub Kicinski 	free(memlock);
29971bb428fSJakub Kicinski 
300743cc665SQuentin Monnet 	if (info->nr_map_ids)
301743cc665SQuentin Monnet 		show_prog_maps(fd, info->nr_map_ids);
30271bb428fSJakub Kicinski 
30371bb428fSJakub Kicinski 	printf("\n");
304743cc665SQuentin Monnet }
305743cc665SQuentin Monnet 
306743cc665SQuentin Monnet static int show_prog(int fd)
307743cc665SQuentin Monnet {
308743cc665SQuentin Monnet 	struct bpf_prog_info info = {};
309743cc665SQuentin Monnet 	__u32 len = sizeof(info);
310743cc665SQuentin Monnet 	int err;
311743cc665SQuentin Monnet 
312743cc665SQuentin Monnet 	err = bpf_obj_get_info_by_fd(fd, &info, &len);
313743cc665SQuentin Monnet 	if (err) {
314*9a5ab8bfSQuentin Monnet 		p_err("can't get prog info: %s", strerror(errno));
315743cc665SQuentin Monnet 		return -1;
316743cc665SQuentin Monnet 	}
317743cc665SQuentin Monnet 
318743cc665SQuentin Monnet 	if (json_output)
319743cc665SQuentin Monnet 		print_prog_json(&info, fd);
320743cc665SQuentin Monnet 	else
321743cc665SQuentin Monnet 		print_prog_plain(&info, fd);
32271bb428fSJakub Kicinski 
32371bb428fSJakub Kicinski 	return 0;
32471bb428fSJakub Kicinski }
32571bb428fSJakub Kicinski 
32671bb428fSJakub Kicinski static int do_show(int argc, char **argv)
327743cc665SQuentin Monnet {
328743cc665SQuentin Monnet 	__u32 id = 0;
32971bb428fSJakub Kicinski 	int err;
33071bb428fSJakub Kicinski 	int fd;
33171bb428fSJakub Kicinski 
33271bb428fSJakub Kicinski 	if (argc == 2) {
33371bb428fSJakub Kicinski 		fd = prog_parse_fd(&argc, &argv);
33471bb428fSJakub Kicinski 		if (fd < 0)
33571bb428fSJakub Kicinski 			return -1;
33671bb428fSJakub Kicinski 
33771bb428fSJakub Kicinski 		return show_prog(fd);
33871bb428fSJakub Kicinski 	}
33971bb428fSJakub Kicinski 
34071bb428fSJakub Kicinski 	if (argc)
34171bb428fSJakub Kicinski 		return BAD_ARG();
34271bb428fSJakub Kicinski 
343743cc665SQuentin Monnet 	if (json_output)
344743cc665SQuentin Monnet 		jsonw_start_array(json_wtr);
34571bb428fSJakub Kicinski 	while (true) {
34671bb428fSJakub Kicinski 		err = bpf_prog_get_next_id(id, &id);
34771bb428fSJakub Kicinski 		if (err) {
3481739c26dSQuentin Monnet 			if (errno == ENOENT) {
3491739c26dSQuentin Monnet 				err = 0;
35071bb428fSJakub Kicinski 				break;
3511739c26dSQuentin Monnet 			}
352*9a5ab8bfSQuentin Monnet 			p_err("can't get next program: %s%s", strerror(errno),
353*9a5ab8bfSQuentin Monnet 			      errno == EINVAL ? " -- kernel too old?" : "");
354743cc665SQuentin Monnet 			err = -1;
355743cc665SQuentin Monnet 			break;
35671bb428fSJakub Kicinski 		}
35771bb428fSJakub Kicinski 
35871bb428fSJakub Kicinski 		fd = bpf_prog_get_fd_by_id(id);
35971bb428fSJakub Kicinski 		if (fd < 0) {
360*9a5ab8bfSQuentin Monnet 			p_err("can't get prog by id (%u): %s",
36171bb428fSJakub Kicinski 			      id, strerror(errno));
362743cc665SQuentin Monnet 			err = -1;
363743cc665SQuentin Monnet 			break;
36471bb428fSJakub Kicinski 		}
36571bb428fSJakub Kicinski 
36671bb428fSJakub Kicinski 		err = show_prog(fd);
36771bb428fSJakub Kicinski 		close(fd);
36871bb428fSJakub Kicinski 		if (err)
369743cc665SQuentin Monnet 			break;
37071bb428fSJakub Kicinski 	}
37171bb428fSJakub Kicinski 
372743cc665SQuentin Monnet 	if (json_output)
373743cc665SQuentin Monnet 		jsonw_end_array(json_wtr);
374743cc665SQuentin Monnet 
375743cc665SQuentin Monnet 	return err;
37671bb428fSJakub Kicinski }
37771bb428fSJakub Kicinski 
378c9c35995SJakub Kicinski static void print_insn(struct bpf_verifier_env *env, const char *fmt, ...)
379c9c35995SJakub Kicinski {
380c9c35995SJakub Kicinski 	va_list args;
381c9c35995SJakub Kicinski 
382c9c35995SJakub Kicinski 	va_start(args, fmt);
383c9c35995SJakub Kicinski 	vprintf(fmt, args);
384c9c35995SJakub Kicinski 	va_end(args);
385c9c35995SJakub Kicinski }
386c9c35995SJakub Kicinski 
387f05e2c32SQuentin Monnet static void dump_xlated_plain(void *buf, unsigned int len, bool opcodes)
388c9c35995SJakub Kicinski {
389c9c35995SJakub Kicinski 	struct bpf_insn *insn = buf;
3909e2308c1SQuentin Monnet 	bool double_insn = false;
391c9c35995SJakub Kicinski 	unsigned int i;
392c9c35995SJakub Kicinski 
393c9c35995SJakub Kicinski 	for (i = 0; i < len / sizeof(*insn); i++) {
3949e2308c1SQuentin Monnet 		if (double_insn) {
3959e2308c1SQuentin Monnet 			double_insn = false;
3969e2308c1SQuentin Monnet 			continue;
3979e2308c1SQuentin Monnet 		}
3989e2308c1SQuentin Monnet 
3999e2308c1SQuentin Monnet 		double_insn = insn[i].code == (BPF_LD | BPF_IMM | BPF_DW);
4009e2308c1SQuentin Monnet 
401c9c35995SJakub Kicinski 		printf("% 4d: ", i);
402c9c35995SJakub Kicinski 		print_bpf_insn(print_insn, NULL, insn + i, true);
403c9c35995SJakub Kicinski 
404c9c35995SJakub Kicinski 		if (opcodes) {
405c9c35995SJakub Kicinski 			printf("       ");
4069cbe1f58SQuentin Monnet 			fprint_hex(stdout, insn + i, 8, " ");
4079e2308c1SQuentin Monnet 			if (double_insn && i < len - 1) {
4089e2308c1SQuentin Monnet 				printf(" ");
4099e2308c1SQuentin Monnet 				fprint_hex(stdout, insn + i + 1, 8, " ");
4109e2308c1SQuentin Monnet 			}
411c9c35995SJakub Kicinski 			printf("\n");
412c9c35995SJakub Kicinski 		}
413c9c35995SJakub Kicinski 	}
414c9c35995SJakub Kicinski }
415c9c35995SJakub Kicinski 
416f05e2c32SQuentin Monnet static void print_insn_json(struct bpf_verifier_env *env, const char *fmt, ...)
417f05e2c32SQuentin Monnet {
418f05e2c32SQuentin Monnet 	unsigned int l = strlen(fmt);
419f05e2c32SQuentin Monnet 	char chomped_fmt[l];
420f05e2c32SQuentin Monnet 	va_list args;
421f05e2c32SQuentin Monnet 
422f05e2c32SQuentin Monnet 	va_start(args, fmt);
423f05e2c32SQuentin Monnet 	if (l > 0) {
424f05e2c32SQuentin Monnet 		strncpy(chomped_fmt, fmt, l - 1);
425f05e2c32SQuentin Monnet 		chomped_fmt[l - 1] = '\0';
426f05e2c32SQuentin Monnet 	}
427f05e2c32SQuentin Monnet 	jsonw_vprintf_enquote(json_wtr, chomped_fmt, args);
428f05e2c32SQuentin Monnet 	va_end(args);
429f05e2c32SQuentin Monnet }
430f05e2c32SQuentin Monnet 
431f05e2c32SQuentin Monnet static void dump_xlated_json(void *buf, unsigned int len, bool opcodes)
432f05e2c32SQuentin Monnet {
433f05e2c32SQuentin Monnet 	struct bpf_insn *insn = buf;
434f05e2c32SQuentin Monnet 	bool double_insn = false;
435f05e2c32SQuentin Monnet 	unsigned int i;
436f05e2c32SQuentin Monnet 
437f05e2c32SQuentin Monnet 	jsonw_start_array(json_wtr);
438f05e2c32SQuentin Monnet 	for (i = 0; i < len / sizeof(*insn); i++) {
439f05e2c32SQuentin Monnet 		if (double_insn) {
440f05e2c32SQuentin Monnet 			double_insn = false;
441f05e2c32SQuentin Monnet 			continue;
442f05e2c32SQuentin Monnet 		}
443f05e2c32SQuentin Monnet 		double_insn = insn[i].code == (BPF_LD | BPF_IMM | BPF_DW);
444f05e2c32SQuentin Monnet 
445f05e2c32SQuentin Monnet 		jsonw_start_object(json_wtr);
446f05e2c32SQuentin Monnet 		jsonw_name(json_wtr, "disasm");
447f05e2c32SQuentin Monnet 		print_bpf_insn(print_insn_json, NULL, insn + i, true);
448f05e2c32SQuentin Monnet 
449f05e2c32SQuentin Monnet 		if (opcodes) {
450f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "opcodes");
451f05e2c32SQuentin Monnet 			jsonw_start_object(json_wtr);
452f05e2c32SQuentin Monnet 
453f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "code");
454f05e2c32SQuentin Monnet 			jsonw_printf(json_wtr, "\"0x%02hhx\"", insn[i].code);
455f05e2c32SQuentin Monnet 
456f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "src_reg");
457f05e2c32SQuentin Monnet 			jsonw_printf(json_wtr, "\"0x%hhx\"", insn[i].src_reg);
458f05e2c32SQuentin Monnet 
459f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "dst_reg");
460f05e2c32SQuentin Monnet 			jsonw_printf(json_wtr, "\"0x%hhx\"", insn[i].dst_reg);
461f05e2c32SQuentin Monnet 
462f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "off");
463f05e2c32SQuentin Monnet 			print_hex_data_json((uint8_t *)(&insn[i].off), 2);
464f05e2c32SQuentin Monnet 
465f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "imm");
466f05e2c32SQuentin Monnet 			if (double_insn && i < len - 1)
467f05e2c32SQuentin Monnet 				print_hex_data_json((uint8_t *)(&insn[i].imm),
468f05e2c32SQuentin Monnet 						    12);
469f05e2c32SQuentin Monnet 			else
470f05e2c32SQuentin Monnet 				print_hex_data_json((uint8_t *)(&insn[i].imm),
471f05e2c32SQuentin Monnet 						    4);
472f05e2c32SQuentin Monnet 			jsonw_end_object(json_wtr);
473f05e2c32SQuentin Monnet 		}
474f05e2c32SQuentin Monnet 		jsonw_end_object(json_wtr);
475f05e2c32SQuentin Monnet 	}
476f05e2c32SQuentin Monnet 	jsonw_end_array(json_wtr);
477f05e2c32SQuentin Monnet }
478f05e2c32SQuentin Monnet 
47971bb428fSJakub Kicinski static int do_dump(int argc, char **argv)
48071bb428fSJakub Kicinski {
48171bb428fSJakub Kicinski 	struct bpf_prog_info info = {};
48271bb428fSJakub Kicinski 	__u32 len = sizeof(info);
48371bb428fSJakub Kicinski 	unsigned int buf_size;
48471bb428fSJakub Kicinski 	char *filepath = NULL;
48571bb428fSJakub Kicinski 	bool opcodes = false;
48671bb428fSJakub Kicinski 	unsigned char *buf;
48771bb428fSJakub Kicinski 	__u32 *member_len;
48871bb428fSJakub Kicinski 	__u64 *member_ptr;
48971bb428fSJakub Kicinski 	ssize_t n;
49071bb428fSJakub Kicinski 	int err;
49171bb428fSJakub Kicinski 	int fd;
49271bb428fSJakub Kicinski 
49371bb428fSJakub Kicinski 	if (is_prefix(*argv, "jited")) {
49471bb428fSJakub Kicinski 		member_len = &info.jited_prog_len;
49571bb428fSJakub Kicinski 		member_ptr = &info.jited_prog_insns;
49671bb428fSJakub Kicinski 	} else if (is_prefix(*argv, "xlated")) {
49771bb428fSJakub Kicinski 		member_len = &info.xlated_prog_len;
49871bb428fSJakub Kicinski 		member_ptr = &info.xlated_prog_insns;
49971bb428fSJakub Kicinski 	} else {
500*9a5ab8bfSQuentin Monnet 		p_err("expected 'xlated' or 'jited', got: %s", *argv);
50171bb428fSJakub Kicinski 		return -1;
50271bb428fSJakub Kicinski 	}
50371bb428fSJakub Kicinski 	NEXT_ARG();
50471bb428fSJakub Kicinski 
50571bb428fSJakub Kicinski 	if (argc < 2)
50671bb428fSJakub Kicinski 		usage();
50771bb428fSJakub Kicinski 
50871bb428fSJakub Kicinski 	fd = prog_parse_fd(&argc, &argv);
50971bb428fSJakub Kicinski 	if (fd < 0)
51071bb428fSJakub Kicinski 		return -1;
51171bb428fSJakub Kicinski 
51271bb428fSJakub Kicinski 	if (is_prefix(*argv, "file")) {
51371bb428fSJakub Kicinski 		NEXT_ARG();
51471bb428fSJakub Kicinski 		if (!argc) {
515*9a5ab8bfSQuentin Monnet 			p_err("expected file path");
51671bb428fSJakub Kicinski 			return -1;
51771bb428fSJakub Kicinski 		}
51871bb428fSJakub Kicinski 
51971bb428fSJakub Kicinski 		filepath = *argv;
52071bb428fSJakub Kicinski 		NEXT_ARG();
52171bb428fSJakub Kicinski 	} else if (is_prefix(*argv, "opcodes")) {
52271bb428fSJakub Kicinski 		opcodes = true;
52371bb428fSJakub Kicinski 		NEXT_ARG();
52471bb428fSJakub Kicinski 	}
52571bb428fSJakub Kicinski 
52671bb428fSJakub Kicinski 	if (argc) {
52771bb428fSJakub Kicinski 		usage();
52871bb428fSJakub Kicinski 		return -1;
52971bb428fSJakub Kicinski 	}
53071bb428fSJakub Kicinski 
53171bb428fSJakub Kicinski 	err = bpf_obj_get_info_by_fd(fd, &info, &len);
53271bb428fSJakub Kicinski 	if (err) {
533*9a5ab8bfSQuentin Monnet 		p_err("can't get prog info: %s", strerror(errno));
53471bb428fSJakub Kicinski 		return -1;
53571bb428fSJakub Kicinski 	}
53671bb428fSJakub Kicinski 
53771bb428fSJakub Kicinski 	if (!*member_len) {
538*9a5ab8bfSQuentin Monnet 		p_info("no instructions returned");
53971bb428fSJakub Kicinski 		close(fd);
54071bb428fSJakub Kicinski 		return 0;
54171bb428fSJakub Kicinski 	}
54271bb428fSJakub Kicinski 
54371bb428fSJakub Kicinski 	buf_size = *member_len;
54471bb428fSJakub Kicinski 
54571bb428fSJakub Kicinski 	buf = malloc(buf_size);
54671bb428fSJakub Kicinski 	if (!buf) {
547*9a5ab8bfSQuentin Monnet 		p_err("mem alloc failed");
54871bb428fSJakub Kicinski 		close(fd);
54971bb428fSJakub Kicinski 		return -1;
55071bb428fSJakub Kicinski 	}
55171bb428fSJakub Kicinski 
55271bb428fSJakub Kicinski 	memset(&info, 0, sizeof(info));
55371bb428fSJakub Kicinski 
55471bb428fSJakub Kicinski 	*member_ptr = ptr_to_u64(buf);
55571bb428fSJakub Kicinski 	*member_len = buf_size;
55671bb428fSJakub Kicinski 
55771bb428fSJakub Kicinski 	err = bpf_obj_get_info_by_fd(fd, &info, &len);
55871bb428fSJakub Kicinski 	close(fd);
55971bb428fSJakub Kicinski 	if (err) {
560*9a5ab8bfSQuentin Monnet 		p_err("can't get prog info: %s", strerror(errno));
56171bb428fSJakub Kicinski 		goto err_free;
56271bb428fSJakub Kicinski 	}
56371bb428fSJakub Kicinski 
56471bb428fSJakub Kicinski 	if (*member_len > buf_size) {
565*9a5ab8bfSQuentin Monnet 		p_err("too many instructions returned");
56671bb428fSJakub Kicinski 		goto err_free;
56771bb428fSJakub Kicinski 	}
56871bb428fSJakub Kicinski 
56971bb428fSJakub Kicinski 	if (filepath) {
57071bb428fSJakub Kicinski 		fd = open(filepath, O_WRONLY | O_CREAT | O_TRUNC, 0600);
57171bb428fSJakub Kicinski 		if (fd < 0) {
572*9a5ab8bfSQuentin Monnet 			p_err("can't open file %s: %s", filepath,
57371bb428fSJakub Kicinski 			      strerror(errno));
57471bb428fSJakub Kicinski 			goto err_free;
57571bb428fSJakub Kicinski 		}
57671bb428fSJakub Kicinski 
57771bb428fSJakub Kicinski 		n = write(fd, buf, *member_len);
57871bb428fSJakub Kicinski 		close(fd);
57971bb428fSJakub Kicinski 		if (n != *member_len) {
580*9a5ab8bfSQuentin Monnet 			p_err("error writing output file: %s",
58171bb428fSJakub Kicinski 			      n < 0 ? strerror(errno) : "short write");
58271bb428fSJakub Kicinski 			goto err_free;
58371bb428fSJakub Kicinski 		}
58471bb428fSJakub Kicinski 	} else {
585c9c35995SJakub Kicinski 		if (member_len == &info.jited_prog_len)
58671bb428fSJakub Kicinski 			disasm_print_insn(buf, *member_len, opcodes);
587c9c35995SJakub Kicinski 		else
588f05e2c32SQuentin Monnet 			if (json_output)
589f05e2c32SQuentin Monnet 				dump_xlated_json(buf, *member_len, opcodes);
590f05e2c32SQuentin Monnet 			else
591f05e2c32SQuentin Monnet 				dump_xlated_plain(buf, *member_len, opcodes);
59271bb428fSJakub Kicinski 	}
59371bb428fSJakub Kicinski 
59471bb428fSJakub Kicinski 	free(buf);
59571bb428fSJakub Kicinski 
59671bb428fSJakub Kicinski 	return 0;
59771bb428fSJakub Kicinski 
59871bb428fSJakub Kicinski err_free:
59971bb428fSJakub Kicinski 	free(buf);
60071bb428fSJakub Kicinski 	return -1;
60171bb428fSJakub Kicinski }
60271bb428fSJakub Kicinski 
60371bb428fSJakub Kicinski static int do_pin(int argc, char **argv)
60471bb428fSJakub Kicinski {
60571bb428fSJakub Kicinski 	return do_pin_any(argc, argv, bpf_prog_get_fd_by_id);
60671bb428fSJakub Kicinski }
60771bb428fSJakub Kicinski 
60871bb428fSJakub Kicinski static int do_help(int argc, char **argv)
60971bb428fSJakub Kicinski {
61071bb428fSJakub Kicinski 	fprintf(stderr,
61171bb428fSJakub Kicinski 		"Usage: %s %s show [PROG]\n"
6128dfbc6d1SQuentin Monnet 		"       %s %s dump xlated PROG [{ file FILE | opcodes }]\n"
6138dfbc6d1SQuentin Monnet 		"       %s %s dump jited  PROG [{ file FILE | opcodes }]\n"
61471bb428fSJakub Kicinski 		"       %s %s pin   PROG FILE\n"
61571bb428fSJakub Kicinski 		"       %s %s help\n"
61671bb428fSJakub Kicinski 		"\n"
61771bb428fSJakub Kicinski 		"       " HELP_SPEC_PROGRAM "\n"
61871bb428fSJakub Kicinski 		"",
61971bb428fSJakub Kicinski 		bin_name, argv[-2], bin_name, argv[-2], bin_name, argv[-2],
62071bb428fSJakub Kicinski 		bin_name, argv[-2], bin_name, argv[-2]);
62171bb428fSJakub Kicinski 
62271bb428fSJakub Kicinski 	return 0;
62371bb428fSJakub Kicinski }
62471bb428fSJakub Kicinski 
62571bb428fSJakub Kicinski static const struct cmd cmds[] = {
62671bb428fSJakub Kicinski 	{ "show",	do_show },
6279f606179SQuentin Monnet 	{ "help",	do_help },
62871bb428fSJakub Kicinski 	{ "dump",	do_dump },
62971bb428fSJakub Kicinski 	{ "pin",	do_pin },
63071bb428fSJakub Kicinski 	{ 0 }
63171bb428fSJakub Kicinski };
63271bb428fSJakub Kicinski 
63371bb428fSJakub Kicinski int do_prog(int argc, char **argv)
63471bb428fSJakub Kicinski {
63571bb428fSJakub Kicinski 	return cmd_select(cmds, argc, argv, do_help);
63671bb428fSJakub Kicinski }
637