dlfcn_test.cpp revision eb27bbae8f0edc6b62ca2db73256c7fb53b9e9bf
1/* 2 * Copyright (C) 2012 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#include <gtest/gtest.h> 18 19#include <dlfcn.h> 20#include <libgen.h> 21#include <limits.h> 22#include <stdio.h> 23#include <stdint.h> 24 25#include "private/ScopeGuard.h" 26 27#include <string> 28 29#define ASSERT_SUBSTR(needle, haystack) \ 30 ASSERT_PRED_FORMAT2(::testing::IsSubstring, needle, haystack) 31 32static bool g_called = false; 33extern "C" void DlSymTestFunction() { 34 g_called = true; 35} 36 37static int g_ctor_function_called = 0; 38 39extern "C" void ctor_function() __attribute__ ((constructor)); 40 41extern "C" void ctor_function() { 42 g_ctor_function_called = 17; 43} 44 45TEST(dlfcn, ctor_function_call) { 46 ASSERT_EQ(17, g_ctor_function_called); 47} 48 49TEST(dlfcn, dlsym_in_self) { 50 dlerror(); // Clear any pending errors. 51 void* self = dlopen(NULL, RTLD_NOW); 52 ASSERT_TRUE(self != NULL); 53 ASSERT_TRUE(dlerror() == NULL); 54 55 void* sym = dlsym(self, "DlSymTestFunction"); 56 ASSERT_TRUE(sym != NULL); 57 58 void (*function)() = reinterpret_cast<void(*)()>(sym); 59 60 g_called = false; 61 function(); 62 ASSERT_TRUE(g_called); 63 64 ASSERT_EQ(0, dlclose(self)); 65} 66 67TEST(dlfcn, dlsym_with_dependencies) { 68 void* handle = dlopen("libtest_with_dependency.so", RTLD_NOW); 69 ASSERT_TRUE(handle != NULL); 70 dlerror(); 71 // This symbol is in DT_NEEDED library. 72 void* sym = dlsym(handle, "getRandomNumber"); 73 ASSERT_TRUE(sym != NULL); 74 int (*fn)(void); 75 fn = reinterpret_cast<int (*)(void)>(sym); 76 EXPECT_EQ(4, fn()); 77 dlclose(handle); 78} 79 80TEST(dlfcn, dlopen_noload) { 81 void* handle = dlopen("libtest_simple.so", RTLD_NOW | RTLD_NOLOAD); 82 ASSERT_TRUE(handle == NULL); 83 handle = dlopen("libtest_simple.so", RTLD_NOW); 84 void* handle2 = dlopen("libtest_simple.so", RTLD_NOW | RTLD_NOLOAD); 85 ASSERT_TRUE(handle != NULL); 86 ASSERT_TRUE(handle2 != NULL); 87 ASSERT_TRUE(handle == handle2); 88 ASSERT_EQ(0, dlclose(handle)); 89 ASSERT_EQ(0, dlclose(handle2)); 90} 91 92// ifuncs are only supported on intel and arm64 for now 93#if defined (__aarch64__) || defined(__i386__) || defined(__x86_64__) 94TEST(dlfcn, ifunc) { 95 typedef const char* (*fn_ptr)(); 96 97 // ifunc's choice depends on whether IFUNC_CHOICE has a value 98 // first check the set case 99 setenv("IFUNC_CHOICE", "set", 1); 100 void* handle = dlopen("libtest_ifunc.so", RTLD_NOW); 101 ASSERT_TRUE(handle != NULL); 102 fn_ptr foo_ptr = reinterpret_cast<fn_ptr>(dlsym(handle, "foo")); 103 fn_ptr foo_library_ptr = reinterpret_cast<fn_ptr>(dlsym(handle, "foo_library")); 104 ASSERT_TRUE(foo_ptr != NULL); 105 ASSERT_TRUE(foo_library_ptr != NULL); 106 ASSERT_EQ(strncmp("set", foo_ptr(), 3), 0); 107 ASSERT_EQ(strncmp("set", foo_library_ptr(), 3), 0); 108 dlclose(handle); 109 110 // then check the unset case 111 unsetenv("IFUNC_CHOICE"); 112 handle = dlopen("libtest_ifunc.so", RTLD_NOW); 113 ASSERT_TRUE(handle != NULL); 114 foo_ptr = reinterpret_cast<fn_ptr>(dlsym(handle, "foo")); 115 foo_library_ptr = reinterpret_cast<fn_ptr>(dlsym(handle, "foo_library")); 116 ASSERT_TRUE(foo_ptr != NULL); 117 ASSERT_TRUE(foo_library_ptr != NULL); 118 ASSERT_EQ(strncmp("unset", foo_ptr(), 5), 0); 119 ASSERT_EQ(strncmp("unset", foo_library_ptr(), 3), 0); 120 dlclose(handle); 121} 122 123TEST(dlfcn, ifunc_ctor_call) { 124 typedef const char* (*fn_ptr)(); 125 126 void* handle = dlopen("libtest_ifunc.so", RTLD_NOW); 127 ASSERT_TRUE(handle != nullptr) << dlerror(); 128 fn_ptr is_ctor_called = reinterpret_cast<fn_ptr>(dlsym(handle, "is_ctor_called_irelative")); 129 ASSERT_TRUE(is_ctor_called != nullptr) << dlerror(); 130 ASSERT_STREQ("false", is_ctor_called()); 131 132 is_ctor_called = reinterpret_cast<fn_ptr>(dlsym(handle, "is_ctor_called_jump_slot")); 133 ASSERT_TRUE(is_ctor_called != nullptr) << dlerror(); 134 ASSERT_STREQ("true", is_ctor_called()); 135 dlclose(handle); 136} 137#endif 138 139TEST(dlfcn, dlopen_check_relocation_dt_needed_order) { 140 // This is the structure of the test library and 141 // its dt_needed libraries 142 // libtest_relo_check_dt_needed_order.so 143 // | 144 // +-> libtest_relo_check_dt_needed_order_1.so 145 // | 146 // +-> libtest_relo_check_dt_needed_order_2.so 147 // 148 // The root library references relo_test_get_answer_lib - which is defined 149 // in both dt_needed libraries, the correct relocation should 150 // use the function defined in libtest_relo_check_dt_needed_order_1.so 151 void* handle = nullptr; 152 auto guard = make_scope_guard([&]() { 153 dlclose(handle); 154 }); 155 156 handle = dlopen("libtest_relo_check_dt_needed_order.so", RTLD_NOW); 157 ASSERT_TRUE(handle != nullptr) << dlerror(); 158 159 typedef int (*fn_t) (void); 160 fn_t fn = reinterpret_cast<fn_t>(dlsym(handle, "relo_test_get_answer")); 161 ASSERT_TRUE(fn != nullptr) << dlerror(); 162 ASSERT_EQ(1, fn()); 163} 164 165TEST(dlfcn, dlopen_check_order) { 166 // Here is how the test library and its dt_needed 167 // libraries are arranged 168 // 169 // libtest_check_order.so 170 // | 171 // +-> libtest_check_order_1_left.so 172 // | | 173 // | +-> libtest_check_order_a.so 174 // | | 175 // | +-> libtest_check_order_b.so 176 // | 177 // +-> libtest_check_order_2_right.so 178 // | | 179 // | +-> libtest_check_order_d.so 180 // | | 181 // | +-> libtest_check_order_b.so 182 // | 183 // +-> libtest_check_order_3_c.so 184 // 185 // load order should be (1, 2, 3, a, b, d) 186 // 187 // get_answer() is defined in (2, 3, a, b, c) 188 // get_answer2() is defined in (b, d) 189 void* sym = dlsym(RTLD_DEFAULT, "dlopen_test_get_answer"); 190 ASSERT_TRUE(sym == nullptr); 191 void* handle = dlopen("libtest_check_order.so", RTLD_NOW | RTLD_GLOBAL); 192 ASSERT_TRUE(handle != nullptr); 193 typedef int (*fn_t) (void); 194 fn_t fn, fn2; 195 fn = reinterpret_cast<fn_t>(dlsym(RTLD_DEFAULT, "dlopen_test_get_answer")); 196 ASSERT_TRUE(fn != NULL) << dlerror(); 197 fn2 = reinterpret_cast<fn_t>(dlsym(RTLD_DEFAULT, "dlopen_test_get_answer2")); 198 ASSERT_TRUE(fn2 != NULL) << dlerror(); 199 200 ASSERT_EQ(42, fn()); 201 ASSERT_EQ(43, fn2()); 202 dlclose(handle); 203} 204 205// libtest_with_dependency_loop.so -> libtest_with_dependency_loop_a.so -> 206// libtest_with_dependency_loop_b.so -> libtest_with_dependency_loop_c.so -> 207// libtest_with_dependency_loop_a.so 208TEST(dlfcn, dlopen_check_loop) { 209 void* handle = dlopen("libtest_with_dependency_loop.so", RTLD_NOW); 210#if defined(__BIONIC__) 211 ASSERT_TRUE(handle == nullptr); 212 ASSERT_STREQ("dlopen failed: recursive link to \"libtest_with_dependency_loop_a.so\"", dlerror()); 213 // This symbol should never be exposed 214 void* f = dlsym(RTLD_DEFAULT, "dlopen_test_invalid_function"); 215 ASSERT_TRUE(f == nullptr); 216 ASSERT_SUBSTR("undefined symbol: dlopen_test_invalid_function", dlerror()); 217 218 // dlopen second time to make sure that the library wasn't loaded even though dlopen returned null. 219 // This may happen if during cleanup the root library or one of the depended libs were not removed 220 // from soinfo list. 221 handle = dlopen("libtest_with_dependency_loop.so", RTLD_NOW | RTLD_NOLOAD); 222 ASSERT_TRUE(handle == nullptr); 223 ASSERT_STREQ("dlopen failed: library \"libtest_with_dependency_loop.so\" wasn't loaded and RTLD_NOLOAD prevented it", dlerror()); 224#else // glibc allows recursive links 225 ASSERT_TRUE(handle != nullptr); 226 dlclose(handle); 227#endif 228} 229 230TEST(dlfcn, dlopen_failure) { 231 void* self = dlopen("/does/not/exist", RTLD_NOW); 232 ASSERT_TRUE(self == NULL); 233#if defined(__BIONIC__) 234 ASSERT_STREQ("dlopen failed: library \"/does/not/exist\" not found", dlerror()); 235#else 236 ASSERT_STREQ("/does/not/exist: cannot open shared object file: No such file or directory", dlerror()); 237#endif 238} 239 240static void* ConcurrentDlErrorFn(void*) { 241 dlopen("/child/thread", RTLD_NOW); 242 return reinterpret_cast<void*>(strdup(dlerror())); 243} 244 245TEST(dlfcn, dlerror_concurrent) { 246 dlopen("/main/thread", RTLD_NOW); 247 const char* main_thread_error = dlerror(); 248 ASSERT_SUBSTR("/main/thread", main_thread_error); 249 250 pthread_t t; 251 ASSERT_EQ(0, pthread_create(&t, NULL, ConcurrentDlErrorFn, NULL)); 252 void* result; 253 ASSERT_EQ(0, pthread_join(t, &result)); 254 char* child_thread_error = static_cast<char*>(result); 255 ASSERT_SUBSTR("/child/thread", child_thread_error); 256 free(child_thread_error); 257 258 ASSERT_SUBSTR("/main/thread", main_thread_error); 259} 260 261TEST(dlfcn, dlsym_failures) { 262 dlerror(); // Clear any pending errors. 263 void* self = dlopen(NULL, RTLD_NOW); 264 ASSERT_TRUE(self != NULL); 265 ASSERT_TRUE(dlerror() == NULL); 266 267 void* sym; 268 269#if defined(__BIONIC__) && !defined(__LP64__) 270 // RTLD_DEFAULT in lp32 bionic is not (void*)0 271 // so it can be distinguished from the NULL handle. 272 sym = dlsym(NULL, "test"); 273 ASSERT_TRUE(sym == NULL); 274 ASSERT_SUBSTR("dlsym library handle is null", dlerror()); 275#endif 276 277 // NULL symbol name. 278#if defined(__BIONIC__) 279 // glibc marks this parameter non-null and SEGVs if you cheat. 280 sym = dlsym(self, NULL); 281 ASSERT_TRUE(sym == NULL); 282 ASSERT_SUBSTR("", dlerror()); 283#endif 284 285 // Symbol that doesn't exist. 286 sym = dlsym(self, "ThisSymbolDoesNotExist"); 287 ASSERT_TRUE(sym == NULL); 288 ASSERT_SUBSTR("undefined symbol: ThisSymbolDoesNotExist", dlerror()); 289 290 ASSERT_EQ(0, dlclose(self)); 291} 292 293TEST(dlfcn, dladdr) { 294 dlerror(); // Clear any pending errors. 295 void* self = dlopen(NULL, RTLD_NOW); 296 ASSERT_TRUE(self != NULL); 297 ASSERT_TRUE(dlerror() == NULL); 298 299 void* sym = dlsym(self, "DlSymTestFunction"); 300 ASSERT_TRUE(sym != NULL); 301 302 // Deliberately ask dladdr for an address inside a symbol, rather than the symbol base address. 303 void* addr = reinterpret_cast<void*>(reinterpret_cast<uintptr_t>(sym) + 2); 304 305 Dl_info info; 306 int rc = dladdr(addr, &info); 307 ASSERT_NE(rc, 0); // Zero on error, non-zero on success. 308 309 // Get the name of this executable. 310 char executable_path[PATH_MAX]; 311 rc = readlink("/proc/self/exe", executable_path, sizeof(executable_path)); 312 ASSERT_NE(rc, -1); 313 executable_path[rc] = '\0'; 314 std::string executable_name(basename(executable_path)); 315 316 // The filename should be that of this executable. 317 // Note that we don't know whether or not we have the full path, so we want an "ends_with" test. 318 std::string dli_fname(info.dli_fname); 319 dli_fname = basename(&dli_fname[0]); 320 ASSERT_EQ(dli_fname, executable_name); 321 322 // The symbol name should be the symbol we looked up. 323 ASSERT_STREQ(info.dli_sname, "DlSymTestFunction"); 324 325 // The address should be the exact address of the symbol. 326 ASSERT_EQ(info.dli_saddr, sym); 327 328 // Look in /proc/pid/maps to find out what address we were loaded at. 329 // TODO: factor /proc/pid/maps parsing out into a class and reuse all over bionic. 330 void* base_address = NULL; 331 char line[BUFSIZ]; 332 FILE* fp = fopen("/proc/self/maps", "r"); 333 ASSERT_TRUE(fp != NULL); 334 while (fgets(line, sizeof(line), fp) != NULL) { 335 uintptr_t start = strtoul(line, 0, 16); 336 line[strlen(line) - 1] = '\0'; // Chomp the '\n'. 337 char* path = strchr(line, '/'); 338 if (path != NULL && strcmp(executable_path, path) == 0) { 339 base_address = reinterpret_cast<void*>(start); 340 break; 341 } 342 } 343 fclose(fp); 344 345 // The base address should be the address we were loaded at. 346 ASSERT_EQ(info.dli_fbase, base_address); 347 348 ASSERT_EQ(0, dlclose(self)); 349} 350 351TEST(dlfcn, dladdr_invalid) { 352 Dl_info info; 353 354 dlerror(); // Clear any pending errors. 355 356 // No symbol corresponding to NULL. 357 ASSERT_EQ(dladdr(NULL, &info), 0); // Zero on error, non-zero on success. 358 ASSERT_TRUE(dlerror() == NULL); // dladdr(3) doesn't set dlerror(3). 359 360 // No symbol corresponding to a stack address. 361 ASSERT_EQ(dladdr(&info, &info), 0); // Zero on error, non-zero on success. 362 ASSERT_TRUE(dlerror() == NULL); // dladdr(3) doesn't set dlerror(3). 363} 364 365// Our dynamic linker doesn't support GNU hash tables. 366#if defined(__BIONIC__) 367// GNU-style ELF hash tables are incompatible with the MIPS ABI. 368// MIPS requires .dynsym to be sorted to match the GOT but GNU-style requires sorting by hash code. 369#if !defined(__mips__) 370TEST(dlfcn, dlopen_library_with_only_gnu_hash) { 371 dlerror(); // Clear any pending errors. 372 void* handle = dlopen("no-elf-hash-table-library.so", RTLD_NOW); 373 ASSERT_TRUE(handle == NULL); 374 ASSERT_STREQ("dlopen failed: empty/missing DT_HASH in \"no-elf-hash-table-library.so\" (built with --hash-style=gnu?)", dlerror()); 375} 376#endif 377#endif 378 379TEST(dlfcn, dlopen_bad_flags) { 380 dlerror(); // Clear any pending errors. 381 void* handle; 382 383#if defined(__GLIBC__) 384 // glibc was smart enough not to define RTLD_NOW as 0, so it can detect missing flags. 385 handle = dlopen(NULL, 0); 386 ASSERT_TRUE(handle == NULL); 387 ASSERT_SUBSTR("invalid", dlerror()); 388#endif 389 390 handle = dlopen(NULL, 0xffffffff); 391 ASSERT_TRUE(handle == NULL); 392 ASSERT_SUBSTR("invalid", dlerror()); 393 394 // glibc actually allows you to choose both RTLD_NOW and RTLD_LAZY at the same time, and so do we. 395 handle = dlopen(NULL, RTLD_NOW|RTLD_LAZY); 396 ASSERT_TRUE(handle != NULL); 397 ASSERT_SUBSTR(NULL, dlerror()); 398} 399 400TEST(dlfcn, rtld_default_unknown_symbol) { 401 void* addr = dlsym(RTLD_DEFAULT, "ANY_UNKNOWN_SYMBOL_NAME"); 402 ASSERT_TRUE(addr == NULL); 403} 404 405TEST(dlfcn, rtld_default_known_symbol) { 406 void* addr = dlsym(RTLD_DEFAULT, "fopen"); 407 ASSERT_TRUE(addr != NULL); 408} 409 410TEST(dlfcn, rtld_next_unknown_symbol) { 411 void* addr = dlsym(RTLD_NEXT, "ANY_UNKNOWN_SYMBOL_NAME"); 412 ASSERT_TRUE(addr == NULL); 413} 414 415TEST(dlfcn, rtld_next_known_symbol) { 416 void* addr = dlsym(RTLD_NEXT, "fopen"); 417 ASSERT_TRUE(addr != NULL); 418} 419 420TEST(dlfcn, dlsym_weak_func) { 421 dlerror(); 422 void* handle = dlopen("libtest_dlsym_weak_func.so",RTLD_NOW); 423 ASSERT_TRUE(handle != NULL); 424 425 int (*weak_func)(); 426 weak_func = reinterpret_cast<int (*)()>(dlsym(handle, "weak_func")); 427 ASSERT_TRUE(weak_func != NULL) << "dlerror: " << dlerror(); 428 EXPECT_EQ(42, weak_func()); 429 dlclose(handle); 430} 431 432TEST(dlfcn, dlopen_symlink) { 433 void* handle1 = dlopen("libdlext_test.so", RTLD_NOW); 434 void* handle2 = dlopen("libdlext_test_v2.so", RTLD_NOW); 435 ASSERT_TRUE(handle1 != NULL); 436 ASSERT_TRUE(handle2 != NULL); 437 ASSERT_EQ(handle1, handle2); 438 dlclose(handle1); 439 dlclose(handle2); 440} 441