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) { 1079a5ab8bfSQuentin 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) { 1139a5ab8bfSQuentin 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) { 1209a5ab8bfSQuentin 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) { 1459a5ab8bfSQuentin 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) 1529a5ab8bfSQuentin 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) { 1629a5ab8bfSQuentin 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 1799a5ab8bfSQuentin 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 2594990f1f4SPrashant Bhole if (!hash_empty(prog_table.table)) { 2604990f1f4SPrashant Bhole struct pinned_obj *obj; 2614990f1f4SPrashant Bhole 2624990f1f4SPrashant Bhole jsonw_name(json_wtr, "pinned"); 2634990f1f4SPrashant Bhole jsonw_start_array(json_wtr); 2644990f1f4SPrashant Bhole hash_for_each_possible(prog_table.table, obj, hash, info->id) { 2654990f1f4SPrashant Bhole if (obj->id == info->id) 2664990f1f4SPrashant Bhole jsonw_string(json_wtr, obj->path); 2674990f1f4SPrashant Bhole } 2684990f1f4SPrashant Bhole jsonw_end_array(json_wtr); 2694990f1f4SPrashant Bhole } 2704990f1f4SPrashant Bhole 271743cc665SQuentin Monnet jsonw_end_object(json_wtr); 272743cc665SQuentin Monnet } 273743cc665SQuentin Monnet 274743cc665SQuentin Monnet static void print_prog_plain(struct bpf_prog_info *info, int fd) 275743cc665SQuentin Monnet { 276743cc665SQuentin Monnet char *memlock; 277743cc665SQuentin Monnet 278743cc665SQuentin Monnet printf("%u: ", info->id); 279743cc665SQuentin Monnet if (info->type < ARRAY_SIZE(prog_type_name)) 280743cc665SQuentin Monnet printf("%s ", prog_type_name[info->type]); 281743cc665SQuentin Monnet else 282743cc665SQuentin Monnet printf("type %u ", info->type); 283743cc665SQuentin Monnet 284743cc665SQuentin Monnet if (*info->name) 285743cc665SQuentin Monnet printf("name %s ", info->name); 286743cc665SQuentin Monnet 287743cc665SQuentin Monnet printf("tag "); 288743cc665SQuentin Monnet fprint_hex(stdout, info->tag, BPF_TAG_SIZE, ""); 289743cc665SQuentin Monnet printf("\n"); 290743cc665SQuentin Monnet 291743cc665SQuentin Monnet if (info->load_time) { 292743cc665SQuentin Monnet char buf[32]; 293743cc665SQuentin Monnet 294743cc665SQuentin Monnet print_boot_time(info->load_time, buf, sizeof(buf)); 295743cc665SQuentin Monnet 296743cc665SQuentin Monnet /* Piggy back on load_time, since 0 uid is a valid one */ 297743cc665SQuentin Monnet printf("\tloaded_at %s uid %u\n", buf, info->created_by_uid); 298743cc665SQuentin Monnet } 299743cc665SQuentin Monnet 300743cc665SQuentin Monnet printf("\txlated %uB", info->xlated_prog_len); 301743cc665SQuentin Monnet 302743cc665SQuentin Monnet if (info->jited_prog_len) 303743cc665SQuentin Monnet printf(" jited %uB", info->jited_prog_len); 30471bb428fSJakub Kicinski else 30571bb428fSJakub Kicinski printf(" not jited"); 30671bb428fSJakub Kicinski 30771bb428fSJakub Kicinski memlock = get_fdinfo(fd, "memlock"); 30871bb428fSJakub Kicinski if (memlock) 30971bb428fSJakub Kicinski printf(" memlock %sB", memlock); 31071bb428fSJakub Kicinski free(memlock); 31171bb428fSJakub Kicinski 312743cc665SQuentin Monnet if (info->nr_map_ids) 313743cc665SQuentin Monnet show_prog_maps(fd, info->nr_map_ids); 31471bb428fSJakub Kicinski 3154990f1f4SPrashant Bhole if (!hash_empty(prog_table.table)) { 3164990f1f4SPrashant Bhole struct pinned_obj *obj; 3174990f1f4SPrashant Bhole 3184990f1f4SPrashant Bhole printf("\n"); 3194990f1f4SPrashant Bhole hash_for_each_possible(prog_table.table, obj, hash, info->id) { 3204990f1f4SPrashant Bhole if (obj->id == info->id) 3214990f1f4SPrashant Bhole printf("\tpinned %s\n", obj->path); 3224990f1f4SPrashant Bhole } 3234990f1f4SPrashant Bhole } 3244990f1f4SPrashant Bhole 32571bb428fSJakub Kicinski printf("\n"); 326743cc665SQuentin Monnet } 327743cc665SQuentin Monnet 328743cc665SQuentin Monnet static int show_prog(int fd) 329743cc665SQuentin Monnet { 330743cc665SQuentin Monnet struct bpf_prog_info info = {}; 331743cc665SQuentin Monnet __u32 len = sizeof(info); 332743cc665SQuentin Monnet int err; 333743cc665SQuentin Monnet 334743cc665SQuentin Monnet err = bpf_obj_get_info_by_fd(fd, &info, &len); 335743cc665SQuentin Monnet if (err) { 3369a5ab8bfSQuentin Monnet p_err("can't get prog info: %s", strerror(errno)); 337743cc665SQuentin Monnet return -1; 338743cc665SQuentin Monnet } 339743cc665SQuentin Monnet 340743cc665SQuentin Monnet if (json_output) 341743cc665SQuentin Monnet print_prog_json(&info, fd); 342743cc665SQuentin Monnet else 343743cc665SQuentin Monnet print_prog_plain(&info, fd); 34471bb428fSJakub Kicinski 34571bb428fSJakub Kicinski return 0; 34671bb428fSJakub Kicinski } 34771bb428fSJakub Kicinski 34871bb428fSJakub Kicinski static int do_show(int argc, char **argv) 349743cc665SQuentin Monnet { 350743cc665SQuentin Monnet __u32 id = 0; 35171bb428fSJakub Kicinski int err; 35271bb428fSJakub Kicinski int fd; 35371bb428fSJakub Kicinski 354c541b734SPrashant Bhole if (show_pinned) 3554990f1f4SPrashant Bhole build_pinned_obj_table(&prog_table, BPF_OBJ_PROG); 3564990f1f4SPrashant Bhole 35771bb428fSJakub Kicinski if (argc == 2) { 35871bb428fSJakub Kicinski fd = prog_parse_fd(&argc, &argv); 35971bb428fSJakub Kicinski if (fd < 0) 36071bb428fSJakub Kicinski return -1; 36171bb428fSJakub Kicinski 36271bb428fSJakub Kicinski return show_prog(fd); 36371bb428fSJakub Kicinski } 36471bb428fSJakub Kicinski 36571bb428fSJakub Kicinski if (argc) 36671bb428fSJakub Kicinski return BAD_ARG(); 36771bb428fSJakub Kicinski 368743cc665SQuentin Monnet if (json_output) 369743cc665SQuentin Monnet jsonw_start_array(json_wtr); 37071bb428fSJakub Kicinski while (true) { 37171bb428fSJakub Kicinski err = bpf_prog_get_next_id(id, &id); 37271bb428fSJakub Kicinski if (err) { 3731739c26dSQuentin Monnet if (errno == ENOENT) { 3741739c26dSQuentin Monnet err = 0; 37571bb428fSJakub Kicinski break; 3761739c26dSQuentin Monnet } 3779a5ab8bfSQuentin Monnet p_err("can't get next program: %s%s", strerror(errno), 3789a5ab8bfSQuentin Monnet errno == EINVAL ? " -- kernel too old?" : ""); 379743cc665SQuentin Monnet err = -1; 380743cc665SQuentin Monnet break; 38171bb428fSJakub Kicinski } 38271bb428fSJakub Kicinski 38371bb428fSJakub Kicinski fd = bpf_prog_get_fd_by_id(id); 38471bb428fSJakub Kicinski if (fd < 0) { 385*8207c6ddSJakub Kicinski if (errno == ENOENT) 386*8207c6ddSJakub Kicinski continue; 3879a5ab8bfSQuentin Monnet p_err("can't get prog by id (%u): %s", 38871bb428fSJakub Kicinski id, strerror(errno)); 389743cc665SQuentin Monnet err = -1; 390743cc665SQuentin Monnet break; 39171bb428fSJakub Kicinski } 39271bb428fSJakub Kicinski 39371bb428fSJakub Kicinski err = show_prog(fd); 39471bb428fSJakub Kicinski close(fd); 39571bb428fSJakub Kicinski if (err) 396743cc665SQuentin Monnet break; 39771bb428fSJakub Kicinski } 39871bb428fSJakub Kicinski 399743cc665SQuentin Monnet if (json_output) 400743cc665SQuentin Monnet jsonw_end_array(json_wtr); 401743cc665SQuentin Monnet 402743cc665SQuentin Monnet return err; 40371bb428fSJakub Kicinski } 40471bb428fSJakub Kicinski 405c9c35995SJakub Kicinski static void print_insn(struct bpf_verifier_env *env, const char *fmt, ...) 406c9c35995SJakub Kicinski { 407c9c35995SJakub Kicinski va_list args; 408c9c35995SJakub Kicinski 409c9c35995SJakub Kicinski va_start(args, fmt); 410c9c35995SJakub Kicinski vprintf(fmt, args); 411c9c35995SJakub Kicinski va_end(args); 412c9c35995SJakub Kicinski } 413c9c35995SJakub Kicinski 414f05e2c32SQuentin Monnet static void dump_xlated_plain(void *buf, unsigned int len, bool opcodes) 415c9c35995SJakub Kicinski { 416c9c35995SJakub Kicinski struct bpf_insn *insn = buf; 4179e2308c1SQuentin Monnet bool double_insn = false; 418c9c35995SJakub Kicinski unsigned int i; 419c9c35995SJakub Kicinski 420c9c35995SJakub Kicinski for (i = 0; i < len / sizeof(*insn); i++) { 4219e2308c1SQuentin Monnet if (double_insn) { 4229e2308c1SQuentin Monnet double_insn = false; 4239e2308c1SQuentin Monnet continue; 4249e2308c1SQuentin Monnet } 4259e2308c1SQuentin Monnet 4269e2308c1SQuentin Monnet double_insn = insn[i].code == (BPF_LD | BPF_IMM | BPF_DW); 4279e2308c1SQuentin Monnet 428c9c35995SJakub Kicinski printf("% 4d: ", i); 429c9c35995SJakub Kicinski print_bpf_insn(print_insn, NULL, insn + i, true); 430c9c35995SJakub Kicinski 431c9c35995SJakub Kicinski if (opcodes) { 432c9c35995SJakub Kicinski printf(" "); 4339cbe1f58SQuentin Monnet fprint_hex(stdout, insn + i, 8, " "); 4349e2308c1SQuentin Monnet if (double_insn && i < len - 1) { 4359e2308c1SQuentin Monnet printf(" "); 4369e2308c1SQuentin Monnet fprint_hex(stdout, insn + i + 1, 8, " "); 4379e2308c1SQuentin Monnet } 438c9c35995SJakub Kicinski printf("\n"); 439c9c35995SJakub Kicinski } 440c9c35995SJakub Kicinski } 441c9c35995SJakub Kicinski } 442c9c35995SJakub Kicinski 443f05e2c32SQuentin Monnet static void print_insn_json(struct bpf_verifier_env *env, const char *fmt, ...) 444f05e2c32SQuentin Monnet { 445f05e2c32SQuentin Monnet unsigned int l = strlen(fmt); 446f05e2c32SQuentin Monnet char chomped_fmt[l]; 447f05e2c32SQuentin Monnet va_list args; 448f05e2c32SQuentin Monnet 449f05e2c32SQuentin Monnet va_start(args, fmt); 450f05e2c32SQuentin Monnet if (l > 0) { 451f05e2c32SQuentin Monnet strncpy(chomped_fmt, fmt, l - 1); 452f05e2c32SQuentin Monnet chomped_fmt[l - 1] = '\0'; 453f05e2c32SQuentin Monnet } 454f05e2c32SQuentin Monnet jsonw_vprintf_enquote(json_wtr, chomped_fmt, args); 455f05e2c32SQuentin Monnet va_end(args); 456f05e2c32SQuentin Monnet } 457f05e2c32SQuentin Monnet 458f05e2c32SQuentin Monnet static void dump_xlated_json(void *buf, unsigned int len, bool opcodes) 459f05e2c32SQuentin Monnet { 460f05e2c32SQuentin Monnet struct bpf_insn *insn = buf; 461f05e2c32SQuentin Monnet bool double_insn = false; 462f05e2c32SQuentin Monnet unsigned int i; 463f05e2c32SQuentin Monnet 464f05e2c32SQuentin Monnet jsonw_start_array(json_wtr); 465f05e2c32SQuentin Monnet for (i = 0; i < len / sizeof(*insn); i++) { 466f05e2c32SQuentin Monnet if (double_insn) { 467f05e2c32SQuentin Monnet double_insn = false; 468f05e2c32SQuentin Monnet continue; 469f05e2c32SQuentin Monnet } 470f05e2c32SQuentin Monnet double_insn = insn[i].code == (BPF_LD | BPF_IMM | BPF_DW); 471f05e2c32SQuentin Monnet 472f05e2c32SQuentin Monnet jsonw_start_object(json_wtr); 473f05e2c32SQuentin Monnet jsonw_name(json_wtr, "disasm"); 474f05e2c32SQuentin Monnet print_bpf_insn(print_insn_json, NULL, insn + i, true); 475f05e2c32SQuentin Monnet 476f05e2c32SQuentin Monnet if (opcodes) { 477f05e2c32SQuentin Monnet jsonw_name(json_wtr, "opcodes"); 478f05e2c32SQuentin Monnet jsonw_start_object(json_wtr); 479f05e2c32SQuentin Monnet 480f05e2c32SQuentin Monnet jsonw_name(json_wtr, "code"); 481f05e2c32SQuentin Monnet jsonw_printf(json_wtr, "\"0x%02hhx\"", insn[i].code); 482f05e2c32SQuentin Monnet 483f05e2c32SQuentin Monnet jsonw_name(json_wtr, "src_reg"); 484f05e2c32SQuentin Monnet jsonw_printf(json_wtr, "\"0x%hhx\"", insn[i].src_reg); 485f05e2c32SQuentin Monnet 486f05e2c32SQuentin Monnet jsonw_name(json_wtr, "dst_reg"); 487f05e2c32SQuentin Monnet jsonw_printf(json_wtr, "\"0x%hhx\"", insn[i].dst_reg); 488f05e2c32SQuentin Monnet 489f05e2c32SQuentin Monnet jsonw_name(json_wtr, "off"); 490f05e2c32SQuentin Monnet print_hex_data_json((uint8_t *)(&insn[i].off), 2); 491f05e2c32SQuentin Monnet 492f05e2c32SQuentin Monnet jsonw_name(json_wtr, "imm"); 493f05e2c32SQuentin Monnet if (double_insn && i < len - 1) 494f05e2c32SQuentin Monnet print_hex_data_json((uint8_t *)(&insn[i].imm), 495f05e2c32SQuentin Monnet 12); 496f05e2c32SQuentin Monnet else 497f05e2c32SQuentin Monnet print_hex_data_json((uint8_t *)(&insn[i].imm), 498f05e2c32SQuentin Monnet 4); 499f05e2c32SQuentin Monnet jsonw_end_object(json_wtr); 500f05e2c32SQuentin Monnet } 501f05e2c32SQuentin Monnet jsonw_end_object(json_wtr); 502f05e2c32SQuentin Monnet } 503f05e2c32SQuentin Monnet jsonw_end_array(json_wtr); 504f05e2c32SQuentin Monnet } 505f05e2c32SQuentin Monnet 50671bb428fSJakub Kicinski static int do_dump(int argc, char **argv) 50771bb428fSJakub Kicinski { 50871bb428fSJakub Kicinski struct bpf_prog_info info = {}; 50971bb428fSJakub Kicinski __u32 len = sizeof(info); 51071bb428fSJakub Kicinski unsigned int buf_size; 51171bb428fSJakub Kicinski char *filepath = NULL; 51271bb428fSJakub Kicinski bool opcodes = false; 51371bb428fSJakub Kicinski unsigned char *buf; 51471bb428fSJakub Kicinski __u32 *member_len; 51571bb428fSJakub Kicinski __u64 *member_ptr; 51671bb428fSJakub Kicinski ssize_t n; 51771bb428fSJakub Kicinski int err; 51871bb428fSJakub Kicinski int fd; 51971bb428fSJakub Kicinski 52071bb428fSJakub Kicinski if (is_prefix(*argv, "jited")) { 52171bb428fSJakub Kicinski member_len = &info.jited_prog_len; 52271bb428fSJakub Kicinski member_ptr = &info.jited_prog_insns; 52371bb428fSJakub Kicinski } else if (is_prefix(*argv, "xlated")) { 52471bb428fSJakub Kicinski member_len = &info.xlated_prog_len; 52571bb428fSJakub Kicinski member_ptr = &info.xlated_prog_insns; 52671bb428fSJakub Kicinski } else { 5279a5ab8bfSQuentin Monnet p_err("expected 'xlated' or 'jited', got: %s", *argv); 52871bb428fSJakub Kicinski return -1; 52971bb428fSJakub Kicinski } 53071bb428fSJakub Kicinski NEXT_ARG(); 53171bb428fSJakub Kicinski 53271bb428fSJakub Kicinski if (argc < 2) 53371bb428fSJakub Kicinski usage(); 53471bb428fSJakub Kicinski 53571bb428fSJakub Kicinski fd = prog_parse_fd(&argc, &argv); 53671bb428fSJakub Kicinski if (fd < 0) 53771bb428fSJakub Kicinski return -1; 53871bb428fSJakub Kicinski 53971bb428fSJakub Kicinski if (is_prefix(*argv, "file")) { 54071bb428fSJakub Kicinski NEXT_ARG(); 54171bb428fSJakub Kicinski if (!argc) { 5429a5ab8bfSQuentin Monnet p_err("expected file path"); 54371bb428fSJakub Kicinski return -1; 54471bb428fSJakub Kicinski } 54571bb428fSJakub Kicinski 54671bb428fSJakub Kicinski filepath = *argv; 54771bb428fSJakub Kicinski NEXT_ARG(); 54871bb428fSJakub Kicinski } else if (is_prefix(*argv, "opcodes")) { 54971bb428fSJakub Kicinski opcodes = true; 55071bb428fSJakub Kicinski NEXT_ARG(); 55171bb428fSJakub Kicinski } 55271bb428fSJakub Kicinski 55371bb428fSJakub Kicinski if (argc) { 55471bb428fSJakub Kicinski usage(); 55571bb428fSJakub Kicinski return -1; 55671bb428fSJakub Kicinski } 55771bb428fSJakub Kicinski 55871bb428fSJakub Kicinski err = bpf_obj_get_info_by_fd(fd, &info, &len); 55971bb428fSJakub Kicinski if (err) { 5609a5ab8bfSQuentin Monnet p_err("can't get prog info: %s", strerror(errno)); 56171bb428fSJakub Kicinski return -1; 56271bb428fSJakub Kicinski } 56371bb428fSJakub Kicinski 56471bb428fSJakub Kicinski if (!*member_len) { 5659a5ab8bfSQuentin Monnet p_info("no instructions returned"); 56671bb428fSJakub Kicinski close(fd); 56771bb428fSJakub Kicinski return 0; 56871bb428fSJakub Kicinski } 56971bb428fSJakub Kicinski 57071bb428fSJakub Kicinski buf_size = *member_len; 57171bb428fSJakub Kicinski 57271bb428fSJakub Kicinski buf = malloc(buf_size); 57371bb428fSJakub Kicinski if (!buf) { 5749a5ab8bfSQuentin Monnet p_err("mem alloc failed"); 57571bb428fSJakub Kicinski close(fd); 57671bb428fSJakub Kicinski return -1; 57771bb428fSJakub Kicinski } 57871bb428fSJakub Kicinski 57971bb428fSJakub Kicinski memset(&info, 0, sizeof(info)); 58071bb428fSJakub Kicinski 58171bb428fSJakub Kicinski *member_ptr = ptr_to_u64(buf); 58271bb428fSJakub Kicinski *member_len = buf_size; 58371bb428fSJakub Kicinski 58471bb428fSJakub Kicinski err = bpf_obj_get_info_by_fd(fd, &info, &len); 58571bb428fSJakub Kicinski close(fd); 58671bb428fSJakub Kicinski if (err) { 5879a5ab8bfSQuentin Monnet p_err("can't get prog info: %s", strerror(errno)); 58871bb428fSJakub Kicinski goto err_free; 58971bb428fSJakub Kicinski } 59071bb428fSJakub Kicinski 59171bb428fSJakub Kicinski if (*member_len > buf_size) { 5929a5ab8bfSQuentin Monnet p_err("too many instructions returned"); 59371bb428fSJakub Kicinski goto err_free; 59471bb428fSJakub Kicinski } 59571bb428fSJakub Kicinski 59671bb428fSJakub Kicinski if (filepath) { 59771bb428fSJakub Kicinski fd = open(filepath, O_WRONLY | O_CREAT | O_TRUNC, 0600); 59871bb428fSJakub Kicinski if (fd < 0) { 5999a5ab8bfSQuentin Monnet p_err("can't open file %s: %s", filepath, 60071bb428fSJakub Kicinski strerror(errno)); 60171bb428fSJakub Kicinski goto err_free; 60271bb428fSJakub Kicinski } 60371bb428fSJakub Kicinski 60471bb428fSJakub Kicinski n = write(fd, buf, *member_len); 60571bb428fSJakub Kicinski close(fd); 60671bb428fSJakub Kicinski if (n != *member_len) { 6079a5ab8bfSQuentin Monnet p_err("error writing output file: %s", 60871bb428fSJakub Kicinski n < 0 ? strerror(errno) : "short write"); 60971bb428fSJakub Kicinski goto err_free; 61071bb428fSJakub Kicinski } 61171bb428fSJakub Kicinski } else { 612c9c35995SJakub Kicinski if (member_len == &info.jited_prog_len) 61371bb428fSJakub Kicinski disasm_print_insn(buf, *member_len, opcodes); 614c9c35995SJakub Kicinski else 615f05e2c32SQuentin Monnet if (json_output) 616f05e2c32SQuentin Monnet dump_xlated_json(buf, *member_len, opcodes); 617f05e2c32SQuentin Monnet else 618f05e2c32SQuentin Monnet dump_xlated_plain(buf, *member_len, opcodes); 61971bb428fSJakub Kicinski } 62071bb428fSJakub Kicinski 62171bb428fSJakub Kicinski free(buf); 62271bb428fSJakub Kicinski 62371bb428fSJakub Kicinski return 0; 62471bb428fSJakub Kicinski 62571bb428fSJakub Kicinski err_free: 62671bb428fSJakub Kicinski free(buf); 62771bb428fSJakub Kicinski return -1; 62871bb428fSJakub Kicinski } 62971bb428fSJakub Kicinski 63071bb428fSJakub Kicinski static int do_pin(int argc, char **argv) 63171bb428fSJakub Kicinski { 632004b45c0SQuentin Monnet int err; 633004b45c0SQuentin Monnet 634004b45c0SQuentin Monnet err = do_pin_any(argc, argv, bpf_prog_get_fd_by_id); 635004b45c0SQuentin Monnet if (!err && json_output) 636004b45c0SQuentin Monnet jsonw_null(json_wtr); 637004b45c0SQuentin Monnet return err; 63871bb428fSJakub Kicinski } 63971bb428fSJakub Kicinski 64071bb428fSJakub Kicinski static int do_help(int argc, char **argv) 64171bb428fSJakub Kicinski { 642004b45c0SQuentin Monnet if (json_output) { 643004b45c0SQuentin Monnet jsonw_null(json_wtr); 644004b45c0SQuentin Monnet return 0; 645004b45c0SQuentin Monnet } 646004b45c0SQuentin Monnet 64771bb428fSJakub Kicinski fprintf(stderr, 64871bb428fSJakub Kicinski "Usage: %s %s show [PROG]\n" 6498dfbc6d1SQuentin Monnet " %s %s dump xlated PROG [{ file FILE | opcodes }]\n" 6508dfbc6d1SQuentin Monnet " %s %s dump jited PROG [{ file FILE | opcodes }]\n" 65171bb428fSJakub Kicinski " %s %s pin PROG FILE\n" 65271bb428fSJakub Kicinski " %s %s help\n" 65371bb428fSJakub Kicinski "\n" 65471bb428fSJakub Kicinski " " HELP_SPEC_PROGRAM "\n" 6550641c3c8SQuentin Monnet " " HELP_SPEC_OPTIONS "\n" 65671bb428fSJakub Kicinski "", 65771bb428fSJakub Kicinski bin_name, argv[-2], bin_name, argv[-2], bin_name, argv[-2], 65871bb428fSJakub Kicinski bin_name, argv[-2], bin_name, argv[-2]); 65971bb428fSJakub Kicinski 66071bb428fSJakub Kicinski return 0; 66171bb428fSJakub Kicinski } 66271bb428fSJakub Kicinski 66371bb428fSJakub Kicinski static const struct cmd cmds[] = { 66471bb428fSJakub Kicinski { "show", do_show }, 6659f606179SQuentin Monnet { "help", do_help }, 66671bb428fSJakub Kicinski { "dump", do_dump }, 66771bb428fSJakub Kicinski { "pin", do_pin }, 66871bb428fSJakub Kicinski { 0 } 66971bb428fSJakub Kicinski }; 67071bb428fSJakub Kicinski 67171bb428fSJakub Kicinski int do_prog(int argc, char **argv) 67271bb428fSJakub Kicinski { 67371bb428fSJakub Kicinski return cmd_select(cmds, argc, argv, do_help); 67471bb428fSJakub Kicinski } 675