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