xref: /openbmc/linux/tools/objtool/objtool.c (revision 8ad15c6900840e8a2163012f4581c52127622e02)
11ccea77eSThomas Gleixner // SPDX-License-Identifier: GPL-2.0-or-later
2442f04c3SJosh Poimboeuf /*
3442f04c3SJosh Poimboeuf  * Copyright (C) 2015 Josh Poimboeuf <jpoimboe@redhat.com>
4442f04c3SJosh Poimboeuf  */
5442f04c3SJosh Poimboeuf 
6442f04c3SJosh Poimboeuf /*
7442f04c3SJosh Poimboeuf  * objtool:
8442f04c3SJosh Poimboeuf  *
9442f04c3SJosh Poimboeuf  * The 'check' subcmd analyzes every .o file and ensures the validity of its
10442f04c3SJosh Poimboeuf  * stack trace metadata.  It enforces a set of rules on asm code and C inline
11442f04c3SJosh Poimboeuf  * assembly code so that stack traces can be reliable.
12442f04c3SJosh Poimboeuf  *
13442f04c3SJosh Poimboeuf  * For more information, see tools/objtool/Documentation/stack-validation.txt.
14442f04c3SJosh Poimboeuf  */
15442f04c3SJosh Poimboeuf 
16442f04c3SJosh Poimboeuf #include <stdio.h>
17442f04c3SJosh Poimboeuf #include <stdbool.h>
18442f04c3SJosh Poimboeuf #include <string.h>
19442f04c3SJosh Poimboeuf #include <stdlib.h>
20*8ad15c69SPeter Zijlstra #include <unistd.h>
21442f04c3SJosh Poimboeuf #include <subcmd/exec-cmd.h>
22442f04c3SJosh Poimboeuf #include <subcmd/pager.h>
2300614597SArnaldo Carvalho de Melo #include <linux/kernel.h>
24442f04c3SJosh Poimboeuf 
257786032eSVasily Gorbik #include <objtool/builtin.h>
267786032eSVasily Gorbik #include <objtool/objtool.h>
277786032eSVasily Gorbik #include <objtool/warn.h>
28442f04c3SJosh Poimboeuf 
29442f04c3SJosh Poimboeuf struct cmd_struct {
30442f04c3SJosh Poimboeuf 	const char *name;
31442f04c3SJosh Poimboeuf 	int (*fn)(int, const char **);
32442f04c3SJosh Poimboeuf 	const char *help;
33442f04c3SJosh Poimboeuf };
34442f04c3SJosh Poimboeuf 
35442f04c3SJosh Poimboeuf static const char objtool_usage_string[] =
36627fce14SJosh Poimboeuf 	"objtool COMMAND [ARGS]";
37442f04c3SJosh Poimboeuf 
38442f04c3SJosh Poimboeuf static struct cmd_struct objtool_cmds[] = {
39442f04c3SJosh Poimboeuf 	{"check",	cmd_check,	"Perform stack metadata validation on an object file" },
40627fce14SJosh Poimboeuf 	{"orc",		cmd_orc,	"Generate in-place ORC unwind tables for an object file" },
41442f04c3SJosh Poimboeuf };
42442f04c3SJosh Poimboeuf 
43442f04c3SJosh Poimboeuf bool help;
44442f04c3SJosh Poimboeuf 
456545eb03SJulien Thierry const char *objname;
466545eb03SJulien Thierry static struct objtool_file file;
476545eb03SJulien Thierry 
48*8ad15c69SPeter Zijlstra static bool objtool_create_backup(const char *_objname)
49*8ad15c69SPeter Zijlstra {
50*8ad15c69SPeter Zijlstra 	int len = strlen(_objname);
51*8ad15c69SPeter Zijlstra 	char *buf, *base, *name = malloc(len+6);
52*8ad15c69SPeter Zijlstra 	int s, d, l, t;
53*8ad15c69SPeter Zijlstra 
54*8ad15c69SPeter Zijlstra 	if (!name) {
55*8ad15c69SPeter Zijlstra 		perror("failed backup name malloc");
56*8ad15c69SPeter Zijlstra 		return false;
57*8ad15c69SPeter Zijlstra 	}
58*8ad15c69SPeter Zijlstra 
59*8ad15c69SPeter Zijlstra 	strcpy(name, _objname);
60*8ad15c69SPeter Zijlstra 	strcpy(name + len, ".orig");
61*8ad15c69SPeter Zijlstra 
62*8ad15c69SPeter Zijlstra 	d = open(name, O_CREAT|O_WRONLY|O_TRUNC, 0644);
63*8ad15c69SPeter Zijlstra 	if (d < 0) {
64*8ad15c69SPeter Zijlstra 		perror("failed to create backup file");
65*8ad15c69SPeter Zijlstra 		return false;
66*8ad15c69SPeter Zijlstra 	}
67*8ad15c69SPeter Zijlstra 
68*8ad15c69SPeter Zijlstra 	s = open(_objname, O_RDONLY);
69*8ad15c69SPeter Zijlstra 	if (s < 0) {
70*8ad15c69SPeter Zijlstra 		perror("failed to open orig file");
71*8ad15c69SPeter Zijlstra 		return false;
72*8ad15c69SPeter Zijlstra 	}
73*8ad15c69SPeter Zijlstra 
74*8ad15c69SPeter Zijlstra 	buf = malloc(4096);
75*8ad15c69SPeter Zijlstra 	if (!buf) {
76*8ad15c69SPeter Zijlstra 		perror("failed backup data malloc");
77*8ad15c69SPeter Zijlstra 		return false;
78*8ad15c69SPeter Zijlstra 	}
79*8ad15c69SPeter Zijlstra 
80*8ad15c69SPeter Zijlstra 	while ((l = read(s, buf, 4096)) > 0) {
81*8ad15c69SPeter Zijlstra 		base = buf;
82*8ad15c69SPeter Zijlstra 		do {
83*8ad15c69SPeter Zijlstra 			t = write(d, base, l);
84*8ad15c69SPeter Zijlstra 			if (t < 0) {
85*8ad15c69SPeter Zijlstra 				perror("failed backup write");
86*8ad15c69SPeter Zijlstra 				return false;
87*8ad15c69SPeter Zijlstra 			}
88*8ad15c69SPeter Zijlstra 			base += t;
89*8ad15c69SPeter Zijlstra 			l -= t;
90*8ad15c69SPeter Zijlstra 		} while (l);
91*8ad15c69SPeter Zijlstra 	}
92*8ad15c69SPeter Zijlstra 
93*8ad15c69SPeter Zijlstra 	if (l < 0) {
94*8ad15c69SPeter Zijlstra 		perror("failed backup read");
95*8ad15c69SPeter Zijlstra 		return false;
96*8ad15c69SPeter Zijlstra 	}
97*8ad15c69SPeter Zijlstra 
98*8ad15c69SPeter Zijlstra 	free(name);
99*8ad15c69SPeter Zijlstra 	free(buf);
100*8ad15c69SPeter Zijlstra 	close(d);
101*8ad15c69SPeter Zijlstra 	close(s);
102*8ad15c69SPeter Zijlstra 
103*8ad15c69SPeter Zijlstra 	return true;
104*8ad15c69SPeter Zijlstra }
105*8ad15c69SPeter Zijlstra 
1066545eb03SJulien Thierry struct objtool_file *objtool_open_read(const char *_objname)
1076545eb03SJulien Thierry {
1086545eb03SJulien Thierry 	if (objname) {
1096545eb03SJulien Thierry 		if (strcmp(objname, _objname)) {
1106545eb03SJulien Thierry 			WARN("won't handle more than one file at a time");
1116545eb03SJulien Thierry 			return NULL;
1126545eb03SJulien Thierry 		}
1136545eb03SJulien Thierry 		return &file;
1146545eb03SJulien Thierry 	}
1156545eb03SJulien Thierry 	objname = _objname;
1166545eb03SJulien Thierry 
1176545eb03SJulien Thierry 	file.elf = elf_open_read(objname, O_RDWR);
1186545eb03SJulien Thierry 	if (!file.elf)
1196545eb03SJulien Thierry 		return NULL;
1206545eb03SJulien Thierry 
121*8ad15c69SPeter Zijlstra 	if (backup && !objtool_create_backup(objname)) {
122*8ad15c69SPeter Zijlstra 		WARN("can't create backup file");
123*8ad15c69SPeter Zijlstra 		return NULL;
124*8ad15c69SPeter Zijlstra 	}
125*8ad15c69SPeter Zijlstra 
1266545eb03SJulien Thierry 	INIT_LIST_HEAD(&file.insn_list);
1276545eb03SJulien Thierry 	hash_init(file.insn_hash);
1286545eb03SJulien Thierry 	INIT_LIST_HEAD(&file.static_call_list);
12999d00215SPeter Zijlstra 	INIT_LIST_HEAD(&file.mcount_loc_list);
1306545eb03SJulien Thierry 	file.c_file = !vmlinux && find_section_by_name(file.elf, ".comment");
1316545eb03SJulien Thierry 	file.ignore_unreachables = no_unreachable;
1326545eb03SJulien Thierry 	file.hints = false;
1336545eb03SJulien Thierry 
1346545eb03SJulien Thierry 	return &file;
1356545eb03SJulien Thierry }
1366545eb03SJulien Thierry 
137442f04c3SJosh Poimboeuf static void cmd_usage(void)
138442f04c3SJosh Poimboeuf {
139442f04c3SJosh Poimboeuf 	unsigned int i, longest = 0;
140442f04c3SJosh Poimboeuf 
141442f04c3SJosh Poimboeuf 	printf("\n usage: %s\n\n", objtool_usage_string);
142442f04c3SJosh Poimboeuf 
143442f04c3SJosh Poimboeuf 	for (i = 0; i < ARRAY_SIZE(objtool_cmds); i++) {
144442f04c3SJosh Poimboeuf 		if (longest < strlen(objtool_cmds[i].name))
145442f04c3SJosh Poimboeuf 			longest = strlen(objtool_cmds[i].name);
146442f04c3SJosh Poimboeuf 	}
147442f04c3SJosh Poimboeuf 
148442f04c3SJosh Poimboeuf 	puts(" Commands:");
149442f04c3SJosh Poimboeuf 	for (i = 0; i < ARRAY_SIZE(objtool_cmds); i++) {
150442f04c3SJosh Poimboeuf 		printf("   %-*s   ", longest, objtool_cmds[i].name);
151442f04c3SJosh Poimboeuf 		puts(objtool_cmds[i].help);
152442f04c3SJosh Poimboeuf 	}
153442f04c3SJosh Poimboeuf 
154442f04c3SJosh Poimboeuf 	printf("\n");
155442f04c3SJosh Poimboeuf 
156f15c648fSMatt Helsley 	if (!help)
1576a93bb7eSKamalesh Babulal 		exit(129);
158f15c648fSMatt Helsley 	exit(0);
159442f04c3SJosh Poimboeuf }
160442f04c3SJosh Poimboeuf 
161442f04c3SJosh Poimboeuf static void handle_options(int *argc, const char ***argv)
162442f04c3SJosh Poimboeuf {
163442f04c3SJosh Poimboeuf 	while (*argc > 0) {
164442f04c3SJosh Poimboeuf 		const char *cmd = (*argv)[0];
165442f04c3SJosh Poimboeuf 
166442f04c3SJosh Poimboeuf 		if (cmd[0] != '-')
167442f04c3SJosh Poimboeuf 			break;
168442f04c3SJosh Poimboeuf 
169442f04c3SJosh Poimboeuf 		if (!strcmp(cmd, "--help") || !strcmp(cmd, "-h")) {
170442f04c3SJosh Poimboeuf 			help = true;
171442f04c3SJosh Poimboeuf 			break;
172442f04c3SJosh Poimboeuf 		} else {
173442f04c3SJosh Poimboeuf 			fprintf(stderr, "Unknown option: %s\n", cmd);
1746a93bb7eSKamalesh Babulal 			cmd_usage();
175442f04c3SJosh Poimboeuf 		}
176442f04c3SJosh Poimboeuf 
177442f04c3SJosh Poimboeuf 		(*argv)++;
178442f04c3SJosh Poimboeuf 		(*argc)--;
179442f04c3SJosh Poimboeuf 	}
180442f04c3SJosh Poimboeuf }
181442f04c3SJosh Poimboeuf 
182442f04c3SJosh Poimboeuf static void handle_internal_command(int argc, const char **argv)
183442f04c3SJosh Poimboeuf {
184442f04c3SJosh Poimboeuf 	const char *cmd = argv[0];
185442f04c3SJosh Poimboeuf 	unsigned int i, ret;
186442f04c3SJosh Poimboeuf 
187442f04c3SJosh Poimboeuf 	for (i = 0; i < ARRAY_SIZE(objtool_cmds); i++) {
188442f04c3SJosh Poimboeuf 		struct cmd_struct *p = objtool_cmds+i;
189442f04c3SJosh Poimboeuf 
190442f04c3SJosh Poimboeuf 		if (strcmp(p->name, cmd))
191442f04c3SJosh Poimboeuf 			continue;
192442f04c3SJosh Poimboeuf 
193442f04c3SJosh Poimboeuf 		ret = p->fn(argc, argv);
194442f04c3SJosh Poimboeuf 
195442f04c3SJosh Poimboeuf 		exit(ret);
196442f04c3SJosh Poimboeuf 	}
197442f04c3SJosh Poimboeuf 
198442f04c3SJosh Poimboeuf 	cmd_usage();
199442f04c3SJosh Poimboeuf }
200442f04c3SJosh Poimboeuf 
201442f04c3SJosh Poimboeuf int main(int argc, const char **argv)
202442f04c3SJosh Poimboeuf {
203442f04c3SJosh Poimboeuf 	static const char *UNUSED = "OBJTOOL_NOT_IMPLEMENTED";
204442f04c3SJosh Poimboeuf 
205442f04c3SJosh Poimboeuf 	/* libsubcmd init */
206442f04c3SJosh Poimboeuf 	exec_cmd_init("objtool", UNUSED, UNUSED, UNUSED);
207442f04c3SJosh Poimboeuf 	pager_init(UNUSED);
208442f04c3SJosh Poimboeuf 
209442f04c3SJosh Poimboeuf 	argv++;
210442f04c3SJosh Poimboeuf 	argc--;
211442f04c3SJosh Poimboeuf 	handle_options(&argc, &argv);
212442f04c3SJosh Poimboeuf 
213442f04c3SJosh Poimboeuf 	if (!argc || help)
214442f04c3SJosh Poimboeuf 		cmd_usage();
215442f04c3SJosh Poimboeuf 
216442f04c3SJosh Poimboeuf 	handle_internal_command(argc, argv);
217442f04c3SJosh Poimboeuf 
218442f04c3SJosh Poimboeuf 	return 0;
219442f04c3SJosh Poimboeuf }
220