Commit | Line | Data |
---|---|---|
1ccea77e | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
442f04c3 | 2 | /* |
dcc914f4 | 3 | * Copyright (C) 2015-2017 Josh Poimboeuf <jpoimboe@redhat.com> |
442f04c3 JP |
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 | ||
442f04c3 | 16 | #include <subcmd/parse-options.h> |
442f04c3 | 17 | #include "builtin.h" |
dcc914f4 | 18 | #include "check.h" |
442f04c3 | 19 | |
ea24213d | 20 | bool no_fp, no_unreachable, retpoline, module, backtrace, uaccess; |
442f04c3 | 21 | |
dcc914f4 | 22 | static const char * const check_usage[] = { |
442f04c3 JP |
23 | "objtool check [<options>] file.o", |
24 | NULL, | |
25 | }; | |
26 | ||
dcc914f4 | 27 | const struct option check_options[] = { |
867ac9d7 JP |
28 | OPT_BOOLEAN('f', "no-fp", &no_fp, "Skip frame pointer validation"), |
29 | OPT_BOOLEAN('u', "no-unreachable", &no_unreachable, "Skip 'unreachable instruction' warnings"), | |
b5bc2231 | 30 | OPT_BOOLEAN('r', "retpoline", &retpoline, "Validate retpoline assumptions"), |
ca41b97e | 31 | OPT_BOOLEAN('m', "module", &module, "Indicates the object will be part of a kernel module"), |
7697eee3 | 32 | OPT_BOOLEAN('b', "backtrace", &backtrace, "unwind on error"), |
ea24213d | 33 | OPT_BOOLEAN('a', "uaccess", &uaccess, "enable uaccess checking"), |
dcc914f4 JP |
34 | OPT_END(), |
35 | }; | |
36 | ||
442f04c3 JP |
37 | int cmd_check(int argc, const char **argv) |
38 | { | |
dcc914f4 | 39 | const char *objname; |
442f04c3 | 40 | |
dcc914f4 | 41 | argc = parse_options(argc, argv, check_options, check_usage, 0); |
442f04c3 JP |
42 | |
43 | if (argc != 1) | |
dcc914f4 | 44 | usage_with_options(check_usage, check_options); |
442f04c3 JP |
45 | |
46 | objname = argv[0]; | |
47 | ||
43a4525f | 48 | return check(objname, false); |
442f04c3 | 49 | } |