blob: 9a9fee272d08dfe51db8e4ee0bf354430ce11084 [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);
Greg Hackmanncc953e02018-10-12 15:04:26 -0700191 va_end(va);
192 va_start(va, fmt);
Josh Gaobe66a062018-08-27 16:19:11 -0700193 size_t len =
194 async_safe_format_buffer_va_list(abort_message.buf, sizeof(abort_message.buf), fmt, va);
195 abort_message.size = len + sizeof(size_t);
Josh Gaofe380882018-07-23 18:36:16 -0700196 }
Josh Gaof6e5b582018-06-01 15:30:54 -0700197 va_end(va);
198
199 switch (error_level) {
200 case ANDROID_FDSAN_ERROR_LEVEL_WARN_ONCE:
201 atomic_compare_exchange_strong(&fd_table->error_level, &error_level,
202 ANDROID_FDSAN_ERROR_LEVEL_DISABLED);
George Burgess IVfa5410f2018-08-13 17:44:06 -0700203 __BIONIC_FALLTHROUGH;
Josh Gaofe380882018-07-23 18:36:16 -0700204 case ANDROID_FDSAN_ERROR_LEVEL_WARN_ALWAYS:
205 // DEBUGGER_SIGNAL
Josh Gaof5693c62018-08-31 14:07:40 -0700206 inline_raise(__SIGRTMIN + 3, &abort_message);
Josh Gaof6e5b582018-06-01 15:30:54 -0700207 break;
208
209 case ANDROID_FDSAN_ERROR_LEVEL_FATAL:
Josh Gaof5693c62018-08-31 14:07:40 -0700210 inline_raise(SIGABRT);
Josh Gaof6e5b582018-06-01 15:30:54 -0700211 abort();
212
213 case ANDROID_FDSAN_ERROR_LEVEL_DISABLED:
Josh Gaof6e5b582018-06-01 15:30:54 -0700214 break;
215 }
216}
217
218uint64_t android_fdsan_create_owner_tag(android_fdsan_owner_type type, uint64_t tag) {
219 if (tag == 0) {
220 return 0;
221 }
222
223 if (__predict_false((type & 0xff) != type)) {
224 async_safe_fatal("invalid android_fdsan_owner_type value: %x", type);
225 }
226
227 uint64_t result = static_cast<uint64_t>(type) << 56;
228 uint64_t mask = (static_cast<uint64_t>(1) << 56) - 1;
229 result |= tag & mask;
230 return result;
231}
232
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700233const char* android_fdsan_get_tag_type(uint64_t tag) {
Josh Gaof6e5b582018-06-01 15:30:54 -0700234 uint64_t type = tag >> 56;
235 switch (type) {
236 case ANDROID_FDSAN_OWNER_TYPE_FILE:
237 return "FILE*";
238 case ANDROID_FDSAN_OWNER_TYPE_DIR:
239 return "DIR*";
240 case ANDROID_FDSAN_OWNER_TYPE_UNIQUE_FD:
241 return "unique_fd";
242 case ANDROID_FDSAN_OWNER_TYPE_FILEINPUTSTREAM:
243 return "FileInputStream";
244 case ANDROID_FDSAN_OWNER_TYPE_FILEOUTPUTSTREAM:
245 return "FileOutputStream";
246 case ANDROID_FDSAN_OWNER_TYPE_RANDOMACCESSFILE:
247 return "RandomAccessFile";
248 case ANDROID_FDSAN_OWNER_TYPE_PARCELFILEDESCRIPTOR:
249 return "ParcelFileDescriptor";
Josh Gao27cc4bc2018-08-22 12:40:08 -0700250 case ANDROID_FDSAN_OWNER_TYPE_SQLITE:
251 return "sqlite";
Josh Gaoab6a0802018-08-30 17:37:52 -0700252 case ANDROID_FDSAN_OWNER_TYPE_ART_FDFILE:
253 return "ART FdFile";
Josh Gaod527cf12018-09-07 12:46:02 -0700254 case ANDROID_FDSAN_OWNER_TYPE_DATAGRAMSOCKETIMPL:
255 return "DatagramSocketImpl";
256 case ANDROID_FDSAN_OWNER_TYPE_SOCKETIMPL:
257 return "SocketImpl";
Josh Gao5fa9df82018-09-07 12:47:00 -0700258 case ANDROID_FDSAN_OWNER_TYPE_ZIPARCHIVE:
259 return "ZipArchive";
Josh Gaof6e5b582018-06-01 15:30:54 -0700260
261 case ANDROID_FDSAN_OWNER_TYPE_GENERIC_00:
262 default:
263 return "native object of unknown type";
264
265 case ANDROID_FDSAN_OWNER_TYPE_GENERIC_FF:
266 // If bits 48 to 56 are set, this is a sign-extended generic native pointer
267 uint64_t high_bits = tag >> 48;
268 if (high_bits == (1 << 16) - 1) {
269 return "native object of unknown type";
270 }
271
272 return "Java object of unknown type";
273 }
274}
275
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700276uint64_t android_fdsan_get_tag_value(uint64_t tag) {
Josh Gao08b7a402018-08-03 14:31:37 -0700277 // Lop off the most significant byte and sign extend.
278 return static_cast<uint64_t>(static_cast<int64_t>(tag << 8) >> 8);
Josh Gaof6e5b582018-06-01 15:30:54 -0700279}
280
281int android_fdsan_close_with_tag(int fd, uint64_t expected_tag) {
282 FdEntry* fde = GetFdEntry(fd);
283 if (!fde) {
284 return ___close(fd);
285 }
286
287 uint64_t tag = expected_tag;
288 if (!atomic_compare_exchange_strong(&fde->close_tag, &tag, 0)) {
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700289 const char* expected_type = android_fdsan_get_tag_type(expected_tag);
290 uint64_t expected_owner = android_fdsan_get_tag_value(expected_tag);
291 const char* actual_type = android_fdsan_get_tag_type(tag);
292 uint64_t actual_owner = android_fdsan_get_tag_value(tag);
Josh Gaof6e5b582018-06-01 15:30:54 -0700293 if (expected_tag && tag) {
Josh Gao08b7a402018-08-03 14:31:37 -0700294 fdsan_error(
295 "attempted to close file descriptor %d, "
296 "expected to be owned by %s 0x%" PRIx64 ", actually owned by %s 0x%" PRIx64,
297 fd, expected_type, expected_owner, actual_type, actual_owner);
Josh Gaof6e5b582018-06-01 15:30:54 -0700298 } else if (expected_tag && !tag) {
Josh Gao08b7a402018-08-03 14:31:37 -0700299 fdsan_error(
300 "attempted to close file descriptor %d, "
301 "expected to be owned by %s 0x%" PRIx64 ", actually unowned",
302 fd, expected_type, expected_owner);
Josh Gaof6e5b582018-06-01 15:30:54 -0700303 } else if (!expected_tag && tag) {
304 fdsan_error(
Josh Gao08b7a402018-08-03 14:31:37 -0700305 "attempted to close file descriptor %d, "
306 "expected to be unowned, actually owned by %s 0x%" PRIx64,
Josh Gaof6e5b582018-06-01 15:30:54 -0700307 fd, actual_type, actual_owner);
308 } else if (!expected_tag && !tag) {
309 // This should never happen: our CAS failed, but expected == actual?
Josh Gao08b7a402018-08-03 14:31:37 -0700310 async_safe_fatal("fdsan atomic_compare_exchange_strong failed unexpectedly while closing");
Josh Gaof6e5b582018-06-01 15:30:54 -0700311 }
312 }
313
314 int rc = ___close(fd);
315 // If we were expecting to close with a tag, abort on EBADF.
316 if (expected_tag && rc == -1 && errno == EBADF) {
317 fdsan_error("double-close of file descriptor %d detected", fd);
318 }
319 return rc;
320}
321
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700322uint64_t android_fdsan_get_owner_tag(int fd) {
323 FdEntry* fde = GetFdEntry(fd);
324 if (!fde) {
325 return 0;
326 }
327 return fde->close_tag;
328}
329
Josh Gaof6e5b582018-06-01 15:30:54 -0700330void android_fdsan_exchange_owner_tag(int fd, uint64_t expected_tag, uint64_t new_tag) {
331 FdEntry* fde = GetFdEntry(fd);
332 if (!fde) {
333 return;
334 }
335
336 uint64_t tag = expected_tag;
337 if (!atomic_compare_exchange_strong(&fde->close_tag, &tag, new_tag)) {
Josh Gao08b7a402018-08-03 14:31:37 -0700338 if (expected_tag && tag) {
Josh Gaof6e5b582018-06-01 15:30:54 -0700339 fdsan_error(
Josh Gao08b7a402018-08-03 14:31:37 -0700340 "failed to exchange ownership of file descriptor: fd %d is "
341 "owned by %s 0x%" PRIx64 ", was expected to be owned by %s 0x%" PRIx64,
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700342 fd, android_fdsan_get_tag_type(tag), android_fdsan_get_tag_value(tag),
343 android_fdsan_get_tag_type(expected_tag), android_fdsan_get_tag_value(expected_tag));
Josh Gao08b7a402018-08-03 14:31:37 -0700344 } else if (expected_tag && !tag) {
Josh Gaof6e5b582018-06-01 15:30:54 -0700345 fdsan_error(
Josh Gao08b7a402018-08-03 14:31:37 -0700346 "failed to exchange ownership of file descriptor: fd %d is "
347 "unowned, was expected to be owned by %s 0x%" PRIx64,
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700348 fd, android_fdsan_get_tag_type(expected_tag), android_fdsan_get_tag_value(expected_tag));
Josh Gao08b7a402018-08-03 14:31:37 -0700349 } else if (!expected_tag && tag) {
350 fdsan_error(
351 "failed to exchange ownership of file descriptor: fd %d is "
352 "owned by %s 0x%" PRIx64 ", was expected to be unowned",
Josh Gaob6b3a1d2018-08-23 14:04:11 -0700353 fd, android_fdsan_get_tag_type(tag), android_fdsan_get_tag_value(tag));
Josh Gao08b7a402018-08-03 14:31:37 -0700354 } else if (!expected_tag && !tag) {
355 // This should never happen: our CAS failed, but expected == actual?
356 async_safe_fatal(
357 "fdsan atomic_compare_exchange_strong failed unexpectedly while exchanging owner tag");
Josh Gaof6e5b582018-06-01 15:30:54 -0700358 }
359 }
360}
361
362android_fdsan_error_level android_fdsan_get_error_level() {
363 auto* fd_table = GetFdTable();
364 if (!fd_table) {
365 async_safe_fatal("attempted to get fdsan error level before libc initialization?");
366 }
367
368 return fd_table->error_level;
369}
370
371android_fdsan_error_level android_fdsan_set_error_level(android_fdsan_error_level new_level) {
372 auto* fd_table = GetFdTable();
373 if (!fd_table) {
374 async_safe_fatal("attempted to get fdsan error level before libc initialization?");
375 }
376
377 return atomic_exchange(&fd_table->error_level, new_level);
378}
379
380int close(int fd) {
381 int rc = android_fdsan_close_with_tag(fd, 0);
382 if (rc == -1 && errno == EINTR) {
383 return 0;
384 }
385 return rc;
386}