| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 1 | /* | 
|  | 2 | * Copyright (C) 2017 The Android Open Source Project | 
|  | 3 | * | 
|  | 4 | * Licensed under the Apache License, Version 2.0 (the "License"); | 
|  | 5 | * you may not use this file except in compliance with the License. | 
|  | 6 | * You may obtain a copy of the License at | 
|  | 7 | * | 
|  | 8 | *      http://www.apache.org/licenses/LICENSE-2.0 | 
|  | 9 | * | 
|  | 10 | * Unless required by applicable law or agreed to in writing, software | 
|  | 11 | * distributed under the License is distributed on an "AS IS" BASIS, | 
|  | 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | 
|  | 13 | * See the License for the specific language governing permissions and | 
|  | 14 | * limitations under the License. | 
|  | 15 | */ | 
|  | 16 |  | 
|  | 17 | // This file contains the functions that initialize SELinux during boot as well as helper functions | 
|  | 18 | // for SELinux operation for init. | 
|  | 19 |  | 
|  | 20 | // When the system boots, there is no SEPolicy present and init is running in the kernel domain. | 
| Tom Cherry | 7bfea3d | 2018-11-06 14:12:05 -0800 | [diff] [blame] | 21 | // Init loads the SEPolicy from the file system, restores the context of /system/bin/init based on | 
|  | 22 | // this SEPolicy, and finally exec()'s itself to run in the proper domain. | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 23 |  | 
|  | 24 | // The SEPolicy on Android comes in two variants: monolithic and split. | 
|  | 25 |  | 
|  | 26 | // The monolithic policy variant is for legacy non-treble devices that contain a single SEPolicy | 
|  | 27 | // file located at /sepolicy and is directly loaded into the kernel SELinux subsystem. | 
|  | 28 |  | 
| Thiébaud Weksteen | 50f03fd | 2023-09-06 10:52:49 +1000 | [diff] [blame] | 29 | // The split policy is for supporting treble devices.  It splits the SEPolicy across files on | 
|  | 30 | // /system/etc/selinux (the 'plat' portion of the policy) and /vendor/etc/selinux (the 'vendor' | 
|  | 31 | // portion of the policy).  This is necessary to allow the system image to be updated independently | 
|  | 32 | // of the vendor image, while maintaining contributions from both partitions in the SEPolicy.  This | 
|  | 33 | // is especially important for VTS testing, where the SEPolicy on the Google System Image may not be | 
|  | 34 | // identical to the system image shipped on a vendor's device. | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 35 |  | 
|  | 36 | // The split SEPolicy is loaded as described below: | 
| Tri Vo | c8137f9 | 2019-01-22 18:22:25 -0800 | [diff] [blame] | 37 | // 1) There is a precompiled SEPolicy located at either /vendor/etc/selinux/precompiled_sepolicy or | 
|  | 38 | //    /odm/etc/selinux/precompiled_sepolicy if odm parition is present.  Stored along with this file | 
| Thiébaud Weksteen | 50f03fd | 2023-09-06 10:52:49 +1000 | [diff] [blame] | 39 | //    are the sha256 hashes of the parts of the SEPolicy on /system, /system_ext and /product that | 
|  | 40 | //    were used to compile this precompiled policy.  The system partition contains a similar sha256 | 
|  | 41 | //    of the parts of the SEPolicy that it currently contains.  Symmetrically, system_ext and | 
|  | 42 | //    product paritition contain sha256 hashes of their SEPolicy.  The init loads this | 
| Bowgo Tsai | f016f25 | 2019-08-28 17:56:51 +0800 | [diff] [blame] | 43 | //    precompiled_sepolicy directly if and only if the hashes along with the precompiled SEPolicy on | 
| Thiébaud Weksteen | 50f03fd | 2023-09-06 10:52:49 +1000 | [diff] [blame] | 44 | //    /vendor or /odm match the hashes for system, system_ext and product SEPolicy, respectively. | 
|  | 45 | // 2) If these hashes do not match, then either /system or /system_ext or /product (or some of them) | 
|  | 46 | //    have been updated out of sync with /vendor (or /odm if it is present) and the init needs to | 
|  | 47 | //    compile the SEPolicy.  /system contains the SEPolicy compiler, secilc, and it is used by the | 
|  | 48 | //    OpenSplitPolicy() function below to compile the SEPolicy to a temp directory and load it. | 
| Bowgo Tsai | f016f25 | 2019-08-28 17:56:51 +0800 | [diff] [blame] | 49 | //    That function contains even more documentation with the specific implementation details of how | 
|  | 50 | //    the SEPolicy is compiled if needed. | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 51 |  | 
|  | 52 | #include "selinux.h" | 
|  | 53 |  | 
| Tom Cherry | 40acb37 | 2018-08-01 13:41:12 -0700 | [diff] [blame] | 54 | #include <android/api-level.h> | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 55 | #include <fcntl.h> | 
| Tom Cherry | 8180b48 | 2019-08-26 13:57:51 -0700 | [diff] [blame] | 56 | #include <linux/audit.h> | 
|  | 57 | #include <linux/netlink.h> | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 58 | #include <stdlib.h> | 
|  | 59 | #include <sys/wait.h> | 
|  | 60 | #include <unistd.h> | 
|  | 61 |  | 
|  | 62 | #include <android-base/chrono_utils.h> | 
|  | 63 | #include <android-base/file.h> | 
|  | 64 | #include <android-base/logging.h> | 
| Logan Chien | 837b2a4 | 2018-05-03 14:33:52 +0800 | [diff] [blame] | 65 | #include <android-base/parseint.h> | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 66 | #include <android-base/result.h> | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 67 | #include <android-base/strings.h> | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 68 | #include <android-base/unique_fd.h> | 
| Bowgo Tsai | 1dacd42 | 2019-03-04 17:53:34 +0800 | [diff] [blame] | 69 | #include <fs_avb/fs_avb.h> | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 70 | #include <fs_mgr.h> | 
| Bowgo Tsai | 196cc58 | 2020-01-20 18:03:58 +0800 | [diff] [blame] | 71 | #include <libgsi/libgsi.h> | 
| Yifan Hong | d91998f | 2020-02-20 17:54:57 -0800 | [diff] [blame] | 72 | #include <libsnapshot/snapshot.h> | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 73 | #include <selinux/android.h> | 
|  | 74 |  | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 75 | #include "block_dev_initializer.h" | 
| Bowgo Tsai | 30afda7 | 2019-04-11 23:57:24 +0800 | [diff] [blame] | 76 | #include "debug_ramdisk.h" | 
| Tom Cherry | 7bfea3d | 2018-11-06 14:12:05 -0800 | [diff] [blame] | 77 | #include "reboot_utils.h" | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 78 | #include "snapuserd_transition.h" | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 79 | #include "util.h" | 
|  | 80 |  | 
| Bowgo Tsai | 1dacd42 | 2019-03-04 17:53:34 +0800 | [diff] [blame] | 81 | using namespace std::string_literals; | 
|  | 82 |  | 
| Logan Chien | 837b2a4 | 2018-05-03 14:33:52 +0800 | [diff] [blame] | 83 | using android::base::ParseInt; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 84 | using android::base::Timer; | 
|  | 85 | using android::base::unique_fd; | 
| Bowgo Tsai | 1dacd42 | 2019-03-04 17:53:34 +0800 | [diff] [blame] | 86 | using android::fs_mgr::AvbHandle; | 
| Yifan Hong | d91998f | 2020-02-20 17:54:57 -0800 | [diff] [blame] | 87 | using android::snapshot::SnapshotManager; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 88 |  | 
|  | 89 | namespace android { | 
|  | 90 | namespace init { | 
|  | 91 |  | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 92 | namespace { | 
|  | 93 |  | 
|  | 94 | enum EnforcingStatus { SELINUX_PERMISSIVE, SELINUX_ENFORCING }; | 
|  | 95 |  | 
| Alistair Delva | 63594a4 | 2021-03-09 11:04:23 -0800 | [diff] [blame] | 96 | EnforcingStatus StatusFromProperty() { | 
| Yi-Yo Chiang | da5323e | 2023-08-02 01:08:23 +0800 | [diff] [blame] | 97 | std::string value; | 
|  | 98 | if (android::fs_mgr::GetKernelCmdline("androidboot.selinux", &value) && value == "permissive") { | 
|  | 99 | return SELINUX_PERMISSIVE; | 
| Alistair Delva | 63594a4 | 2021-03-09 11:04:23 -0800 | [diff] [blame] | 100 | } | 
| Yi-Yo Chiang | da5323e | 2023-08-02 01:08:23 +0800 | [diff] [blame] | 101 | if (android::fs_mgr::GetBootconfig("androidboot.selinux", &value) && value == "permissive") { | 
|  | 102 | return SELINUX_PERMISSIVE; | 
|  | 103 | } | 
|  | 104 | return SELINUX_ENFORCING; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 105 | } | 
|  | 106 |  | 
|  | 107 | bool IsEnforcing() { | 
|  | 108 | if (ALLOW_PERMISSIVE_SELINUX) { | 
| Alistair Delva | 63594a4 | 2021-03-09 11:04:23 -0800 | [diff] [blame] | 109 | return StatusFromProperty() == SELINUX_ENFORCING; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 110 | } | 
|  | 111 | return true; | 
|  | 112 | } | 
|  | 113 |  | 
|  | 114 | // Forks, executes the provided program in the child, and waits for the completion in the parent. | 
|  | 115 | // Child's stderr is captured and logged using LOG(ERROR). | 
|  | 116 | bool ForkExecveAndWaitForCompletion(const char* filename, char* const argv[]) { | 
|  | 117 | // Create a pipe used for redirecting child process's output. | 
|  | 118 | // * pipe_fds[0] is the FD the parent will use for reading. | 
|  | 119 | // * pipe_fds[1] is the FD the child will use for writing. | 
|  | 120 | int pipe_fds[2]; | 
|  | 121 | if (pipe(pipe_fds) == -1) { | 
|  | 122 | PLOG(ERROR) << "Failed to create pipe"; | 
|  | 123 | return false; | 
|  | 124 | } | 
|  | 125 |  | 
|  | 126 | pid_t child_pid = fork(); | 
|  | 127 | if (child_pid == -1) { | 
|  | 128 | PLOG(ERROR) << "Failed to fork for " << filename; | 
|  | 129 | return false; | 
|  | 130 | } | 
|  | 131 |  | 
|  | 132 | if (child_pid == 0) { | 
|  | 133 | // fork succeeded -- this is executing in the child process | 
|  | 134 |  | 
|  | 135 | // Close the pipe FD not used by this process | 
| Nick Kralevich | 3d118e7 | 2017-10-24 10:45:48 -0700 | [diff] [blame] | 136 | close(pipe_fds[0]); | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 137 |  | 
|  | 138 | // Redirect stderr to the pipe FD provided by the parent | 
|  | 139 | if (TEMP_FAILURE_RETRY(dup2(pipe_fds[1], STDERR_FILENO)) == -1) { | 
|  | 140 | PLOG(ERROR) << "Failed to redirect stderr of " << filename; | 
|  | 141 | _exit(127); | 
|  | 142 | return false; | 
|  | 143 | } | 
| Nick Kralevich | 3d118e7 | 2017-10-24 10:45:48 -0700 | [diff] [blame] | 144 | close(pipe_fds[1]); | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 145 |  | 
| Tom Cherry | 6de21f1 | 2017-08-22 15:41:03 -0700 | [diff] [blame] | 146 | if (execv(filename, argv) == -1) { | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 147 | PLOG(ERROR) << "Failed to execve " << filename; | 
|  | 148 | return false; | 
|  | 149 | } | 
|  | 150 | // Unreachable because execve will have succeeded and replaced this code | 
|  | 151 | // with child process's code. | 
|  | 152 | _exit(127); | 
|  | 153 | return false; | 
|  | 154 | } else { | 
|  | 155 | // fork succeeded -- this is executing in the original/parent process | 
|  | 156 |  | 
|  | 157 | // Close the pipe FD not used by this process | 
| Nick Kralevich | 3d118e7 | 2017-10-24 10:45:48 -0700 | [diff] [blame] | 158 | close(pipe_fds[1]); | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 159 |  | 
|  | 160 | // Log the redirected output of the child process. | 
|  | 161 | // It's unfortunate that there's no standard way to obtain an istream for a file descriptor. | 
|  | 162 | // As a result, we're buffering all output and logging it in one go at the end of the | 
|  | 163 | // invocation, instead of logging it as it comes in. | 
|  | 164 | const int child_out_fd = pipe_fds[0]; | 
|  | 165 | std::string child_output; | 
|  | 166 | if (!android::base::ReadFdToString(child_out_fd, &child_output)) { | 
|  | 167 | PLOG(ERROR) << "Failed to capture full output of " << filename; | 
|  | 168 | } | 
| Nick Kralevich | 3d118e7 | 2017-10-24 10:45:48 -0700 | [diff] [blame] | 169 | close(child_out_fd); | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 170 | if (!child_output.empty()) { | 
|  | 171 | // Log captured output, line by line, because LOG expects to be invoked for each line | 
|  | 172 | std::istringstream in(child_output); | 
|  | 173 | std::string line; | 
|  | 174 | while (std::getline(in, line)) { | 
|  | 175 | LOG(ERROR) << filename << ": " << line; | 
|  | 176 | } | 
|  | 177 | } | 
|  | 178 |  | 
|  | 179 | // Wait for child to terminate | 
|  | 180 | int status; | 
|  | 181 | if (TEMP_FAILURE_RETRY(waitpid(child_pid, &status, 0)) != child_pid) { | 
|  | 182 | PLOG(ERROR) << "Failed to wait for " << filename; | 
|  | 183 | return false; | 
|  | 184 | } | 
|  | 185 |  | 
|  | 186 | if (WIFEXITED(status)) { | 
|  | 187 | int status_code = WEXITSTATUS(status); | 
|  | 188 | if (status_code == 0) { | 
|  | 189 | return true; | 
|  | 190 | } else { | 
|  | 191 | LOG(ERROR) << filename << " exited with status " << status_code; | 
|  | 192 | } | 
|  | 193 | } else if (WIFSIGNALED(status)) { | 
|  | 194 | LOG(ERROR) << filename << " killed by signal " << WTERMSIG(status); | 
|  | 195 | } else if (WIFSTOPPED(status)) { | 
|  | 196 | LOG(ERROR) << filename << " stopped by signal " << WSTOPSIG(status); | 
|  | 197 | } else { | 
|  | 198 | LOG(ERROR) << "waitpid for " << filename << " returned unexpected status: " << status; | 
|  | 199 | } | 
|  | 200 |  | 
|  | 201 | return false; | 
|  | 202 | } | 
|  | 203 | } | 
|  | 204 |  | 
|  | 205 | bool ReadFirstLine(const char* file, std::string* line) { | 
|  | 206 | line->clear(); | 
|  | 207 |  | 
|  | 208 | std::string contents; | 
|  | 209 | if (!android::base::ReadFileToString(file, &contents, true /* follow symlinks */)) { | 
|  | 210 | return false; | 
|  | 211 | } | 
|  | 212 | std::istringstream in(contents); | 
|  | 213 | std::getline(in, *line); | 
|  | 214 | return true; | 
|  | 215 | } | 
|  | 216 |  | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 217 | Result<std::string> FindPrecompiledSplitPolicy() { | 
|  | 218 | std::string precompiled_sepolicy; | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 219 | // If there is an odm partition, precompiled_sepolicy will be in | 
|  | 220 | // odm/etc/selinux. Otherwise it will be in vendor/etc/selinux. | 
|  | 221 | static constexpr const char vendor_precompiled_sepolicy[] = | 
| Sandro | 1120f7f | 2022-09-05 15:56:38 +0000 | [diff] [blame] | 222 | "/vendor/etc/selinux/precompiled_sepolicy"; | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 223 | static constexpr const char odm_precompiled_sepolicy[] = | 
| Sandro | 1120f7f | 2022-09-05 15:56:38 +0000 | [diff] [blame] | 224 | "/odm/etc/selinux/precompiled_sepolicy"; | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 225 | if (access(odm_precompiled_sepolicy, R_OK) == 0) { | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 226 | precompiled_sepolicy = odm_precompiled_sepolicy; | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 227 | } else if (access(vendor_precompiled_sepolicy, R_OK) == 0) { | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 228 | precompiled_sepolicy = vendor_precompiled_sepolicy; | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 229 | } else { | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 230 | return ErrnoError() << "No precompiled sepolicy at " << vendor_precompiled_sepolicy; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 231 | } | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 232 |  | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 233 | // Use precompiled sepolicy only when all corresponding hashes are equal. | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 234 | std::vector<std::pair<std::string, std::string>> sepolicy_hashes{ | 
|  | 235 | {"/system/etc/selinux/plat_sepolicy_and_mapping.sha256", | 
|  | 236 | precompiled_sepolicy + ".plat_sepolicy_and_mapping.sha256"}, | 
| Inseob Kim | 28fdb67 | 2021-04-29 19:48:27 +0900 | [diff] [blame] | 237 | {"/system_ext/etc/selinux/system_ext_sepolicy_and_mapping.sha256", | 
|  | 238 | precompiled_sepolicy + ".system_ext_sepolicy_and_mapping.sha256"}, | 
|  | 239 | {"/product/etc/selinux/product_sepolicy_and_mapping.sha256", | 
|  | 240 | precompiled_sepolicy + ".product_sepolicy_and_mapping.sha256"}, | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 241 | }; | 
|  | 242 |  | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 243 | for (const auto& [actual_id_path, precompiled_id_path] : sepolicy_hashes) { | 
| Inseob Kim | 28fdb67 | 2021-04-29 19:48:27 +0900 | [diff] [blame] | 244 | // Both of them should exist or both of them shouldn't exist. | 
|  | 245 | if (access(actual_id_path.c_str(), R_OK) != 0) { | 
|  | 246 | if (access(precompiled_id_path.c_str(), R_OK) == 0) { | 
|  | 247 | return Error() << precompiled_id_path << " exists but " << actual_id_path | 
|  | 248 | << " doesn't"; | 
|  | 249 | } | 
|  | 250 | continue; | 
|  | 251 | } | 
|  | 252 |  | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 253 | std::string actual_id; | 
|  | 254 | if (!ReadFirstLine(actual_id_path.c_str(), &actual_id)) { | 
|  | 255 | return ErrnoError() << "Failed to read " << actual_id_path; | 
|  | 256 | } | 
|  | 257 |  | 
|  | 258 | std::string precompiled_id; | 
|  | 259 | if (!ReadFirstLine(precompiled_id_path.c_str(), &precompiled_id)) { | 
|  | 260 | return ErrnoError() << "Failed to read " << precompiled_id_path; | 
|  | 261 | } | 
|  | 262 |  | 
|  | 263 | if (actual_id.empty() || actual_id != precompiled_id) { | 
|  | 264 | return Error() << actual_id_path << " and " << precompiled_id_path << " differ"; | 
|  | 265 | } | 
| Tri Vo | c8137f9 | 2019-01-22 18:22:25 -0800 | [diff] [blame] | 266 | } | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 267 |  | 
|  | 268 | return precompiled_sepolicy; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 269 | } | 
|  | 270 |  | 
|  | 271 | bool GetVendorMappingVersion(std::string* plat_vers) { | 
|  | 272 | if (!ReadFirstLine("/vendor/etc/selinux/plat_sepolicy_vers.txt", plat_vers)) { | 
|  | 273 | PLOG(ERROR) << "Failed to read /vendor/etc/selinux/plat_sepolicy_vers.txt"; | 
|  | 274 | return false; | 
|  | 275 | } | 
|  | 276 | if (plat_vers->empty()) { | 
|  | 277 | LOG(ERROR) << "No version present in plat_sepolicy_vers.txt"; | 
|  | 278 | return false; | 
|  | 279 | } | 
|  | 280 | return true; | 
|  | 281 | } | 
|  | 282 |  | 
|  | 283 | constexpr const char plat_policy_cil_file[] = "/system/etc/selinux/plat_sepolicy.cil"; | 
|  | 284 |  | 
|  | 285 | bool IsSplitPolicyDevice() { | 
|  | 286 | return access(plat_policy_cil_file, R_OK) != -1; | 
|  | 287 | } | 
|  | 288 |  | 
| Yi-Yo Chiang | bb77c54 | 2021-09-23 14:14:16 +0000 | [diff] [blame] | 289 | std::optional<const char*> GetUserdebugPlatformPolicyFile() { | 
|  | 290 | // See if we need to load userdebug_plat_sepolicy.cil instead of plat_sepolicy.cil. | 
|  | 291 | const char* force_debuggable_env = getenv("INIT_FORCE_DEBUGGABLE"); | 
|  | 292 | if (force_debuggable_env && "true"s == force_debuggable_env && AvbHandle::IsDeviceUnlocked()) { | 
|  | 293 | const std::vector<const char*> debug_policy_candidates = { | 
|  | 294 | #if INSTALL_DEBUG_POLICY_TO_SYSTEM_EXT == 1 | 
|  | 295 | "/system_ext/etc/selinux/userdebug_plat_sepolicy.cil", | 
|  | 296 | #endif | 
|  | 297 | kDebugRamdiskSEPolicy, | 
|  | 298 | }; | 
|  | 299 | for (const char* debug_policy : debug_policy_candidates) { | 
|  | 300 | if (access(debug_policy, F_OK) == 0) { | 
|  | 301 | return debug_policy; | 
|  | 302 | } | 
|  | 303 | } | 
|  | 304 | } | 
|  | 305 | return std::nullopt; | 
|  | 306 | } | 
|  | 307 |  | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 308 | struct PolicyFile { | 
|  | 309 | unique_fd fd; | 
|  | 310 | std::string path; | 
|  | 311 | }; | 
|  | 312 |  | 
|  | 313 | bool OpenSplitPolicy(PolicyFile* policy_file) { | 
| Jeff Vander Stoep | 5effda4 | 2021-11-05 09:03:11 +0100 | [diff] [blame] | 314 | // IMPLEMENTATION NOTE: Split policy consists of three or more CIL files: | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 315 | // * platform -- policy needed due to logic contained in the system image, | 
| Jeff Vander Stoep | 5effda4 | 2021-11-05 09:03:11 +0100 | [diff] [blame] | 316 | // * vendor -- policy needed due to logic contained in the vendor image, | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 317 | // * mapping -- mapping policy which helps preserve forward-compatibility of non-platform policy | 
|  | 318 | //   with newer versions of platform policy. | 
| Thiébaud Weksteen | 50f03fd | 2023-09-06 10:52:49 +1000 | [diff] [blame] | 319 | // * (optional) policy needed due to logic on product, system_ext, or odm images. | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 320 | // secilc is invoked to compile the above three policy files into a single monolithic policy | 
|  | 321 | // file. This file is then loaded into the kernel. | 
|  | 322 |  | 
| Yi-Yo Chiang | bb77c54 | 2021-09-23 14:14:16 +0000 | [diff] [blame] | 323 | const auto userdebug_plat_sepolicy = GetUserdebugPlatformPolicyFile(); | 
|  | 324 | const bool use_userdebug_policy = userdebug_plat_sepolicy.has_value(); | 
| Bowgo Tsai | 1dacd42 | 2019-03-04 17:53:34 +0800 | [diff] [blame] | 325 | if (use_userdebug_policy) { | 
| Yi-Yo Chiang | bb77c54 | 2021-09-23 14:14:16 +0000 | [diff] [blame] | 326 | LOG(INFO) << "Using userdebug system sepolicy " << *userdebug_plat_sepolicy; | 
| Bowgo Tsai | 1dacd42 | 2019-03-04 17:53:34 +0800 | [diff] [blame] | 327 | } | 
|  | 328 |  | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 329 | // Load precompiled policy from vendor image, if a matching policy is found there. The policy | 
|  | 330 | // must match the platform policy on the system image. | 
| Bowgo Tsai | 1dacd42 | 2019-03-04 17:53:34 +0800 | [diff] [blame] | 331 | // use_userdebug_policy requires compiling sepolicy with userdebug_plat_sepolicy.cil. | 
|  | 332 | // Thus it cannot use the precompiled policy from vendor image. | 
| Inseob Kim | d99d977 | 2021-03-11 17:58:26 +0900 | [diff] [blame] | 333 | if (!use_userdebug_policy) { | 
|  | 334 | if (auto res = FindPrecompiledSplitPolicy(); res.ok()) { | 
|  | 335 | unique_fd fd(open(res->c_str(), O_RDONLY | O_CLOEXEC | O_BINARY)); | 
|  | 336 | if (fd != -1) { | 
|  | 337 | policy_file->fd = std::move(fd); | 
|  | 338 | policy_file->path = std::move(*res); | 
|  | 339 | return true; | 
|  | 340 | } | 
|  | 341 | } else { | 
|  | 342 | LOG(INFO) << res.error(); | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 343 | } | 
|  | 344 | } | 
|  | 345 | // No suitable precompiled policy could be loaded | 
|  | 346 |  | 
|  | 347 | LOG(INFO) << "Compiling SELinux policy"; | 
|  | 348 |  | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 349 | // We store the output of the compilation on /dev because this is the most convenient tmpfs | 
|  | 350 | // storage mount available this early in the boot sequence. | 
|  | 351 | char compiled_sepolicy[] = "/dev/sepolicy.XXXXXX"; | 
|  | 352 | unique_fd compiled_sepolicy_fd(mkostemp(compiled_sepolicy, O_CLOEXEC)); | 
|  | 353 | if (compiled_sepolicy_fd < 0) { | 
|  | 354 | PLOG(ERROR) << "Failed to create temporary file " << compiled_sepolicy; | 
|  | 355 | return false; | 
|  | 356 | } | 
|  | 357 |  | 
|  | 358 | // Determine which mapping file to include | 
|  | 359 | std::string vend_plat_vers; | 
|  | 360 | if (!GetVendorMappingVersion(&vend_plat_vers)) { | 
|  | 361 | return false; | 
|  | 362 | } | 
| Tri Vo | 503f185 | 2019-01-16 11:57:19 -0800 | [diff] [blame] | 363 | std::string plat_mapping_file("/system/etc/selinux/mapping/" + vend_plat_vers + ".cil"); | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 364 |  | 
| Jeff Vander Stoep | 0ac51cf | 2019-05-02 14:05:18 -0700 | [diff] [blame] | 365 | std::string plat_compat_cil_file("/system/etc/selinux/mapping/" + vend_plat_vers + | 
|  | 366 | ".compat.cil"); | 
|  | 367 | if (access(plat_compat_cil_file.c_str(), F_OK) == -1) { | 
|  | 368 | plat_compat_cil_file.clear(); | 
|  | 369 | } | 
|  | 370 |  | 
| Bowgo Tsai | f016f25 | 2019-08-28 17:56:51 +0800 | [diff] [blame] | 371 | std::string system_ext_policy_cil_file("/system_ext/etc/selinux/system_ext_sepolicy.cil"); | 
|  | 372 | if (access(system_ext_policy_cil_file.c_str(), F_OK) == -1) { | 
|  | 373 | system_ext_policy_cil_file.clear(); | 
|  | 374 | } | 
|  | 375 |  | 
|  | 376 | std::string system_ext_mapping_file("/system_ext/etc/selinux/mapping/" + vend_plat_vers + | 
|  | 377 | ".cil"); | 
|  | 378 | if (access(system_ext_mapping_file.c_str(), F_OK) == -1) { | 
|  | 379 | system_ext_mapping_file.clear(); | 
|  | 380 | } | 
|  | 381 |  | 
| Yi-Yo Chiang | 731d247 | 2021-03-23 22:11:13 +0800 | [diff] [blame] | 382 | std::string system_ext_compat_cil_file("/system_ext/etc/selinux/mapping/" + vend_plat_vers + | 
|  | 383 | ".compat.cil"); | 
|  | 384 | if (access(system_ext_compat_cil_file.c_str(), F_OK) == -1) { | 
|  | 385 | system_ext_compat_cil_file.clear(); | 
|  | 386 | } | 
|  | 387 |  | 
| Tri Vo | d3518cf | 2018-12-14 14:25:08 -0800 | [diff] [blame] | 388 | std::string product_policy_cil_file("/product/etc/selinux/product_sepolicy.cil"); | 
|  | 389 | if (access(product_policy_cil_file.c_str(), F_OK) == -1) { | 
|  | 390 | product_policy_cil_file.clear(); | 
|  | 391 | } | 
|  | 392 |  | 
| Tri Vo | 503f185 | 2019-01-16 11:57:19 -0800 | [diff] [blame] | 393 | std::string product_mapping_file("/product/etc/selinux/mapping/" + vend_plat_vers + ".cil"); | 
|  | 394 | if (access(product_mapping_file.c_str(), F_OK) == -1) { | 
|  | 395 | product_mapping_file.clear(); | 
|  | 396 | } | 
|  | 397 |  | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 398 | std::string vendor_policy_cil_file("/vendor/etc/selinux/vendor_sepolicy.cil"); | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 399 | if (access(vendor_policy_cil_file.c_str(), F_OK) == -1) { | 
| Jeff Vander Stoep | 5effda4 | 2021-11-05 09:03:11 +0100 | [diff] [blame] | 400 | LOG(ERROR) << "Missing " << vendor_policy_cil_file; | 
|  | 401 | return false; | 
|  | 402 | } | 
|  | 403 |  | 
|  | 404 | std::string plat_pub_versioned_cil_file("/vendor/etc/selinux/plat_pub_versioned.cil"); | 
|  | 405 | if (access(plat_pub_versioned_cil_file.c_str(), F_OK) == -1) { | 
| Bowgo Tsai | 069ab5b | 2017-10-18 17:03:20 +0800 | [diff] [blame] | 406 | LOG(ERROR) << "Missing " << plat_pub_versioned_cil_file; | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 407 | return false; | 
|  | 408 | } | 
|  | 409 |  | 
|  | 410 | // odm_sepolicy.cil is default but optional. | 
|  | 411 | std::string odm_policy_cil_file("/odm/etc/selinux/odm_sepolicy.cil"); | 
|  | 412 | if (access(odm_policy_cil_file.c_str(), F_OK) == -1) { | 
|  | 413 | odm_policy_cil_file.clear(); | 
|  | 414 | } | 
| Jeff Vander Stoep | 724eda5 | 2019-02-15 12:13:38 -0800 | [diff] [blame] | 415 | const std::string version_as_string = std::to_string(SEPOLICY_VERSION); | 
| Andreas Huber | c41b838 | 2017-08-18 14:43:52 -0700 | [diff] [blame] | 416 |  | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 417 | // clang-format off | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 418 | std::vector<const char*> compile_args { | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 419 | "/system/bin/secilc", | 
| Yi-Yo Chiang | bb77c54 | 2021-09-23 14:14:16 +0000 | [diff] [blame] | 420 | use_userdebug_policy ? *userdebug_plat_sepolicy : plat_policy_cil_file, | 
| Jeff Vander Stoep | 5e9ba3c | 2017-10-06 17:03:45 -0700 | [diff] [blame] | 421 | "-m", "-M", "true", "-G", "-N", | 
| Andreas Huber | c41b838 | 2017-08-18 14:43:52 -0700 | [diff] [blame] | 422 | "-c", version_as_string.c_str(), | 
| Tri Vo | 503f185 | 2019-01-16 11:57:19 -0800 | [diff] [blame] | 423 | plat_mapping_file.c_str(), | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 424 | "-o", compiled_sepolicy, | 
|  | 425 | // We don't care about file_contexts output by the compiler | 
|  | 426 | "-f", "/sys/fs/selinux/null",  // /dev/null is not yet available | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 427 | }; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 428 | // clang-format on | 
|  | 429 |  | 
| Jeff Vander Stoep | 0ac51cf | 2019-05-02 14:05:18 -0700 | [diff] [blame] | 430 | if (!plat_compat_cil_file.empty()) { | 
|  | 431 | compile_args.push_back(plat_compat_cil_file.c_str()); | 
|  | 432 | } | 
| Bowgo Tsai | f016f25 | 2019-08-28 17:56:51 +0800 | [diff] [blame] | 433 | if (!system_ext_policy_cil_file.empty()) { | 
|  | 434 | compile_args.push_back(system_ext_policy_cil_file.c_str()); | 
|  | 435 | } | 
|  | 436 | if (!system_ext_mapping_file.empty()) { | 
|  | 437 | compile_args.push_back(system_ext_mapping_file.c_str()); | 
|  | 438 | } | 
| Yi-Yo Chiang | 731d247 | 2021-03-23 22:11:13 +0800 | [diff] [blame] | 439 | if (!system_ext_compat_cil_file.empty()) { | 
|  | 440 | compile_args.push_back(system_ext_compat_cil_file.c_str()); | 
|  | 441 | } | 
| Tri Vo | d3518cf | 2018-12-14 14:25:08 -0800 | [diff] [blame] | 442 | if (!product_policy_cil_file.empty()) { | 
|  | 443 | compile_args.push_back(product_policy_cil_file.c_str()); | 
|  | 444 | } | 
| Tri Vo | 503f185 | 2019-01-16 11:57:19 -0800 | [diff] [blame] | 445 | if (!product_mapping_file.empty()) { | 
|  | 446 | compile_args.push_back(product_mapping_file.c_str()); | 
|  | 447 | } | 
| Bowgo Tsai | 069ab5b | 2017-10-18 17:03:20 +0800 | [diff] [blame] | 448 | if (!plat_pub_versioned_cil_file.empty()) { | 
|  | 449 | compile_args.push_back(plat_pub_versioned_cil_file.c_str()); | 
| kaichieh | eef4cd7 | 2017-08-31 22:07:19 +0800 | [diff] [blame] | 450 | } | 
|  | 451 | if (!vendor_policy_cil_file.empty()) { | 
|  | 452 | compile_args.push_back(vendor_policy_cil_file.c_str()); | 
|  | 453 | } | 
|  | 454 | if (!odm_policy_cil_file.empty()) { | 
|  | 455 | compile_args.push_back(odm_policy_cil_file.c_str()); | 
|  | 456 | } | 
|  | 457 | compile_args.push_back(nullptr); | 
|  | 458 |  | 
|  | 459 | if (!ForkExecveAndWaitForCompletion(compile_args[0], (char**)compile_args.data())) { | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 460 | unlink(compiled_sepolicy); | 
|  | 461 | return false; | 
|  | 462 | } | 
|  | 463 | unlink(compiled_sepolicy); | 
|  | 464 |  | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 465 | policy_file->fd = std::move(compiled_sepolicy_fd); | 
|  | 466 | policy_file->path = compiled_sepolicy; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 467 | return true; | 
|  | 468 | } | 
|  | 469 |  | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 470 | bool OpenMonolithicPolicy(PolicyFile* policy_file) { | 
|  | 471 | static constexpr char kSepolicyFile[] = "/sepolicy"; | 
|  | 472 |  | 
| Nikita Ioffe | a66adf4 | 2023-06-26 14:55:31 +0100 | [diff] [blame] | 473 | LOG(INFO) << "Opening SELinux policy from monolithic file " << kSepolicyFile; | 
|  | 474 | policy_file->fd.reset(open(kSepolicyFile, O_RDONLY | O_CLOEXEC | O_NOFOLLOW)); | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 475 | if (policy_file->fd < 0) { | 
|  | 476 | PLOG(ERROR) << "Failed to open monolithic SELinux policy"; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 477 | return false; | 
|  | 478 | } | 
| Nikita Ioffe | a66adf4 | 2023-06-26 14:55:31 +0100 | [diff] [blame] | 479 | policy_file->path = kSepolicyFile; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 480 | return true; | 
|  | 481 | } | 
|  | 482 |  | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 483 | void ReadPolicy(std::string* policy) { | 
|  | 484 | PolicyFile policy_file; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 485 |  | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 486 | bool ok = IsSplitPolicyDevice() ? OpenSplitPolicy(&policy_file) | 
|  | 487 | : OpenMonolithicPolicy(&policy_file); | 
|  | 488 | if (!ok) { | 
|  | 489 | LOG(FATAL) << "Unable to open SELinux policy"; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 490 | } | 
|  | 491 |  | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 492 | if (!android::base::ReadFdToString(policy_file.fd, policy)) { | 
|  | 493 | PLOG(FATAL) << "Failed to read policy file: " << policy_file.path; | 
|  | 494 | } | 
|  | 495 | } | 
|  | 496 |  | 
|  | 497 | void SelinuxSetEnforcement() { | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 498 | bool kernel_enforcing = (security_getenforce() == 1); | 
|  | 499 | bool is_enforcing = IsEnforcing(); | 
|  | 500 | if (kernel_enforcing != is_enforcing) { | 
|  | 501 | if (security_setenforce(is_enforcing)) { | 
| Paul Lawrence | b2c2d69 | 2019-08-30 11:11:44 -0700 | [diff] [blame] | 502 | PLOG(FATAL) << "security_setenforce(" << (is_enforcing ? "true" : "false") | 
|  | 503 | << ") failed"; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 504 | } | 
|  | 505 | } | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 506 | } | 
|  | 507 |  | 
| Tom Cherry | 8180b48 | 2019-08-26 13:57:51 -0700 | [diff] [blame] | 508 | constexpr size_t kKlogMessageSize = 1024; | 
|  | 509 |  | 
| Thiébaud Weksteen | f03dde8 | 2023-04-03 16:53:12 +1000 | [diff] [blame] | 510 | void SelinuxAvcLog(char* buf) { | 
| Tom Cherry | 8180b48 | 2019-08-26 13:57:51 -0700 | [diff] [blame] | 511 | struct NetlinkMessage { | 
|  | 512 | nlmsghdr hdr; | 
|  | 513 | char buf[kKlogMessageSize]; | 
|  | 514 | } request = {}; | 
|  | 515 |  | 
|  | 516 | request.hdr.nlmsg_flags = NLM_F_REQUEST; | 
|  | 517 | request.hdr.nlmsg_type = AUDIT_USER_AVC; | 
|  | 518 | request.hdr.nlmsg_len = sizeof(request); | 
|  | 519 | strlcpy(request.buf, buf, sizeof(request.buf)); | 
|  | 520 |  | 
|  | 521 | auto fd = unique_fd{socket(PF_NETLINK, SOCK_RAW | SOCK_CLOEXEC, NETLINK_AUDIT)}; | 
|  | 522 | if (!fd.ok()) { | 
|  | 523 | return; | 
|  | 524 | } | 
|  | 525 |  | 
| Bart Van Assche | aee2ec8 | 2022-12-02 18:48:15 -0800 | [diff] [blame] | 526 | TEMP_FAILURE_RETRY(send(fd.get(), &request, sizeof(request), 0)); | 
| Tom Cherry | 8180b48 | 2019-08-26 13:57:51 -0700 | [diff] [blame] | 527 | } | 
|  | 528 |  | 
| Eric Biggers | 141c6a8 | 2023-08-11 21:05:14 +0000 | [diff] [blame] | 529 | int RestoreconIfExists(const char* path, unsigned int flags) { | 
|  | 530 | if (access(path, F_OK) != 0 && errno == ENOENT) { | 
|  | 531 | // Avoid error message for path that is expected to not always exist. | 
|  | 532 | return 0; | 
|  | 533 | } | 
|  | 534 | return selinux_android_restorecon(path, flags); | 
|  | 535 | } | 
|  | 536 |  | 
| Tom Cherry | 7bfea3d | 2018-11-06 14:12:05 -0800 | [diff] [blame] | 537 | }  // namespace | 
|  | 538 |  | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 539 | void SelinuxRestoreContext() { | 
|  | 540 | LOG(INFO) << "Running restorecon..."; | 
|  | 541 | selinux_android_restorecon("/dev", 0); | 
| Inseob Kim | 89d6913 | 2022-03-22 21:51:07 +0900 | [diff] [blame] | 542 | selinux_android_restorecon("/dev/console", 0); | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 543 | selinux_android_restorecon("/dev/kmsg", 0); | 
|  | 544 | if constexpr (WORLD_WRITABLE_KMSG) { | 
|  | 545 | selinux_android_restorecon("/dev/kmsg_debug", 0); | 
|  | 546 | } | 
| Tom Cherry | 81ae075 | 2018-07-30 16:23:49 -0700 | [diff] [blame] | 547 | selinux_android_restorecon("/dev/null", 0); | 
|  | 548 | selinux_android_restorecon("/dev/ptmx", 0); | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 549 | selinux_android_restorecon("/dev/socket", 0); | 
|  | 550 | selinux_android_restorecon("/dev/random", 0); | 
|  | 551 | selinux_android_restorecon("/dev/urandom", 0); | 
|  | 552 | selinux_android_restorecon("/dev/__properties__", 0); | 
|  | 553 |  | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 554 | selinux_android_restorecon("/dev/block", SELINUX_ANDROID_RESTORECON_RECURSE); | 
| David Anderson | 1ff7581 | 2020-11-13 00:31:47 -0800 | [diff] [blame] | 555 | selinux_android_restorecon("/dev/dm-user", SELINUX_ANDROID_RESTORECON_RECURSE); | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 556 | selinux_android_restorecon("/dev/device-mapper", 0); | 
| Jiyong Park | 4ba548d | 2019-02-22 16:04:35 +0900 | [diff] [blame] | 557 |  | 
|  | 558 | selinux_android_restorecon("/apex", 0); | 
| Jooyung Han | 566c652 | 2023-08-09 07:05:31 +0000 | [diff] [blame] | 559 | selinux_android_restorecon("/bootstrap-apex", 0); | 
| Kiyoung Kim | 99df54b | 2019-11-22 16:14:10 +0900 | [diff] [blame] | 560 | selinux_android_restorecon("/linkerconfig", 0); | 
| Bowgo Tsai | 196cc58 | 2020-01-20 18:03:58 +0800 | [diff] [blame] | 561 |  | 
| David Anderson | c991f34 | 2020-02-21 17:11:07 -0800 | [diff] [blame] | 562 | // adb remount, snapshot-based updates, and DSUs all create files during | 
|  | 563 | // first-stage init. | 
| Eric Biggers | 141c6a8 | 2023-08-11 21:05:14 +0000 | [diff] [blame] | 564 | RestoreconIfExists(SnapshotManager::GetGlobalRollbackIndicatorPath().c_str(), 0); | 
|  | 565 | RestoreconIfExists("/metadata/gsi", | 
|  | 566 | SELINUX_ANDROID_RESTORECON_RECURSE | SELINUX_ANDROID_RESTORECON_SKIP_SEHASH); | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 567 | } | 
|  | 568 |  | 
| Tom Cherry | 74069d1 | 2018-07-20 15:26:25 -0700 | [diff] [blame] | 569 | int SelinuxKlogCallback(int type, const char* fmt, ...) { | 
|  | 570 | android::base::LogSeverity severity = android::base::ERROR; | 
|  | 571 | if (type == SELINUX_WARNING) { | 
|  | 572 | severity = android::base::WARNING; | 
|  | 573 | } else if (type == SELINUX_INFO) { | 
|  | 574 | severity = android::base::INFO; | 
|  | 575 | } | 
| Tom Cherry | 8180b48 | 2019-08-26 13:57:51 -0700 | [diff] [blame] | 576 | char buf[kKlogMessageSize]; | 
| Tom Cherry | 74069d1 | 2018-07-20 15:26:25 -0700 | [diff] [blame] | 577 | va_list ap; | 
|  | 578 | va_start(ap, fmt); | 
| Tom Cherry | 8180b48 | 2019-08-26 13:57:51 -0700 | [diff] [blame] | 579 | int length_written = vsnprintf(buf, sizeof(buf), fmt, ap); | 
| Tom Cherry | 74069d1 | 2018-07-20 15:26:25 -0700 | [diff] [blame] | 580 | va_end(ap); | 
| Tom Cherry | 8180b48 | 2019-08-26 13:57:51 -0700 | [diff] [blame] | 581 | if (length_written <= 0) { | 
|  | 582 | return 0; | 
|  | 583 | } | 
| Thiébaud Weksteen | f03dde8 | 2023-04-03 16:53:12 +1000 | [diff] [blame] | 584 |  | 
|  | 585 | // libselinux log messages usually contain a new line character, while | 
|  | 586 | // Android LOG() does not expect it. Remove it to avoid empty lines in | 
|  | 587 | // the log buffers. | 
|  | 588 | size_t str_len = strlen(buf); | 
|  | 589 | if (buf[str_len - 1] == '\n') { | 
|  | 590 | buf[str_len - 1] = '\0'; | 
|  | 591 | } | 
|  | 592 |  | 
| Tom Cherry | 8180b48 | 2019-08-26 13:57:51 -0700 | [diff] [blame] | 593 | if (type == SELINUX_AVC) { | 
| Thiébaud Weksteen | f03dde8 | 2023-04-03 16:53:12 +1000 | [diff] [blame] | 594 | SelinuxAvcLog(buf); | 
| Tom Cherry | 8180b48 | 2019-08-26 13:57:51 -0700 | [diff] [blame] | 595 | } else { | 
|  | 596 | android::base::KernelLogger(android::base::MAIN, severity, "selinux", nullptr, 0, buf); | 
|  | 597 | } | 
| Tom Cherry | 74069d1 | 2018-07-20 15:26:25 -0700 | [diff] [blame] | 598 | return 0; | 
|  | 599 | } | 
|  | 600 |  | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 601 | void SelinuxSetupKernelLogging() { | 
|  | 602 | selinux_callback cb; | 
| Tom Cherry | 74069d1 | 2018-07-20 15:26:25 -0700 | [diff] [blame] | 603 | cb.func_log = SelinuxKlogCallback; | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 604 | selinux_set_callback(SELINUX_CB_LOG, cb); | 
|  | 605 | } | 
|  | 606 |  | 
| Tom Cherry | 40acb37 | 2018-08-01 13:41:12 -0700 | [diff] [blame] | 607 | int SelinuxGetVendorAndroidVersion() { | 
| Nikita Ioffe | a66adf4 | 2023-06-26 14:55:31 +0100 | [diff] [blame] | 608 | if (IsMicrodroid()) { | 
|  | 609 | // As of now Microdroid doesn't have any vendor code. | 
|  | 610 | return __ANDROID_API_FUTURE__; | 
|  | 611 | } | 
| Tom Cherry | c5cf85d | 2019-07-31 13:59:15 -0700 | [diff] [blame] | 612 | static int vendor_android_version = [] { | 
|  | 613 | if (!IsSplitPolicyDevice()) { | 
|  | 614 | // If this device does not split sepolicy files, it's not a Treble device and therefore, | 
|  | 615 | // we assume it's always on the latest platform. | 
|  | 616 | return __ANDROID_API_FUTURE__; | 
|  | 617 | } | 
| Logan Chien | 837b2a4 | 2018-05-03 14:33:52 +0800 | [diff] [blame] | 618 |  | 
| Tom Cherry | c5cf85d | 2019-07-31 13:59:15 -0700 | [diff] [blame] | 619 | std::string version; | 
|  | 620 | if (!GetVendorMappingVersion(&version)) { | 
|  | 621 | LOG(FATAL) << "Could not read vendor SELinux version"; | 
|  | 622 | } | 
| Logan Chien | 837b2a4 | 2018-05-03 14:33:52 +0800 | [diff] [blame] | 623 |  | 
| Tom Cherry | c5cf85d | 2019-07-31 13:59:15 -0700 | [diff] [blame] | 624 | int major_version; | 
|  | 625 | std::string major_version_str(version, 0, version.find('.')); | 
|  | 626 | if (!ParseInt(major_version_str, &major_version)) { | 
|  | 627 | PLOG(FATAL) << "Failed to parse the vendor sepolicy major version " | 
|  | 628 | << major_version_str; | 
|  | 629 | } | 
| Logan Chien | 837b2a4 | 2018-05-03 14:33:52 +0800 | [diff] [blame] | 630 |  | 
| Tom Cherry | c5cf85d | 2019-07-31 13:59:15 -0700 | [diff] [blame] | 631 | return major_version; | 
|  | 632 | }(); | 
|  | 633 | return vendor_android_version; | 
| Logan Chien | 837b2a4 | 2018-05-03 14:33:52 +0800 | [diff] [blame] | 634 | } | 
|  | 635 |  | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 636 | // This is for R system.img/system_ext.img to work on old vendor.img as system_ext.img | 
|  | 637 | // is introduced in R. We mount system_ext in second stage init because the first-stage | 
|  | 638 | // init in boot.img won't be updated in the system-only OTA scenario. | 
|  | 639 | void MountMissingSystemPartitions() { | 
|  | 640 | android::fs_mgr::Fstab fstab; | 
|  | 641 | if (!ReadDefaultFstab(&fstab)) { | 
|  | 642 | LOG(ERROR) << "Could not read default fstab"; | 
|  | 643 | } | 
|  | 644 |  | 
|  | 645 | android::fs_mgr::Fstab mounts; | 
|  | 646 | if (!ReadFstabFromFile("/proc/mounts", &mounts)) { | 
|  | 647 | LOG(ERROR) << "Could not read /proc/mounts"; | 
|  | 648 | } | 
|  | 649 |  | 
|  | 650 | static const std::vector<std::string> kPartitionNames = {"system_ext", "product"}; | 
|  | 651 |  | 
|  | 652 | android::fs_mgr::Fstab extra_fstab; | 
|  | 653 | for (const auto& name : kPartitionNames) { | 
|  | 654 | if (GetEntryForMountPoint(&mounts, "/"s + name)) { | 
|  | 655 | // The partition is already mounted. | 
|  | 656 | continue; | 
|  | 657 | } | 
|  | 658 |  | 
| Lianjun Huang | ccd094c | 2023-02-17 20:22:37 +0800 | [diff] [blame] | 659 | auto system_entries = GetEntriesForMountPoint(&fstab, "/system"); | 
|  | 660 | for (auto& system_entry : system_entries) { | 
|  | 661 | if (!system_entry) { | 
|  | 662 | LOG(ERROR) << "Could not find mount entry for /system"; | 
|  | 663 | break; | 
|  | 664 | } | 
|  | 665 | if (!system_entry->fs_mgr_flags.logical) { | 
|  | 666 | LOG(INFO) << "Skipping mount of " << name << ", system is not dynamic."; | 
|  | 667 | break; | 
|  | 668 | } | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 669 |  | 
| Lianjun Huang | ccd094c | 2023-02-17 20:22:37 +0800 | [diff] [blame] | 670 | auto entry = *system_entry; | 
|  | 671 | auto partition_name = name + fs_mgr_get_slot_suffix(); | 
|  | 672 | auto replace_name = "system"s + fs_mgr_get_slot_suffix(); | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 673 |  | 
| Lianjun Huang | ccd094c | 2023-02-17 20:22:37 +0800 | [diff] [blame] | 674 | entry.mount_point = "/"s + name; | 
|  | 675 | entry.blk_device = | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 676 | android::base::StringReplace(entry.blk_device, replace_name, partition_name, false); | 
| Lianjun Huang | ccd094c | 2023-02-17 20:22:37 +0800 | [diff] [blame] | 677 | if (!fs_mgr_update_logical_partition(&entry)) { | 
|  | 678 | LOG(ERROR) << "Could not update logical partition"; | 
|  | 679 | continue; | 
|  | 680 | } | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 681 |  | 
| Lianjun Huang | ccd094c | 2023-02-17 20:22:37 +0800 | [diff] [blame] | 682 | extra_fstab.emplace_back(std::move(entry)); | 
|  | 683 | } | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 684 | } | 
|  | 685 |  | 
| Yi-Yo Chiang | 2057901 | 2021-04-01 20:14:54 +0800 | [diff] [blame] | 686 | SkipMountingPartitions(&extra_fstab, true /* verbose */); | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 687 | if (extra_fstab.empty()) { | 
|  | 688 | return; | 
|  | 689 | } | 
|  | 690 |  | 
|  | 691 | BlockDevInitializer block_dev_init; | 
|  | 692 | for (auto& entry : extra_fstab) { | 
|  | 693 | if (access(entry.blk_device.c_str(), F_OK) != 0) { | 
|  | 694 | auto block_dev = android::base::Basename(entry.blk_device); | 
|  | 695 | if (!block_dev_init.InitDmDevice(block_dev)) { | 
|  | 696 | LOG(ERROR) << "Failed to find device-mapper node: " << block_dev; | 
|  | 697 | continue; | 
|  | 698 | } | 
|  | 699 | } | 
|  | 700 | if (fs_mgr_do_mount_one(entry)) { | 
|  | 701 | LOG(ERROR) << "Could not mount " << entry.mount_point; | 
|  | 702 | } | 
|  | 703 | } | 
|  | 704 | } | 
|  | 705 |  | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 706 | static void LoadSelinuxPolicy(std::string& policy) { | 
|  | 707 | LOG(INFO) << "Loading SELinux policy"; | 
|  | 708 |  | 
|  | 709 | set_selinuxmnt("/sys/fs/selinux"); | 
|  | 710 | if (security_load_policy(policy.data(), policy.size()) < 0) { | 
|  | 711 | PLOG(FATAL) << "SELinux:  Could not load policy"; | 
|  | 712 | } | 
|  | 713 | } | 
|  | 714 |  | 
| Nikita Ioffe | a66adf4 | 2023-06-26 14:55:31 +0100 | [diff] [blame] | 715 | // Encapsulates steps to load SELinux policy in Microdroid. | 
|  | 716 | // So far the process is very straightforward - just load the precompiled policy from /system. | 
|  | 717 | void LoadSelinuxPolicyMicrodroid() { | 
|  | 718 | constexpr const char kMicrodroidPrecompiledSepolicy[] = | 
|  | 719 | "/system/etc/selinux/microdroid_precompiled_sepolicy"; | 
|  | 720 |  | 
|  | 721 | LOG(INFO) << "Opening SELinux policy from " << kMicrodroidPrecompiledSepolicy; | 
|  | 722 | unique_fd policy_fd(open(kMicrodroidPrecompiledSepolicy, O_RDONLY | O_CLOEXEC | O_NOFOLLOW)); | 
|  | 723 | if (policy_fd < 0) { | 
|  | 724 | PLOG(FATAL) << "Failed to open " << kMicrodroidPrecompiledSepolicy; | 
|  | 725 | } | 
|  | 726 |  | 
|  | 727 | std::string policy; | 
|  | 728 | if (!android::base::ReadFdToString(policy_fd, &policy)) { | 
|  | 729 | PLOG(FATAL) << "Failed to read policy file: " << kMicrodroidPrecompiledSepolicy; | 
|  | 730 | } | 
|  | 731 |  | 
|  | 732 | LoadSelinuxPolicy(policy); | 
|  | 733 | } | 
|  | 734 |  | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 735 | // The SELinux setup process is carefully orchestrated around snapuserd. Policy | 
|  | 736 | // must be loaded off dynamic partitions, and during an OTA, those partitions | 
|  | 737 | // cannot be read without snapuserd. But, with kernel-privileged snapuserd | 
|  | 738 | // running, loading the policy will immediately trigger audits. | 
|  | 739 | // | 
|  | 740 | // We use a five-step process to address this: | 
|  | 741 | //  (1) Read the policy into a string, with snapuserd running. | 
|  | 742 | //  (2) Rewrite the snapshot device-mapper tables, to generate new dm-user | 
|  | 743 | //      devices and to flush I/O. | 
|  | 744 | //  (3) Kill snapuserd, which no longer has any dm-user devices to attach to. | 
|  | 745 | //  (4) Load the sepolicy and issue critical restorecons in /dev, carefully | 
|  | 746 | //      avoiding anything that would read from /system. | 
|  | 747 | //  (5) Re-launch snapuserd and attach it to the dm-user devices from step (2). | 
|  | 748 | // | 
|  | 749 | // After this sequence, it is safe to enable enforcing mode and continue booting. | 
| Nikita Ioffe | a66adf4 | 2023-06-26 14:55:31 +0100 | [diff] [blame] | 750 | void LoadSelinuxPolicyAndroid() { | 
| David Anderson | d0ce530 | 2020-03-20 21:47:10 -0700 | [diff] [blame] | 751 | MountMissingSystemPartitions(); | 
|  | 752 |  | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 753 | LOG(INFO) << "Opening SELinux policy"; | 
|  | 754 |  | 
|  | 755 | // Read the policy before potentially killing snapuserd. | 
|  | 756 | std::string policy; | 
|  | 757 | ReadPolicy(&policy); | 
|  | 758 |  | 
|  | 759 | auto snapuserd_helper = SnapuserdSelinuxHelper::CreateIfNeeded(); | 
|  | 760 | if (snapuserd_helper) { | 
| Nikita Ioffe | a66adf4 | 2023-06-26 14:55:31 +0100 | [diff] [blame] | 761 | // Kill the old snapused to avoid audit messages. After this we cannot read from /system | 
|  | 762 | // (or other dynamic partitions) until we call FinishTransition(). | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 763 | snapuserd_helper->StartTransition(); | 
|  | 764 | } | 
|  | 765 |  | 
|  | 766 | LoadSelinuxPolicy(policy); | 
|  | 767 |  | 
|  | 768 | if (snapuserd_helper) { | 
|  | 769 | // Before enforcing, finish the pending snapuserd transition. | 
|  | 770 | snapuserd_helper->FinishTransition(); | 
|  | 771 | snapuserd_helper = nullptr; | 
|  | 772 | } | 
| Nikita Ioffe | a66adf4 | 2023-06-26 14:55:31 +0100 | [diff] [blame] | 773 | } | 
|  | 774 |  | 
|  | 775 | int SetupSelinux(char** argv) { | 
|  | 776 | SetStdioToDevNull(argv); | 
|  | 777 | InitKernelLogging(argv); | 
|  | 778 |  | 
|  | 779 | if (REBOOT_BOOTLOADER_ON_PANIC) { | 
|  | 780 | InstallRebootSignalHandlers(); | 
|  | 781 | } | 
|  | 782 |  | 
|  | 783 | boot_clock::time_point start_time = boot_clock::now(); | 
|  | 784 |  | 
|  | 785 | SelinuxSetupKernelLogging(); | 
|  | 786 |  | 
|  | 787 | // TODO(b/287206497): refactor into different headers to only include what we need. | 
|  | 788 | if (IsMicrodroid()) { | 
|  | 789 | LoadSelinuxPolicyMicrodroid(); | 
|  | 790 | } else { | 
|  | 791 | LoadSelinuxPolicyAndroid(); | 
|  | 792 | } | 
| Jeffrey Vander Stoep | baeece6 | 2022-02-08 12:42:33 +0000 | [diff] [blame] | 793 |  | 
| David Anderson | 491e4da | 2020-12-08 00:21:20 -0800 | [diff] [blame] | 794 | SelinuxSetEnforcement(); | 
| Tom Cherry | 7bfea3d | 2018-11-06 14:12:05 -0800 | [diff] [blame] | 795 |  | 
|  | 796 | // We're in the kernel domain and want to transition to the init domain.  File systems that | 
|  | 797 | // store SELabels in their xattrs, such as ext4 do not need an explicit restorecon here, | 
|  | 798 | // but other file systems do.  In particular, this is needed for ramdisks such as the | 
|  | 799 | // recovery image for A/B devices. | 
|  | 800 | if (selinux_android_restorecon("/system/bin/init", 0) == -1) { | 
|  | 801 | PLOG(FATAL) << "restorecon failed of /system/bin/init failed"; | 
|  | 802 | } | 
|  | 803 |  | 
| Mark Salyzyn | 44505ec | 2019-05-08 12:44:50 -0700 | [diff] [blame] | 804 | setenv(kEnvSelinuxStartedAt, std::to_string(start_time.time_since_epoch().count()).c_str(), 1); | 
| Mark Salyzyn | 10377df | 2019-03-27 08:10:41 -0700 | [diff] [blame] | 805 |  | 
| Tom Cherry | 7bfea3d | 2018-11-06 14:12:05 -0800 | [diff] [blame] | 806 | const char* path = "/system/bin/init"; | 
|  | 807 | const char* args[] = {path, "second_stage", nullptr}; | 
|  | 808 | execv(path, const_cast<char**>(args)); | 
|  | 809 |  | 
|  | 810 | // execv() only returns if an error happened, in which case we | 
|  | 811 | // panic and never return from this function. | 
|  | 812 | PLOG(FATAL) << "execv(\"" << path << "\") failed"; | 
|  | 813 |  | 
|  | 814 | return 1; | 
|  | 815 | } | 
|  | 816 |  | 
| Tom Cherry | c317009 | 2017-08-10 12:22:44 -0700 | [diff] [blame] | 817 | }  // namespace init | 
|  | 818 | }  // namespace android |