xref: /openbmc/linux/tools/bpf/bpftool/prog.c (revision f05e2c32f715985f54265b1e237b5cce1b576c71)
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) {
10771bb428fSJakub Kicinski 			err("%s\n", 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) {
11371bb428fSJakub Kicinski 			err("can't get prog by id (%u): %s\n",
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) {
12071bb428fSJakub Kicinski 			err("can't get prog info (%u): %s\n",
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) {
14571bb428fSJakub Kicinski 			err("can't parse %s as ID\n", **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)
15271bb428fSJakub Kicinski 			err("get by id (%u): %s\n", 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) {
16271bb428fSJakub Kicinski 			err("can't parse tag\n");
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 
17971bb428fSJakub Kicinski 	err("expected 'id', 'tag' or 'pinned', got: '%s'?\n", **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) {
314743cc665SQuentin Monnet 		err("can't get prog info: %s\n", 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 			}
35271bb428fSJakub Kicinski 			err("can't get next program: %s\n", strerror(errno));
35371bb428fSJakub Kicinski 			if (errno == EINVAL)
35471bb428fSJakub Kicinski 				err("kernel too old?\n");
355743cc665SQuentin Monnet 			err = -1;
356743cc665SQuentin Monnet 			break;
35771bb428fSJakub Kicinski 		}
35871bb428fSJakub Kicinski 
35971bb428fSJakub Kicinski 		fd = bpf_prog_get_fd_by_id(id);
36071bb428fSJakub Kicinski 		if (fd < 0) {
36171bb428fSJakub Kicinski 			err("can't get prog by id (%u): %s\n",
36271bb428fSJakub Kicinski 			    id, strerror(errno));
363743cc665SQuentin Monnet 			err = -1;
364743cc665SQuentin Monnet 			break;
36571bb428fSJakub Kicinski 		}
36671bb428fSJakub Kicinski 
36771bb428fSJakub Kicinski 		err = show_prog(fd);
36871bb428fSJakub Kicinski 		close(fd);
36971bb428fSJakub Kicinski 		if (err)
370743cc665SQuentin Monnet 			break;
37171bb428fSJakub Kicinski 	}
37271bb428fSJakub Kicinski 
373743cc665SQuentin Monnet 	if (json_output)
374743cc665SQuentin Monnet 		jsonw_end_array(json_wtr);
375743cc665SQuentin Monnet 
376743cc665SQuentin Monnet 	return err;
37771bb428fSJakub Kicinski }
37871bb428fSJakub Kicinski 
379c9c35995SJakub Kicinski static void print_insn(struct bpf_verifier_env *env, const char *fmt, ...)
380c9c35995SJakub Kicinski {
381c9c35995SJakub Kicinski 	va_list args;
382c9c35995SJakub Kicinski 
383c9c35995SJakub Kicinski 	va_start(args, fmt);
384c9c35995SJakub Kicinski 	vprintf(fmt, args);
385c9c35995SJakub Kicinski 	va_end(args);
386c9c35995SJakub Kicinski }
387c9c35995SJakub Kicinski 
388*f05e2c32SQuentin Monnet static void dump_xlated_plain(void *buf, unsigned int len, bool opcodes)
389c9c35995SJakub Kicinski {
390c9c35995SJakub Kicinski 	struct bpf_insn *insn = buf;
3919e2308c1SQuentin Monnet 	bool double_insn = false;
392c9c35995SJakub Kicinski 	unsigned int i;
393c9c35995SJakub Kicinski 
394c9c35995SJakub Kicinski 	for (i = 0; i < len / sizeof(*insn); i++) {
3959e2308c1SQuentin Monnet 		if (double_insn) {
3969e2308c1SQuentin Monnet 			double_insn = false;
3979e2308c1SQuentin Monnet 			continue;
3989e2308c1SQuentin Monnet 		}
3999e2308c1SQuentin Monnet 
4009e2308c1SQuentin Monnet 		double_insn = insn[i].code == (BPF_LD | BPF_IMM | BPF_DW);
4019e2308c1SQuentin Monnet 
402c9c35995SJakub Kicinski 		printf("% 4d: ", i);
403c9c35995SJakub Kicinski 		print_bpf_insn(print_insn, NULL, insn + i, true);
404c9c35995SJakub Kicinski 
405c9c35995SJakub Kicinski 		if (opcodes) {
406c9c35995SJakub Kicinski 			printf("       ");
4079cbe1f58SQuentin Monnet 			fprint_hex(stdout, insn + i, 8, " ");
4089e2308c1SQuentin Monnet 			if (double_insn && i < len - 1) {
4099e2308c1SQuentin Monnet 				printf(" ");
4109e2308c1SQuentin Monnet 				fprint_hex(stdout, insn + i + 1, 8, " ");
4119e2308c1SQuentin Monnet 			}
412c9c35995SJakub Kicinski 			printf("\n");
413c9c35995SJakub Kicinski 		}
414c9c35995SJakub Kicinski 	}
415c9c35995SJakub Kicinski }
416c9c35995SJakub Kicinski 
417*f05e2c32SQuentin Monnet static void print_insn_json(struct bpf_verifier_env *env, const char *fmt, ...)
418*f05e2c32SQuentin Monnet {
419*f05e2c32SQuentin Monnet 	unsigned int l = strlen(fmt);
420*f05e2c32SQuentin Monnet 	char chomped_fmt[l];
421*f05e2c32SQuentin Monnet 	va_list args;
422*f05e2c32SQuentin Monnet 
423*f05e2c32SQuentin Monnet 	va_start(args, fmt);
424*f05e2c32SQuentin Monnet 	if (l > 0) {
425*f05e2c32SQuentin Monnet 		strncpy(chomped_fmt, fmt, l - 1);
426*f05e2c32SQuentin Monnet 		chomped_fmt[l - 1] = '\0';
427*f05e2c32SQuentin Monnet 	}
428*f05e2c32SQuentin Monnet 	jsonw_vprintf_enquote(json_wtr, chomped_fmt, args);
429*f05e2c32SQuentin Monnet 	va_end(args);
430*f05e2c32SQuentin Monnet }
431*f05e2c32SQuentin Monnet 
432*f05e2c32SQuentin Monnet static void dump_xlated_json(void *buf, unsigned int len, bool opcodes)
433*f05e2c32SQuentin Monnet {
434*f05e2c32SQuentin Monnet 	struct bpf_insn *insn = buf;
435*f05e2c32SQuentin Monnet 	bool double_insn = false;
436*f05e2c32SQuentin Monnet 	unsigned int i;
437*f05e2c32SQuentin Monnet 
438*f05e2c32SQuentin Monnet 	jsonw_start_array(json_wtr);
439*f05e2c32SQuentin Monnet 	for (i = 0; i < len / sizeof(*insn); i++) {
440*f05e2c32SQuentin Monnet 		if (double_insn) {
441*f05e2c32SQuentin Monnet 			double_insn = false;
442*f05e2c32SQuentin Monnet 			continue;
443*f05e2c32SQuentin Monnet 		}
444*f05e2c32SQuentin Monnet 		double_insn = insn[i].code == (BPF_LD | BPF_IMM | BPF_DW);
445*f05e2c32SQuentin Monnet 
446*f05e2c32SQuentin Monnet 		jsonw_start_object(json_wtr);
447*f05e2c32SQuentin Monnet 		jsonw_name(json_wtr, "disasm");
448*f05e2c32SQuentin Monnet 		print_bpf_insn(print_insn_json, NULL, insn + i, true);
449*f05e2c32SQuentin Monnet 
450*f05e2c32SQuentin Monnet 		if (opcodes) {
451*f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "opcodes");
452*f05e2c32SQuentin Monnet 			jsonw_start_object(json_wtr);
453*f05e2c32SQuentin Monnet 
454*f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "code");
455*f05e2c32SQuentin Monnet 			jsonw_printf(json_wtr, "\"0x%02hhx\"", insn[i].code);
456*f05e2c32SQuentin Monnet 
457*f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "src_reg");
458*f05e2c32SQuentin Monnet 			jsonw_printf(json_wtr, "\"0x%hhx\"", insn[i].src_reg);
459*f05e2c32SQuentin Monnet 
460*f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "dst_reg");
461*f05e2c32SQuentin Monnet 			jsonw_printf(json_wtr, "\"0x%hhx\"", insn[i].dst_reg);
462*f05e2c32SQuentin Monnet 
463*f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "off");
464*f05e2c32SQuentin Monnet 			print_hex_data_json((uint8_t *)(&insn[i].off), 2);
465*f05e2c32SQuentin Monnet 
466*f05e2c32SQuentin Monnet 			jsonw_name(json_wtr, "imm");
467*f05e2c32SQuentin Monnet 			if (double_insn && i < len - 1)
468*f05e2c32SQuentin Monnet 				print_hex_data_json((uint8_t *)(&insn[i].imm),
469*f05e2c32SQuentin Monnet 						    12);
470*f05e2c32SQuentin Monnet 			else
471*f05e2c32SQuentin Monnet 				print_hex_data_json((uint8_t *)(&insn[i].imm),
472*f05e2c32SQuentin Monnet 						    4);
473*f05e2c32SQuentin Monnet 			jsonw_end_object(json_wtr);
474*f05e2c32SQuentin Monnet 		}
475*f05e2c32SQuentin Monnet 		jsonw_end_object(json_wtr);
476*f05e2c32SQuentin Monnet 	}
477*f05e2c32SQuentin Monnet 	jsonw_end_array(json_wtr);
478*f05e2c32SQuentin Monnet }
479*f05e2c32SQuentin Monnet 
48071bb428fSJakub Kicinski static int do_dump(int argc, char **argv)
48171bb428fSJakub Kicinski {
48271bb428fSJakub Kicinski 	struct bpf_prog_info info = {};
48371bb428fSJakub Kicinski 	__u32 len = sizeof(info);
48471bb428fSJakub Kicinski 	unsigned int buf_size;
48571bb428fSJakub Kicinski 	char *filepath = NULL;
48671bb428fSJakub Kicinski 	bool opcodes = false;
48771bb428fSJakub Kicinski 	unsigned char *buf;
48871bb428fSJakub Kicinski 	__u32 *member_len;
48971bb428fSJakub Kicinski 	__u64 *member_ptr;
49071bb428fSJakub Kicinski 	ssize_t n;
49171bb428fSJakub Kicinski 	int err;
49271bb428fSJakub Kicinski 	int fd;
49371bb428fSJakub Kicinski 
49471bb428fSJakub Kicinski 	if (is_prefix(*argv, "jited")) {
49571bb428fSJakub Kicinski 		member_len = &info.jited_prog_len;
49671bb428fSJakub Kicinski 		member_ptr = &info.jited_prog_insns;
49771bb428fSJakub Kicinski 	} else if (is_prefix(*argv, "xlated")) {
49871bb428fSJakub Kicinski 		member_len = &info.xlated_prog_len;
49971bb428fSJakub Kicinski 		member_ptr = &info.xlated_prog_insns;
50071bb428fSJakub Kicinski 	} else {
50171bb428fSJakub Kicinski 		err("expected 'xlated' or 'jited', got: %s\n", *argv);
50271bb428fSJakub Kicinski 		return -1;
50371bb428fSJakub Kicinski 	}
50471bb428fSJakub Kicinski 	NEXT_ARG();
50571bb428fSJakub Kicinski 
50671bb428fSJakub Kicinski 	if (argc < 2)
50771bb428fSJakub Kicinski 		usage();
50871bb428fSJakub Kicinski 
50971bb428fSJakub Kicinski 	fd = prog_parse_fd(&argc, &argv);
51071bb428fSJakub Kicinski 	if (fd < 0)
51171bb428fSJakub Kicinski 		return -1;
51271bb428fSJakub Kicinski 
51371bb428fSJakub Kicinski 	if (is_prefix(*argv, "file")) {
51471bb428fSJakub Kicinski 		NEXT_ARG();
51571bb428fSJakub Kicinski 		if (!argc) {
51671bb428fSJakub Kicinski 			err("expected file path\n");
51771bb428fSJakub Kicinski 			return -1;
51871bb428fSJakub Kicinski 		}
51971bb428fSJakub Kicinski 
52071bb428fSJakub Kicinski 		filepath = *argv;
52171bb428fSJakub Kicinski 		NEXT_ARG();
52271bb428fSJakub Kicinski 	} else if (is_prefix(*argv, "opcodes")) {
52371bb428fSJakub Kicinski 		opcodes = true;
52471bb428fSJakub Kicinski 		NEXT_ARG();
52571bb428fSJakub Kicinski 	}
52671bb428fSJakub Kicinski 
52771bb428fSJakub Kicinski 	if (argc) {
52871bb428fSJakub Kicinski 		usage();
52971bb428fSJakub Kicinski 		return -1;
53071bb428fSJakub Kicinski 	}
53171bb428fSJakub Kicinski 
53271bb428fSJakub Kicinski 	err = bpf_obj_get_info_by_fd(fd, &info, &len);
53371bb428fSJakub Kicinski 	if (err) {
53471bb428fSJakub Kicinski 		err("can't get prog info: %s\n", strerror(errno));
53571bb428fSJakub Kicinski 		return -1;
53671bb428fSJakub Kicinski 	}
53771bb428fSJakub Kicinski 
53871bb428fSJakub Kicinski 	if (!*member_len) {
53971bb428fSJakub Kicinski 		info("no instructions returned\n");
54071bb428fSJakub Kicinski 		close(fd);
54171bb428fSJakub Kicinski 		return 0;
54271bb428fSJakub Kicinski 	}
54371bb428fSJakub Kicinski 
54471bb428fSJakub Kicinski 	buf_size = *member_len;
54571bb428fSJakub Kicinski 
54671bb428fSJakub Kicinski 	buf = malloc(buf_size);
54771bb428fSJakub Kicinski 	if (!buf) {
54871bb428fSJakub Kicinski 		err("mem alloc failed\n");
54971bb428fSJakub Kicinski 		close(fd);
55071bb428fSJakub Kicinski 		return -1;
55171bb428fSJakub Kicinski 	}
55271bb428fSJakub Kicinski 
55371bb428fSJakub Kicinski 	memset(&info, 0, sizeof(info));
55471bb428fSJakub Kicinski 
55571bb428fSJakub Kicinski 	*member_ptr = ptr_to_u64(buf);
55671bb428fSJakub Kicinski 	*member_len = buf_size;
55771bb428fSJakub Kicinski 
55871bb428fSJakub Kicinski 	err = bpf_obj_get_info_by_fd(fd, &info, &len);
55971bb428fSJakub Kicinski 	close(fd);
56071bb428fSJakub Kicinski 	if (err) {
56171bb428fSJakub Kicinski 		err("can't get prog info: %s\n", strerror(errno));
56271bb428fSJakub Kicinski 		goto err_free;
56371bb428fSJakub Kicinski 	}
56471bb428fSJakub Kicinski 
56571bb428fSJakub Kicinski 	if (*member_len > buf_size) {
5661d84487eSQuentin Monnet 		err("too many instructions returned\n");
56771bb428fSJakub Kicinski 		goto err_free;
56871bb428fSJakub Kicinski 	}
56971bb428fSJakub Kicinski 
57071bb428fSJakub Kicinski 	if (filepath) {
57171bb428fSJakub Kicinski 		fd = open(filepath, O_WRONLY | O_CREAT | O_TRUNC, 0600);
57271bb428fSJakub Kicinski 		if (fd < 0) {
57371bb428fSJakub Kicinski 			err("can't open file %s: %s\n", filepath,
57471bb428fSJakub Kicinski 			    strerror(errno));
57571bb428fSJakub Kicinski 			goto err_free;
57671bb428fSJakub Kicinski 		}
57771bb428fSJakub Kicinski 
57871bb428fSJakub Kicinski 		n = write(fd, buf, *member_len);
57971bb428fSJakub Kicinski 		close(fd);
58071bb428fSJakub Kicinski 		if (n != *member_len) {
58171bb428fSJakub Kicinski 			err("error writing output file: %s\n",
58271bb428fSJakub Kicinski 			    n < 0 ? strerror(errno) : "short write");
58371bb428fSJakub Kicinski 			goto err_free;
58471bb428fSJakub Kicinski 		}
58571bb428fSJakub Kicinski 	} else {
586c9c35995SJakub Kicinski 		if (member_len == &info.jited_prog_len)
58771bb428fSJakub Kicinski 			disasm_print_insn(buf, *member_len, opcodes);
588c9c35995SJakub Kicinski 		else
589*f05e2c32SQuentin Monnet 			if (json_output)
590*f05e2c32SQuentin Monnet 				dump_xlated_json(buf, *member_len, opcodes);
591*f05e2c32SQuentin Monnet 			else
592*f05e2c32SQuentin Monnet 				dump_xlated_plain(buf, *member_len, opcodes);
59371bb428fSJakub Kicinski 	}
59471bb428fSJakub Kicinski 
59571bb428fSJakub Kicinski 	free(buf);
59671bb428fSJakub Kicinski 
59771bb428fSJakub Kicinski 	return 0;
59871bb428fSJakub Kicinski 
59971bb428fSJakub Kicinski err_free:
60071bb428fSJakub Kicinski 	free(buf);
60171bb428fSJakub Kicinski 	return -1;
60271bb428fSJakub Kicinski }
60371bb428fSJakub Kicinski 
60471bb428fSJakub Kicinski static int do_pin(int argc, char **argv)
60571bb428fSJakub Kicinski {
60671bb428fSJakub Kicinski 	return do_pin_any(argc, argv, bpf_prog_get_fd_by_id);
60771bb428fSJakub Kicinski }
60871bb428fSJakub Kicinski 
60971bb428fSJakub Kicinski static int do_help(int argc, char **argv)
61071bb428fSJakub Kicinski {
61171bb428fSJakub Kicinski 	fprintf(stderr,
61271bb428fSJakub Kicinski 		"Usage: %s %s show [PROG]\n"
6138dfbc6d1SQuentin Monnet 		"       %s %s dump xlated PROG [{ file FILE | opcodes }]\n"
6148dfbc6d1SQuentin Monnet 		"       %s %s dump jited  PROG [{ file FILE | opcodes }]\n"
61571bb428fSJakub Kicinski 		"       %s %s pin   PROG FILE\n"
61671bb428fSJakub Kicinski 		"       %s %s help\n"
61771bb428fSJakub Kicinski 		"\n"
61871bb428fSJakub Kicinski 		"       " HELP_SPEC_PROGRAM "\n"
61971bb428fSJakub Kicinski 		"",
62071bb428fSJakub Kicinski 		bin_name, argv[-2], bin_name, argv[-2], bin_name, argv[-2],
62171bb428fSJakub Kicinski 		bin_name, argv[-2], bin_name, argv[-2]);
62271bb428fSJakub Kicinski 
62371bb428fSJakub Kicinski 	return 0;
62471bb428fSJakub Kicinski }
62571bb428fSJakub Kicinski 
62671bb428fSJakub Kicinski static const struct cmd cmds[] = {
62771bb428fSJakub Kicinski 	{ "show",	do_show },
6289f606179SQuentin Monnet 	{ "help",	do_help },
62971bb428fSJakub Kicinski 	{ "dump",	do_dump },
63071bb428fSJakub Kicinski 	{ "pin",	do_pin },
63171bb428fSJakub Kicinski 	{ 0 }
63271bb428fSJakub Kicinski };
63371bb428fSJakub Kicinski 
63471bb428fSJakub Kicinski int do_prog(int argc, char **argv)
63571bb428fSJakub Kicinski {
63671bb428fSJakub Kicinski 	return cmd_select(cmds, argc, argv, do_help);
63771bb428fSJakub Kicinski }
638