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