blob: 11ebf52856ef8c39e38973515ea2eb36e8acf197 [file] [log] [blame]
Josh Gaof6e5b582018-06-01 15:30:54 -07001/*
2 * Copyright (C) 2018 The Android Open Source Project
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * * Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * * Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in
12 * the documentation and/or other materials provided with the
13 * distribution.
14 *
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
18 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
19 * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
21 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
22 * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
23 * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24 * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
25 * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26 * SUCH DAMAGE.
27 */
28
29#include <android/fdsan.h>
30
31#include <errno.h>
32#include <inttypes.h>
Josh Gaofe380882018-07-23 18:36:16 -070033#include <signal.h>
Josh Gaof6e5b582018-06-01 15:30:54 -070034#include <stdarg.h>
35#include <stdatomic.h>
36#include <string.h>
37#include <sys/cdefs.h>
38#include <sys/mman.h>
39#include <sys/syscall.h>
40#include <unistd.h>
41
42#include <async_safe/log.h>
43#include <sys/system_properties.h>
44
45#include "private/bionic_globals.h"
Josh Gaof5693c62018-08-31 14:07:40 -070046#include "private/bionic_inline_raise.h"
Josh Gaof6e5b582018-06-01 15:30:54 -070047#include "pthread_internal.h"
48
49extern "C" int ___close(int fd);
50pid_t __get_cached_pid();
51
52static constexpr const char* kFdsanPropertyName = "debug.fdsan";
53
Josh Gaoe6dab7b2018-08-06 18:47:29 -070054template<size_t inline_fds>
55FdEntry* FdTableImpl<inline_fds>::at(size_t idx) {
56 if (idx < inline_fds) {
57 return &entries[idx];
58 }
59
60 // Try to create the overflow table ourselves.
61 FdTableOverflow* local_overflow = atomic_load(&overflow);
62 if (__predict_false(!local_overflow)) {
63 struct rlimit rlim = { .rlim_max = 32768 };
64 getrlimit(RLIMIT_NOFILE, &rlim);
65 rlim_t max = rlim.rlim_max;
66
67 if (max == RLIM_INFINITY) {
68 // This isn't actually possible (the kernel has a hard limit), but just
69 // in case...
70 max = 32768;
71 }
72
73 if (idx > max) {
74 // This can happen if an fd is created and then the rlimit is lowered.
75 // In this case, just return nullptr and ignore the fd.
76 return nullptr;
77 }
78
79 size_t required_count = max - inline_fds;
80 size_t required_size = sizeof(FdTableOverflow) + required_count * sizeof(FdEntry);
81 size_t aligned_size = __BIONIC_ALIGN(required_size, PAGE_SIZE);
82 size_t aligned_count = (aligned_size - sizeof(FdTableOverflow)) / sizeof(FdEntry);
83
84 void* allocation =
85 mmap(nullptr, aligned_size, PROT_READ | PROT_WRITE, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
86 if (allocation == MAP_FAILED) {
87 async_safe_fatal("fdsan: mmap failed: %s", strerror(errno));
88 }
89
90 FdTableOverflow* new_overflow = reinterpret_cast<FdTableOverflow*>(allocation);
91 new_overflow->len = aligned_count;
92
93 if (atomic_compare_exchange_strong(&overflow, &local_overflow, new_overflow)) {
94 local_overflow = new_overflow;
95 } else {
96 // Someone beat us to it. Deallocate and use theirs.
97 munmap(allocation, aligned_size);
98 }
99 }
100
101 size_t offset = idx - inline_fds;
102 if (local_overflow->len < offset) {
103 return nullptr;
104 }
105 return &local_overflow->entries[offset];
106}
107
Josh Gaof6e5b582018-06-01 15:30:54 -0700108void __libc_init_fdsan() {
Josh Gao4b7c1cc2018-08-06 14:57:30 -0700109 constexpr auto default_level = ANDROID_FDSAN_ERROR_LEVEL_WARN_ONCE;
Josh Gaof6e5b582018-06-01 15:30:54 -0700110 const prop_info* pi = __system_property_find(kFdsanPropertyName);
111 if (!pi) {
Josh Gao4b7c1cc2018-08-06 14:57:30 -0700112 android_fdsan_set_error_level(default_level);
Josh Gaof6e5b582018-06-01 15:30:54 -0700113 return;
114 }
115 __system_property_read_callback(
116 pi,
117 [](void*, const char*, const char* value, uint32_t) {
118 if (strcasecmp(value, "1") == 0 || strcasecmp(value, "fatal") == 0) {
119 android_fdsan_set_error_level(ANDROID_FDSAN_ERROR_LEVEL_FATAL);
120 } else if (strcasecmp(value, "warn") == 0) {
121 android_fdsan_set_error_level(ANDROID_FDSAN_ERROR_LEVEL_WARN_ALWAYS);
122 } else if (strcasecmp(value, "warn_once") == 0) {
123 android_fdsan_set_error_level(ANDROID_FDSAN_ERROR_LEVEL_WARN_ONCE);
124 } else {
125 if (strlen(value) != 0 && strcasecmp(value, "0") != 0) {
126 async_safe_format_log(ANDROID_LOG_ERROR, "libc",
127 "debug.fdsan set to unknown value '%s', disabling", value);
128 }
Josh Gao4b7c1cc2018-08-06 14:57:30 -0700129 android_fdsan_set_error_level(default_level);
Josh Gaof6e5b582018-06-01 15:30:54 -0700130 }
131 },
132 nullptr);
133}
134
Josh Gaoe6dab7b2018-08-06 18:47:29 -0700135static FdTable* GetFdTable() {
Josh Gaof6e5b582018-06-01 15:30:54 -0700136 if (!__libc_shared_globals) {
137 return nullptr;
138 }
139
140 return &__libc_shared_globals->fd_table;
141}
142
Josh Gaoe16082f2018-08-06 18:48:52 -0700143// Exposed to the platform to allow crash_dump to print out the fd table.
144extern "C" void* android_fdsan_get_fd_table() {
145 return GetFdTable();
146}
147
Josh Gaof6e5b582018-06-01 15:30:54 -0700148static FdEntry* GetFdEntry(int fd) {
149 if (fd < 0) {
150 return nullptr;
151 }
152
153 auto* fd_table = GetFdTable();
154 if (!fd_table) {
155 return nullptr;
156 }
157
158 return fd_table->at(fd);
159}
160
161__printflike(1, 0) static void fdsan_error(const char* fmt, ...) {
162 auto* fd_table = GetFdTable();
163 if (!fd_table) {
164 return;
165 }
166
167 auto error_level = atomic_load(&fd_table->error_level);
168 if (error_level == ANDROID_FDSAN_ERROR_LEVEL_DISABLED) {
169 return;
170 }
171
172 // Lots of code will (sensibly) fork, blindly call close on all of their fds,
173 // and then exec. Compare our cached pid value against the real one to detect
174 // this scenario and permit it.
175 pid_t cached_pid = __get_cached_pid();
176 if (cached_pid == 0 || cached_pid != syscall(__NR_getpid)) {
177 return;
178 }
179
Josh Gaobe66a062018-08-27 16:19:11 -0700180 struct {
181 size_t size;
182 char buf[512];
183 } abort_message;
184
Josh Gaof6e5b582018-06-01 15:30:54 -0700185 va_list va;
186 va_start(va, fmt);
Josh Gaofe380882018-07-23 18:36:16 -0700187 if (error_level == ANDROID_FDSAN_ERROR_LEVEL_FATAL) {
188 async_safe_fatal_va_list("fdsan", fmt, va);
189 } else {
190 async_safe_format_log_va_list(ANDROID_LOG_ERROR, "fdsan", fmt, va);
Josh Gaobe66a062018-08-27 16:19:11 -0700191 size_t len =
192 async_safe_format_buffer_va_list(abort_message.buf, sizeof(abort_message.buf), fmt, va);
193 abort_message.size = len + sizeof(size_t);
Josh Gaofe380882018-07-23 18:36:16 -0700194 }
Josh Gaof6e5b582018-06-01 15:30:54 -0700195 va_end(va);
196
197 switch (error_level) {
198 case ANDROID_FDSAN_ERROR_LEVEL_WARN_ONCE:
199 atomic_compare_exchange_strong(&fd_table->error_level, &error_level,
200 ANDROID_FDSAN_ERROR_LEVEL_DISABLED);
George Burgess IVfa5410f2018-08-13 17:44:06 -0700201 __BIONIC_FALLTHROUGH;
Josh Gaofe380882018-07-23 18:36:16 -0700202 case ANDROID_FDSAN_ERROR_LEVEL_WARN_ALWAYS:
203 // DEBUGGER_SIGNAL
Josh Gaof5693c62018-08-31 14:07:40 -0700204 inline_raise(__SIGRTMIN + 3, &abort_message);
Josh Gaof6e5b582018-06-01 15:30:54 -0700205 break;
206
207 case ANDROID_FDSAN_ERROR_LEVEL_FATAL:
Josh Gaof5693c62018-08-31 14:07:40 -0700208 inline_raise(SIGABRT);
Josh Gaof6e5b582018-06-01 15:30:54 -0700209 abort();
210
211 case ANDROID_FDSAN_ERROR_LEVEL_DISABLED:
Josh Gaof6e5b582018-06-01 15:30:54 -0700212 break;
213 }
214}
215
216uint64_t android_fdsan_create_owner_tag(android_fdsan_owner_type type, uint64_t tag) {
217 if (tag == 0) {
218 return 0;
219 }
220
221 if (__predict_false((type & 0xff) != type)) {
222 async_safe_fatal("invalid android_fdsan_owner_type value: %x", type);
223 }
224
225 uint64_t result = static_cast<uint64_t>(type) << 56;
226 uint64_t mask = (static_cast<uint64_t>(1) << 56) - 1;
227 result |= tag & mask;
228 return result;
229}
230
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700231const char* android_fdsan_get_tag_type(uint64_t tag) {
Josh Gaof6e5b582018-06-01 15:30:54 -0700232 uint64_t type = tag >> 56;
233 switch (type) {
234 case ANDROID_FDSAN_OWNER_TYPE_FILE:
235 return "FILE*";
236 case ANDROID_FDSAN_OWNER_TYPE_DIR:
237 return "DIR*";
238 case ANDROID_FDSAN_OWNER_TYPE_UNIQUE_FD:
239 return "unique_fd";
240 case ANDROID_FDSAN_OWNER_TYPE_FILEINPUTSTREAM:
241 return "FileInputStream";
242 case ANDROID_FDSAN_OWNER_TYPE_FILEOUTPUTSTREAM:
243 return "FileOutputStream";
244 case ANDROID_FDSAN_OWNER_TYPE_RANDOMACCESSFILE:
245 return "RandomAccessFile";
246 case ANDROID_FDSAN_OWNER_TYPE_PARCELFILEDESCRIPTOR:
247 return "ParcelFileDescriptor";
Josh Gao27cc4bc2018-08-22 12:40:08 -0700248 case ANDROID_FDSAN_OWNER_TYPE_SQLITE:
249 return "sqlite";
Josh Gaoab6a0802018-08-30 17:37:52 -0700250 case ANDROID_FDSAN_OWNER_TYPE_ART_FDFILE:
251 return "ART FdFile";
Josh Gaod527cf12018-09-07 12:46:02 -0700252 case ANDROID_FDSAN_OWNER_TYPE_DATAGRAMSOCKETIMPL:
253 return "DatagramSocketImpl";
254 case ANDROID_FDSAN_OWNER_TYPE_SOCKETIMPL:
255 return "SocketImpl";
Josh Gao5fa9df82018-09-07 12:47:00 -0700256 case ANDROID_FDSAN_OWNER_TYPE_ZIPARCHIVE:
257 return "ZipArchive";
Josh Gaof6e5b582018-06-01 15:30:54 -0700258
259 case ANDROID_FDSAN_OWNER_TYPE_GENERIC_00:
260 default:
261 return "native object of unknown type";
262
263 case ANDROID_FDSAN_OWNER_TYPE_GENERIC_FF:
264 // If bits 48 to 56 are set, this is a sign-extended generic native pointer
265 uint64_t high_bits = tag >> 48;
266 if (high_bits == (1 << 16) - 1) {
267 return "native object of unknown type";
268 }
269
270 return "Java object of unknown type";
271 }
272}
273
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700274uint64_t android_fdsan_get_tag_value(uint64_t tag) {
Josh Gao08b7a402018-08-03 14:31:37 -0700275 // Lop off the most significant byte and sign extend.
276 return static_cast<uint64_t>(static_cast<int64_t>(tag << 8) >> 8);
Josh Gaof6e5b582018-06-01 15:30:54 -0700277}
278
279int android_fdsan_close_with_tag(int fd, uint64_t expected_tag) {
280 FdEntry* fde = GetFdEntry(fd);
281 if (!fde) {
282 return ___close(fd);
283 }
284
285 uint64_t tag = expected_tag;
286 if (!atomic_compare_exchange_strong(&fde->close_tag, &tag, 0)) {
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700287 const char* expected_type = android_fdsan_get_tag_type(expected_tag);
288 uint64_t expected_owner = android_fdsan_get_tag_value(expected_tag);
289 const char* actual_type = android_fdsan_get_tag_type(tag);
290 uint64_t actual_owner = android_fdsan_get_tag_value(tag);
Josh Gaof6e5b582018-06-01 15:30:54 -0700291 if (expected_tag && tag) {
Josh Gao08b7a402018-08-03 14:31:37 -0700292 fdsan_error(
293 "attempted to close file descriptor %d, "
294 "expected to be owned by %s 0x%" PRIx64 ", actually owned by %s 0x%" PRIx64,
295 fd, expected_type, expected_owner, actual_type, actual_owner);
Josh Gaof6e5b582018-06-01 15:30:54 -0700296 } else if (expected_tag && !tag) {
Josh Gao08b7a402018-08-03 14:31:37 -0700297 fdsan_error(
298 "attempted to close file descriptor %d, "
299 "expected to be owned by %s 0x%" PRIx64 ", actually unowned",
300 fd, expected_type, expected_owner);
Josh Gaof6e5b582018-06-01 15:30:54 -0700301 } else if (!expected_tag && tag) {
302 fdsan_error(
Josh Gao08b7a402018-08-03 14:31:37 -0700303 "attempted to close file descriptor %d, "
304 "expected to be unowned, actually owned by %s 0x%" PRIx64,
Josh Gaof6e5b582018-06-01 15:30:54 -0700305 fd, actual_type, actual_owner);
306 } else if (!expected_tag && !tag) {
307 // This should never happen: our CAS failed, but expected == actual?
Josh Gao08b7a402018-08-03 14:31:37 -0700308 async_safe_fatal("fdsan atomic_compare_exchange_strong failed unexpectedly while closing");
Josh Gaof6e5b582018-06-01 15:30:54 -0700309 }
310 }
311
312 int rc = ___close(fd);
313 // If we were expecting to close with a tag, abort on EBADF.
314 if (expected_tag && rc == -1 && errno == EBADF) {
315 fdsan_error("double-close of file descriptor %d detected", fd);
316 }
317 return rc;
318}
319
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700320uint64_t android_fdsan_get_owner_tag(int fd) {
321 FdEntry* fde = GetFdEntry(fd);
322 if (!fde) {
323 return 0;
324 }
325 return fde->close_tag;
326}
327
Josh Gaof6e5b582018-06-01 15:30:54 -0700328void android_fdsan_exchange_owner_tag(int fd, uint64_t expected_tag, uint64_t new_tag) {
329 FdEntry* fde = GetFdEntry(fd);
330 if (!fde) {
331 return;
332 }
333
334 uint64_t tag = expected_tag;
335 if (!atomic_compare_exchange_strong(&fde->close_tag, &tag, new_tag)) {
Josh Gao08b7a402018-08-03 14:31:37 -0700336 if (expected_tag && tag) {
Josh Gaof6e5b582018-06-01 15:30:54 -0700337 fdsan_error(
Josh Gao08b7a402018-08-03 14:31:37 -0700338 "failed to exchange ownership of file descriptor: fd %d is "
339 "owned by %s 0x%" PRIx64 ", was expected to be owned by %s 0x%" PRIx64,
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700340 fd, android_fdsan_get_tag_type(tag), android_fdsan_get_tag_value(tag),
341 android_fdsan_get_tag_type(expected_tag), android_fdsan_get_tag_value(expected_tag));
Josh Gao08b7a402018-08-03 14:31:37 -0700342 } else if (expected_tag && !tag) {
Josh Gaof6e5b582018-06-01 15:30:54 -0700343 fdsan_error(
Josh Gao08b7a402018-08-03 14:31:37 -0700344 "failed to exchange ownership of file descriptor: fd %d is "
345 "unowned, was expected to be owned by %s 0x%" PRIx64,
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700346 fd, android_fdsan_get_tag_type(expected_tag), android_fdsan_get_tag_value(expected_tag));
Josh Gao08b7a402018-08-03 14:31:37 -0700347 } else if (!expected_tag && tag) {
348 fdsan_error(
349 "failed to exchange ownership of file descriptor: fd %d is "
350 "owned by %s 0x%" PRIx64 ", was expected to be unowned",
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700351 fd, android_fdsan_get_tag_type(tag), android_fdsan_get_tag_value(tag));
Josh Gao08b7a402018-08-03 14:31:37 -0700352 } else if (!expected_tag && !tag) {
353 // This should never happen: our CAS failed, but expected == actual?
354 async_safe_fatal(
355 "fdsan atomic_compare_exchange_strong failed unexpectedly while exchanging owner tag");
Josh Gaof6e5b582018-06-01 15:30:54 -0700356 }
357 }
358}
359
360android_fdsan_error_level android_fdsan_get_error_level() {
361 auto* fd_table = GetFdTable();
362 if (!fd_table) {
363 async_safe_fatal("attempted to get fdsan error level before libc initialization?");
364 }
365
366 return fd_table->error_level;
367}
368
369android_fdsan_error_level android_fdsan_set_error_level(android_fdsan_error_level new_level) {
370 auto* fd_table = GetFdTable();
371 if (!fd_table) {
372 async_safe_fatal("attempted to get fdsan error level before libc initialization?");
373 }
374
375 return atomic_exchange(&fd_table->error_level, new_level);
376}
377
378int close(int fd) {
379 int rc = android_fdsan_close_with_tag(fd, 0);
380 if (rc == -1 && errno == EINTR) {
381 return 0;
382 }
383 return rc;
384}