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