David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame^] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2 | /* |
| 3 | * Copyright (C) 2015-2017 Josh Poimboeuf <jpoimboe@redhat.com> |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 4 | */ |
| 5 | |
| 6 | /* |
| 7 | * objtool check: |
| 8 | * |
| 9 | * This command analyzes every .o file and ensures the validity of its stack |
| 10 | * trace metadata. It enforces a set of rules on asm code and C inline |
| 11 | * assembly code so that stack traces can be reliable. |
| 12 | * |
| 13 | * For more information, see tools/objtool/Documentation/stack-validation.txt. |
| 14 | */ |
| 15 | |
| 16 | #include <subcmd/parse-options.h> |
| 17 | #include "builtin.h" |
| 18 | #include "check.h" |
| 19 | |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame^] | 20 | bool no_fp, no_unreachable, retpoline, module, backtrace, uaccess; |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 21 | |
| 22 | static const char * const check_usage[] = { |
| 23 | "objtool check [<options>] file.o", |
| 24 | NULL, |
| 25 | }; |
| 26 | |
| 27 | const struct option check_options[] = { |
| 28 | OPT_BOOLEAN('f', "no-fp", &no_fp, "Skip frame pointer validation"), |
| 29 | OPT_BOOLEAN('u', "no-unreachable", &no_unreachable, "Skip 'unreachable instruction' warnings"), |
| 30 | OPT_BOOLEAN('r', "retpoline", &retpoline, "Validate retpoline assumptions"), |
| 31 | OPT_BOOLEAN('m', "module", &module, "Indicates the object will be part of a kernel module"), |
David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame^] | 32 | OPT_BOOLEAN('b', "backtrace", &backtrace, "unwind on error"), |
| 33 | OPT_BOOLEAN('a', "uaccess", &uaccess, "enable uaccess checking"), |
Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 34 | OPT_END(), |
| 35 | }; |
| 36 | |
| 37 | int cmd_check(int argc, const char **argv) |
| 38 | { |
| 39 | const char *objname; |
| 40 | |
| 41 | argc = parse_options(argc, argv, check_options, check_usage, 0); |
| 42 | |
| 43 | if (argc != 1) |
| 44 | usage_with_options(check_usage, check_options); |
| 45 | |
| 46 | objname = argv[0]; |
| 47 | |
| 48 | return check(objname, false); |
| 49 | } |