1*4882a593Smuzhiyun // SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun * Based on:
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun * Minimal BPF JIT image disassembler
6*4882a593Smuzhiyun *
7*4882a593Smuzhiyun * Disassembles BPF JIT compiler emitted opcodes back to asm insn's for
8*4882a593Smuzhiyun * debugging or verification purposes.
9*4882a593Smuzhiyun *
10*4882a593Smuzhiyun * Copyright 2013 Daniel Borkmann <daniel@iogearbox.net>
11*4882a593Smuzhiyun * Licensed under the GNU General Public License, version 2.0 (GPLv2)
12*4882a593Smuzhiyun */
13*4882a593Smuzhiyun
14*4882a593Smuzhiyun #define _GNU_SOURCE
15*4882a593Smuzhiyun #include <stdio.h>
16*4882a593Smuzhiyun #include <stdarg.h>
17*4882a593Smuzhiyun #include <stdint.h>
18*4882a593Smuzhiyun #include <stdlib.h>
19*4882a593Smuzhiyun #include <assert.h>
20*4882a593Smuzhiyun #include <unistd.h>
21*4882a593Smuzhiyun #include <string.h>
22*4882a593Smuzhiyun #include <bfd.h>
23*4882a593Smuzhiyun #include <dis-asm.h>
24*4882a593Smuzhiyun #include <sys/stat.h>
25*4882a593Smuzhiyun #include <limits.h>
26*4882a593Smuzhiyun #include <bpf/libbpf.h>
27*4882a593Smuzhiyun
28*4882a593Smuzhiyun #include "json_writer.h"
29*4882a593Smuzhiyun #include "main.h"
30*4882a593Smuzhiyun
get_exec_path(char * tpath,size_t size)31*4882a593Smuzhiyun static void get_exec_path(char *tpath, size_t size)
32*4882a593Smuzhiyun {
33*4882a593Smuzhiyun const char *path = "/proc/self/exe";
34*4882a593Smuzhiyun ssize_t len;
35*4882a593Smuzhiyun
36*4882a593Smuzhiyun len = readlink(path, tpath, size - 1);
37*4882a593Smuzhiyun assert(len > 0);
38*4882a593Smuzhiyun tpath[len] = 0;
39*4882a593Smuzhiyun }
40*4882a593Smuzhiyun
41*4882a593Smuzhiyun static int oper_count;
fprintf_json(void * out,const char * fmt,...)42*4882a593Smuzhiyun static int fprintf_json(void *out, const char *fmt, ...)
43*4882a593Smuzhiyun {
44*4882a593Smuzhiyun va_list ap;
45*4882a593Smuzhiyun char *s;
46*4882a593Smuzhiyun int err;
47*4882a593Smuzhiyun
48*4882a593Smuzhiyun va_start(ap, fmt);
49*4882a593Smuzhiyun err = vasprintf(&s, fmt, ap);
50*4882a593Smuzhiyun va_end(ap);
51*4882a593Smuzhiyun if (err < 0)
52*4882a593Smuzhiyun return -1;
53*4882a593Smuzhiyun
54*4882a593Smuzhiyun if (!oper_count) {
55*4882a593Smuzhiyun int i;
56*4882a593Smuzhiyun
57*4882a593Smuzhiyun /* Strip trailing spaces */
58*4882a593Smuzhiyun i = strlen(s) - 1;
59*4882a593Smuzhiyun while (s[i] == ' ')
60*4882a593Smuzhiyun s[i--] = '\0';
61*4882a593Smuzhiyun
62*4882a593Smuzhiyun jsonw_string_field(json_wtr, "operation", s);
63*4882a593Smuzhiyun jsonw_name(json_wtr, "operands");
64*4882a593Smuzhiyun jsonw_start_array(json_wtr);
65*4882a593Smuzhiyun oper_count++;
66*4882a593Smuzhiyun } else if (!strcmp(fmt, ",")) {
67*4882a593Smuzhiyun /* Skip */
68*4882a593Smuzhiyun } else {
69*4882a593Smuzhiyun jsonw_string(json_wtr, s);
70*4882a593Smuzhiyun oper_count++;
71*4882a593Smuzhiyun }
72*4882a593Smuzhiyun free(s);
73*4882a593Smuzhiyun return 0;
74*4882a593Smuzhiyun }
75*4882a593Smuzhiyun
disasm_print_insn(unsigned char * image,ssize_t len,int opcodes,const char * arch,const char * disassembler_options,const struct btf * btf,const struct bpf_prog_linfo * prog_linfo,__u64 func_ksym,unsigned int func_idx,bool linum)76*4882a593Smuzhiyun void disasm_print_insn(unsigned char *image, ssize_t len, int opcodes,
77*4882a593Smuzhiyun const char *arch, const char *disassembler_options,
78*4882a593Smuzhiyun const struct btf *btf,
79*4882a593Smuzhiyun const struct bpf_prog_linfo *prog_linfo,
80*4882a593Smuzhiyun __u64 func_ksym, unsigned int func_idx,
81*4882a593Smuzhiyun bool linum)
82*4882a593Smuzhiyun {
83*4882a593Smuzhiyun const struct bpf_line_info *linfo = NULL;
84*4882a593Smuzhiyun disassembler_ftype disassemble;
85*4882a593Smuzhiyun struct disassemble_info info;
86*4882a593Smuzhiyun unsigned int nr_skip = 0;
87*4882a593Smuzhiyun int count, i, pc = 0;
88*4882a593Smuzhiyun char tpath[PATH_MAX];
89*4882a593Smuzhiyun bfd *bfdf;
90*4882a593Smuzhiyun
91*4882a593Smuzhiyun if (!len)
92*4882a593Smuzhiyun return;
93*4882a593Smuzhiyun
94*4882a593Smuzhiyun memset(tpath, 0, sizeof(tpath));
95*4882a593Smuzhiyun get_exec_path(tpath, sizeof(tpath));
96*4882a593Smuzhiyun
97*4882a593Smuzhiyun bfdf = bfd_openr(tpath, NULL);
98*4882a593Smuzhiyun assert(bfdf);
99*4882a593Smuzhiyun assert(bfd_check_format(bfdf, bfd_object));
100*4882a593Smuzhiyun
101*4882a593Smuzhiyun if (json_output)
102*4882a593Smuzhiyun init_disassemble_info(&info, stdout,
103*4882a593Smuzhiyun (fprintf_ftype) fprintf_json);
104*4882a593Smuzhiyun else
105*4882a593Smuzhiyun init_disassemble_info(&info, stdout,
106*4882a593Smuzhiyun (fprintf_ftype) fprintf);
107*4882a593Smuzhiyun
108*4882a593Smuzhiyun /* Update architecture info for offload. */
109*4882a593Smuzhiyun if (arch) {
110*4882a593Smuzhiyun const bfd_arch_info_type *inf = bfd_scan_arch(arch);
111*4882a593Smuzhiyun
112*4882a593Smuzhiyun if (inf) {
113*4882a593Smuzhiyun bfdf->arch_info = inf;
114*4882a593Smuzhiyun } else {
115*4882a593Smuzhiyun p_err("No libbfd support for %s", arch);
116*4882a593Smuzhiyun return;
117*4882a593Smuzhiyun }
118*4882a593Smuzhiyun }
119*4882a593Smuzhiyun
120*4882a593Smuzhiyun info.arch = bfd_get_arch(bfdf);
121*4882a593Smuzhiyun info.mach = bfd_get_mach(bfdf);
122*4882a593Smuzhiyun if (disassembler_options)
123*4882a593Smuzhiyun info.disassembler_options = disassembler_options;
124*4882a593Smuzhiyun info.buffer = image;
125*4882a593Smuzhiyun info.buffer_length = len;
126*4882a593Smuzhiyun
127*4882a593Smuzhiyun disassemble_init_for_target(&info);
128*4882a593Smuzhiyun
129*4882a593Smuzhiyun #ifdef DISASM_FOUR_ARGS_SIGNATURE
130*4882a593Smuzhiyun disassemble = disassembler(info.arch,
131*4882a593Smuzhiyun bfd_big_endian(bfdf),
132*4882a593Smuzhiyun info.mach,
133*4882a593Smuzhiyun bfdf);
134*4882a593Smuzhiyun #else
135*4882a593Smuzhiyun disassemble = disassembler(bfdf);
136*4882a593Smuzhiyun #endif
137*4882a593Smuzhiyun assert(disassemble);
138*4882a593Smuzhiyun
139*4882a593Smuzhiyun if (json_output)
140*4882a593Smuzhiyun jsonw_start_array(json_wtr);
141*4882a593Smuzhiyun do {
142*4882a593Smuzhiyun if (prog_linfo) {
143*4882a593Smuzhiyun linfo = bpf_prog_linfo__lfind_addr_func(prog_linfo,
144*4882a593Smuzhiyun func_ksym + pc,
145*4882a593Smuzhiyun func_idx,
146*4882a593Smuzhiyun nr_skip);
147*4882a593Smuzhiyun if (linfo)
148*4882a593Smuzhiyun nr_skip++;
149*4882a593Smuzhiyun }
150*4882a593Smuzhiyun
151*4882a593Smuzhiyun if (json_output) {
152*4882a593Smuzhiyun jsonw_start_object(json_wtr);
153*4882a593Smuzhiyun oper_count = 0;
154*4882a593Smuzhiyun if (linfo)
155*4882a593Smuzhiyun btf_dump_linfo_json(btf, linfo, linum);
156*4882a593Smuzhiyun jsonw_name(json_wtr, "pc");
157*4882a593Smuzhiyun jsonw_printf(json_wtr, "\"0x%x\"", pc);
158*4882a593Smuzhiyun } else {
159*4882a593Smuzhiyun if (linfo)
160*4882a593Smuzhiyun btf_dump_linfo_plain(btf, linfo, "; ",
161*4882a593Smuzhiyun linum);
162*4882a593Smuzhiyun printf("%4x:\t", pc);
163*4882a593Smuzhiyun }
164*4882a593Smuzhiyun
165*4882a593Smuzhiyun count = disassemble(pc, &info);
166*4882a593Smuzhiyun if (json_output) {
167*4882a593Smuzhiyun /* Operand array, was started in fprintf_json. Before
168*4882a593Smuzhiyun * that, make sure we have a _null_ value if no operand
169*4882a593Smuzhiyun * other than operation code was present.
170*4882a593Smuzhiyun */
171*4882a593Smuzhiyun if (oper_count == 1)
172*4882a593Smuzhiyun jsonw_null(json_wtr);
173*4882a593Smuzhiyun jsonw_end_array(json_wtr);
174*4882a593Smuzhiyun }
175*4882a593Smuzhiyun
176*4882a593Smuzhiyun if (opcodes) {
177*4882a593Smuzhiyun if (json_output) {
178*4882a593Smuzhiyun jsonw_name(json_wtr, "opcodes");
179*4882a593Smuzhiyun jsonw_start_array(json_wtr);
180*4882a593Smuzhiyun for (i = 0; i < count; ++i)
181*4882a593Smuzhiyun jsonw_printf(json_wtr, "\"0x%02hhx\"",
182*4882a593Smuzhiyun (uint8_t)image[pc + i]);
183*4882a593Smuzhiyun jsonw_end_array(json_wtr);
184*4882a593Smuzhiyun } else {
185*4882a593Smuzhiyun printf("\n\t");
186*4882a593Smuzhiyun for (i = 0; i < count; ++i)
187*4882a593Smuzhiyun printf("%02x ",
188*4882a593Smuzhiyun (uint8_t)image[pc + i]);
189*4882a593Smuzhiyun }
190*4882a593Smuzhiyun }
191*4882a593Smuzhiyun if (json_output)
192*4882a593Smuzhiyun jsonw_end_object(json_wtr);
193*4882a593Smuzhiyun else
194*4882a593Smuzhiyun printf("\n");
195*4882a593Smuzhiyun
196*4882a593Smuzhiyun pc += count;
197*4882a593Smuzhiyun } while (count > 0 && pc < len);
198*4882a593Smuzhiyun if (json_output)
199*4882a593Smuzhiyun jsonw_end_array(json_wtr);
200*4882a593Smuzhiyun
201*4882a593Smuzhiyun bfd_close(bfdf);
202*4882a593Smuzhiyun }
203*4882a593Smuzhiyun
disasm_init(void)204*4882a593Smuzhiyun int disasm_init(void)
205*4882a593Smuzhiyun {
206*4882a593Smuzhiyun bfd_init();
207*4882a593Smuzhiyun return 0;
208*4882a593Smuzhiyun }
209