Thomas Gleixner | 09c434b | 2019-05-19 13:08:20 +0100 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-only |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 2 | /* |
| 3 | * linux/fs/binfmt_script.c |
| 4 | * |
Jan Engelhardt | 96de0e2 | 2007-10-19 23:21:04 +0200 | [diff] [blame] | 5 | * Copyright (C) 1996 Martin von Löwis |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 6 | * original #!-checking implemented by tytso. |
| 7 | */ |
| 8 | |
| 9 | #include <linux/module.h> |
| 10 | #include <linux/string.h> |
| 11 | #include <linux/stat.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 12 | #include <linux/binfmts.h> |
| 13 | #include <linux/init.h> |
| 14 | #include <linux/file.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 15 | #include <linux/err.h> |
| 16 | #include <linux/fs.h> |
| 17 | |
Kees Cook | b5372fe | 2019-02-18 16:36:48 -0800 | [diff] [blame] | 18 | static inline bool spacetab(char c) { return c == ' ' || c == '\t'; } |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 19 | static inline const char *next_non_spacetab(const char *first, const char *last) |
Kees Cook | b5372fe | 2019-02-18 16:36:48 -0800 | [diff] [blame] | 20 | { |
| 21 | for (; first <= last; first++) |
| 22 | if (!spacetab(*first)) |
| 23 | return first; |
| 24 | return NULL; |
| 25 | } |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 26 | static inline const char *next_terminator(const char *first, const char *last) |
Kees Cook | b5372fe | 2019-02-18 16:36:48 -0800 | [diff] [blame] | 27 | { |
| 28 | for (; first <= last; first++) |
| 29 | if (spacetab(*first) || !*first) |
| 30 | return first; |
| 31 | return NULL; |
| 32 | } |
| 33 | |
Al Viro | 71613c3 | 2012-10-20 22:00:48 -0400 | [diff] [blame] | 34 | static int load_script(struct linux_binprm *bprm) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 35 | { |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 36 | const char *i_name, *i_sep, *i_arg, *i_end, *buf_end; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 37 | struct file *file; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 38 | int retval; |
| 39 | |
Kees Cook | b5372fe | 2019-02-18 16:36:48 -0800 | [diff] [blame] | 40 | /* Not ours to exec if we don't start with "#!". */ |
Kees Cook | d740269 | 2012-12-17 16:03:20 -0800 | [diff] [blame] | 41 | if ((bprm->buf[0] != '#') || (bprm->buf[1] != '!')) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 42 | return -ENOEXEC; |
David Drysdale | 51f39a1 | 2014-12-12 16:57:29 -0800 | [diff] [blame] | 43 | |
| 44 | /* |
Kees Cook | b5372fe | 2019-02-18 16:36:48 -0800 | [diff] [blame] | 45 | * This section handles parsing the #! line into separate |
| 46 | * interpreter path and argument strings. We must be careful |
| 47 | * because bprm->buf is not yet guaranteed to be NUL-terminated |
| 48 | * (though the buffer will have trailing NUL padding when the |
| 49 | * file size was smaller than the buffer size). |
| 50 | * |
| 51 | * We do not want to exec a truncated interpreter path, so either |
| 52 | * we find a newline (which indicates nothing is truncated), or |
| 53 | * we find a space/tab/NUL after the interpreter path (which |
| 54 | * itself may be preceded by spaces/tabs). Truncating the |
| 55 | * arguments is fine: the interpreter can re-read the script to |
| 56 | * parse them on its own. |
| 57 | */ |
| 58 | buf_end = bprm->buf + sizeof(bprm->buf) - 1; |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 59 | i_end = strnchr(bprm->buf, sizeof(bprm->buf), '\n'); |
| 60 | if (!i_end) { |
| 61 | i_end = next_non_spacetab(bprm->buf + 2, buf_end); |
| 62 | if (!i_end) |
Kees Cook | b5372fe | 2019-02-18 16:36:48 -0800 | [diff] [blame] | 63 | return -ENOEXEC; /* Entire buf is spaces/tabs */ |
| 64 | /* |
| 65 | * If there is no later space/tab/NUL we must assume the |
| 66 | * interpreter path is truncated. |
| 67 | */ |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 68 | if (!next_terminator(i_end, buf_end)) |
Kees Cook | b5372fe | 2019-02-18 16:36:48 -0800 | [diff] [blame] | 69 | return -ENOEXEC; |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 70 | i_end = buf_end; |
Kees Cook | b5372fe | 2019-02-18 16:36:48 -0800 | [diff] [blame] | 71 | } |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 72 | /* Trim any trailing spaces/tabs from i_end */ |
| 73 | while (spacetab(i_end[-1])) |
| 74 | i_end--; |
| 75 | |
| 76 | /* Skip over leading spaces/tabs */ |
| 77 | i_name = next_non_spacetab(bprm->buf+2, i_end); |
| 78 | if (!i_name || (i_name == i_end)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 79 | return -ENOEXEC; /* No interpreter name found */ |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 80 | |
| 81 | /* Is there an optional argument? */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 82 | i_arg = NULL; |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 83 | i_sep = next_terminator(i_name, i_end); |
| 84 | if (i_sep && (*i_sep != '\0')) |
| 85 | i_arg = next_non_spacetab(i_sep, i_end); |
| 86 | |
| 87 | /* |
| 88 | * If the script filename will be inaccessible after exec, typically |
| 89 | * because it is a "/dev/fd/<fd>/.." path against an O_CLOEXEC fd, give |
| 90 | * up now (on the assumption that the interpreter will want to load |
| 91 | * this file). |
| 92 | */ |
| 93 | if (bprm->interp_flags & BINPRM_FLAGS_PATH_INACCESSIBLE) |
| 94 | return -ENOENT; |
| 95 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 96 | /* |
| 97 | * OK, we've parsed out the interpreter name and |
| 98 | * (optional) argument. |
| 99 | * Splice in (1) the interpreter's name for argv[0] |
| 100 | * (2) (optional) argument to interpreter |
| 101 | * (3) filename of shell script (replace argv[0]) |
| 102 | * |
| 103 | * This is done in reverse order, because of how the |
| 104 | * user environment and arguments are stored. |
| 105 | */ |
Ollie Wild | b6a2fea | 2007-07-19 01:48:16 -0700 | [diff] [blame] | 106 | retval = remove_arg_zero(bprm); |
| 107 | if (retval) |
| 108 | return retval; |
Christoph Hellwig | 986db2d | 2020-06-04 16:51:14 -0700 | [diff] [blame] | 109 | retval = copy_string_kernel(bprm->interp, bprm); |
Oleg Nesterov | c2315c1 | 2017-10-03 16:15:42 -0700 | [diff] [blame] | 110 | if (retval < 0) |
| 111 | return retval; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 112 | bprm->argc++; |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 113 | *((char *)i_end) = '\0'; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 114 | if (i_arg) { |
Eric W. Biederman | ccbb18b | 2020-05-18 10:11:10 -0500 | [diff] [blame] | 115 | *((char *)i_sep) = '\0'; |
Christoph Hellwig | 986db2d | 2020-06-04 16:51:14 -0700 | [diff] [blame] | 116 | retval = copy_string_kernel(i_arg, bprm); |
Oleg Nesterov | c2315c1 | 2017-10-03 16:15:42 -0700 | [diff] [blame] | 117 | if (retval < 0) |
| 118 | return retval; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 119 | bprm->argc++; |
| 120 | } |
Christoph Hellwig | 986db2d | 2020-06-04 16:51:14 -0700 | [diff] [blame] | 121 | retval = copy_string_kernel(i_name, bprm); |
Oleg Nesterov | c2315c1 | 2017-10-03 16:15:42 -0700 | [diff] [blame] | 122 | if (retval) |
| 123 | return retval; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 124 | bprm->argc++; |
Oleg Nesterov | c2315c1 | 2017-10-03 16:15:42 -0700 | [diff] [blame] | 125 | retval = bprm_change_interp(i_name, bprm); |
Kees Cook | b66c598 | 2012-12-20 15:05:16 -0800 | [diff] [blame] | 126 | if (retval < 0) |
| 127 | return retval; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 128 | |
| 129 | /* |
| 130 | * OK, now restart the process with the interpreter's dentry. |
| 131 | */ |
Oleg Nesterov | c2315c1 | 2017-10-03 16:15:42 -0700 | [diff] [blame] | 132 | file = open_exec(i_name); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 133 | if (IS_ERR(file)) |
| 134 | return PTR_ERR(file); |
| 135 | |
Eric W. Biederman | bc2bf33 | 2020-05-18 18:43:20 -0500 | [diff] [blame] | 136 | bprm->interpreter = file; |
| 137 | return 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 138 | } |
| 139 | |
| 140 | static struct linux_binfmt script_format = { |
| 141 | .module = THIS_MODULE, |
| 142 | .load_binary = load_script, |
| 143 | }; |
| 144 | |
| 145 | static int __init init_script_binfmt(void) |
| 146 | { |
Al Viro | 8fc3dc5 | 2012-03-17 03:05:16 -0400 | [diff] [blame] | 147 | register_binfmt(&script_format); |
| 148 | return 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 149 | } |
| 150 | |
| 151 | static void __exit exit_script_binfmt(void) |
| 152 | { |
| 153 | unregister_binfmt(&script_format); |
| 154 | } |
| 155 | |
| 156 | core_initcall(init_script_binfmt); |
| 157 | module_exit(exit_script_binfmt); |
| 158 | MODULE_LICENSE("GPL"); |