DynamicLoader.cpp 33 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834
  1. /*
  2. * Copyright (c) 2019-2020, Andrew Kaster <akaster@serenityos.org>
  3. * Copyright (c) 2020, Itamar S. <itamar8910@gmail.com>
  4. * Copyright (c) 2021, Andreas Kling <kling@serenityos.org>
  5. * Copyright (c) 2022-2023, Daniel Bertalan <dani@danielbertalan.dev>
  6. *
  7. * SPDX-License-Identifier: BSD-2-Clause
  8. */
  9. #include <AK/Debug.h>
  10. #include <AK/Optional.h>
  11. #include <AK/QuickSort.h>
  12. #include <AK/StringBuilder.h>
  13. #include <LibELF/DynamicLinker.h>
  14. #include <LibELF/DynamicLoader.h>
  15. #include <LibELF/Hashes.h>
  16. #include <LibELF/Validation.h>
  17. #include <assert.h>
  18. #include <bits/dlfcn_integration.h>
  19. #include <dlfcn.h>
  20. #include <errno.h>
  21. #include <stdio.h>
  22. #include <stdlib.h>
  23. #include <string.h>
  24. #include <sys/mman.h>
  25. #include <sys/stat.h>
  26. #include <unistd.h>
  27. #ifndef AK_OS_SERENITY
  28. static void* mmap_with_name(void* addr, size_t length, int prot, int flags, int fd, off_t offset, char const*)
  29. {
  30. return mmap(addr, length, prot, flags, fd, offset);
  31. }
  32. # define MAP_RANDOMIZED 0
  33. #endif
  34. #if ARCH(AARCH64)
  35. # define HAS_TLSDESC_SUPPORT
  36. extern "C" {
  37. void* __tlsdesc_static(void*);
  38. }
  39. #endif
  40. namespace ELF {
  41. Result<NonnullRefPtr<DynamicLoader>, DlErrorMessage> DynamicLoader::try_create(int fd, DeprecatedString filepath)
  42. {
  43. VERIFY(filepath.starts_with('/'));
  44. struct stat stat;
  45. if (fstat(fd, &stat) < 0) {
  46. return DlErrorMessage { "DynamicLoader::try_create fstat" };
  47. }
  48. VERIFY(stat.st_size >= 0);
  49. auto size = static_cast<size_t>(stat.st_size);
  50. if (size < sizeof(ElfW(Ehdr)))
  51. return DlErrorMessage { DeprecatedString::formatted("File {} has invalid ELF header", filepath) };
  52. DeprecatedString file_mmap_name = DeprecatedString::formatted("ELF_DYN: {}", filepath);
  53. auto* data = mmap_with_name(nullptr, size, PROT_READ, MAP_SHARED, fd, 0, file_mmap_name.characters());
  54. if (data == MAP_FAILED) {
  55. return DlErrorMessage { "DynamicLoader::try_create mmap" };
  56. }
  57. auto loader = adopt_ref(*new DynamicLoader(fd, move(filepath), data, size));
  58. if (!loader->is_valid())
  59. return DlErrorMessage { "ELF image validation failed" };
  60. return loader;
  61. }
  62. DynamicLoader::DynamicLoader(int fd, DeprecatedString filepath, void* data, size_t size)
  63. : m_filepath(move(filepath))
  64. , m_file_size(size)
  65. , m_image_fd(fd)
  66. , m_file_data(data)
  67. {
  68. m_elf_image = adopt_own(*new ELF::Image((u8*)m_file_data, m_file_size));
  69. m_valid = validate();
  70. if (m_valid)
  71. find_tls_size_and_alignment();
  72. else
  73. dbgln("Image validation failed for file {}", m_filepath);
  74. }
  75. DynamicLoader::~DynamicLoader()
  76. {
  77. if (munmap(m_file_data, m_file_size) < 0) {
  78. perror("munmap");
  79. VERIFY_NOT_REACHED();
  80. }
  81. if (close(m_image_fd) < 0) {
  82. perror("close");
  83. VERIFY_NOT_REACHED();
  84. }
  85. }
  86. DynamicObject const& DynamicLoader::dynamic_object() const
  87. {
  88. if (!m_cached_dynamic_object) {
  89. VirtualAddress dynamic_section_address;
  90. image().for_each_program_header([&dynamic_section_address](auto program_header) {
  91. if (program_header.type() == PT_DYNAMIC) {
  92. dynamic_section_address = VirtualAddress(program_header.raw_data());
  93. }
  94. });
  95. VERIFY(!dynamic_section_address.is_null());
  96. m_cached_dynamic_object = ELF::DynamicObject::create(m_filepath, VirtualAddress(image().base_address()), dynamic_section_address);
  97. }
  98. return *m_cached_dynamic_object;
  99. }
  100. void DynamicLoader::find_tls_size_and_alignment()
  101. {
  102. image().for_each_program_header([this](auto program_header) {
  103. if (program_header.type() == PT_TLS) {
  104. m_tls_size_of_current_object = program_header.size_in_memory();
  105. auto alignment = program_header.alignment();
  106. VERIFY(!alignment || is_power_of_two(alignment));
  107. m_tls_alignment_of_current_object = alignment > 1 ? alignment : 0; // No need to reserve extra space for single byte alignment
  108. return IterationDecision::Break;
  109. }
  110. return IterationDecision::Continue;
  111. });
  112. }
  113. bool DynamicLoader::validate()
  114. {
  115. if (!image().is_valid())
  116. return false;
  117. auto* elf_header = (ElfW(Ehdr)*)m_file_data;
  118. if (!validate_elf_header(*elf_header, m_file_size))
  119. return false;
  120. auto result_or_error = validate_program_headers(*elf_header, m_file_size, { m_file_data, m_file_size });
  121. if (result_or_error.is_error() || !result_or_error.value())
  122. return false;
  123. return true;
  124. }
  125. RefPtr<DynamicObject> DynamicLoader::map()
  126. {
  127. if (m_dynamic_object) {
  128. // Already mapped.
  129. return nullptr;
  130. }
  131. if (!m_valid) {
  132. dbgln("DynamicLoader::map failed: image is invalid");
  133. return nullptr;
  134. }
  135. load_program_headers();
  136. VERIFY(!m_base_address.is_null());
  137. m_dynamic_object = DynamicObject::create(m_filepath, m_base_address, m_dynamic_section_address);
  138. m_dynamic_object->set_tls_offset(m_tls_offset);
  139. m_dynamic_object->set_tls_size(m_tls_size_of_current_object);
  140. return m_dynamic_object;
  141. }
  142. bool DynamicLoader::link(unsigned flags)
  143. {
  144. return load_stage_2(flags);
  145. }
  146. bool DynamicLoader::load_stage_2(unsigned flags)
  147. {
  148. VERIFY(flags & RTLD_GLOBAL);
  149. if (m_dynamic_object->has_text_relocations()) {
  150. dbgln("\033[33mWarning:\033[0m Dynamic object {} has text relocations", m_dynamic_object->filepath());
  151. for (auto& text_segment : m_text_segments) {
  152. VERIFY(text_segment.address().get() != 0);
  153. #ifndef AK_OS_MACOS
  154. // Remap this text region as private.
  155. if (mremap(text_segment.address().as_ptr(), text_segment.size(), text_segment.size(), MAP_PRIVATE) == MAP_FAILED) {
  156. perror("mremap .text: MAP_PRIVATE");
  157. return false;
  158. }
  159. #endif
  160. if (0 > mprotect(text_segment.address().as_ptr(), text_segment.size(), PROT_READ | PROT_WRITE)) {
  161. perror("mprotect .text: PROT_READ | PROT_WRITE"); // FIXME: dlerror?
  162. return false;
  163. }
  164. }
  165. } else {
  166. // .text needs to be executable while we process relocations because it might contain IFUNC resolvers.
  167. // We don't allow IFUNC resolvers in objects with textrels.
  168. for (auto& text_segment : m_text_segments) {
  169. if (mprotect(text_segment.address().as_ptr(), text_segment.size(), PROT_READ | PROT_EXEC) < 0) {
  170. perror("mprotect .text: PROT_READ | PROT_EXEC");
  171. return false;
  172. }
  173. }
  174. }
  175. do_main_relocations();
  176. return true;
  177. }
  178. void DynamicLoader::do_main_relocations()
  179. {
  180. do_relr_relocations();
  181. Optional<DynamicLoader::CachedLookupResult> cached_result;
  182. m_dynamic_object->relocation_section().for_each_relocation([&](DynamicObject::Relocation const& relocation) {
  183. switch (do_direct_relocation(relocation, cached_result, ShouldInitializeWeak::No, ShouldCallIfuncResolver::No)) {
  184. case RelocationResult::Failed:
  185. dbgln("Loader.so: {} unresolved symbol '{}'", m_filepath, relocation.symbol().name());
  186. VERIFY_NOT_REACHED();
  187. case RelocationResult::ResolveLater:
  188. m_unresolved_relocations.append(relocation);
  189. break;
  190. case RelocationResult::CallIfuncResolver:
  191. m_direct_ifunc_relocations.append(relocation);
  192. break;
  193. case RelocationResult::Success:
  194. break;
  195. }
  196. });
  197. // If the object is position-independent, the pointer to the PLT trampoline needs to be relocated.
  198. auto fixup_trampoline_pointer = [&](DynamicObject::Relocation const& relocation) {
  199. VERIFY(relocation.type() == R_X86_64_JUMP_SLOT || relocation.type() == R_AARCH64_JUMP_SLOT);
  200. if (image().is_dynamic())
  201. *((FlatPtr*)relocation.address().as_ptr()) += m_dynamic_object->base_address().get();
  202. };
  203. // FIXME: Or LD_BIND_NOW is set?
  204. if (m_dynamic_object->must_bind_now()) {
  205. m_dynamic_object->plt_relocation_section().for_each_relocation([&](DynamicObject::Relocation const& relocation) {
  206. if (relocation.type() == R_X86_64_IRELATIVE || relocation.type() == R_AARCH64_IRELATIVE) {
  207. m_direct_ifunc_relocations.append(relocation);
  208. return;
  209. }
  210. switch (do_plt_relocation(relocation, ShouldCallIfuncResolver::No)) {
  211. case RelocationResult::Failed:
  212. dbgln("Loader.so: {} unresolved symbol '{}'", m_filepath, relocation.symbol().name());
  213. VERIFY_NOT_REACHED();
  214. case RelocationResult::ResolveLater:
  215. VERIFY_NOT_REACHED();
  216. case RelocationResult::CallIfuncResolver:
  217. m_plt_ifunc_relocations.append(relocation);
  218. // Set up lazy binding, in case an IFUNC resolver calls another IFUNC that hasn't been resolved yet.
  219. fixup_trampoline_pointer(relocation);
  220. break;
  221. case RelocationResult::Success:
  222. break;
  223. }
  224. });
  225. } else {
  226. m_dynamic_object->plt_relocation_section().for_each_relocation([&](DynamicObject::Relocation const& relocation) {
  227. if (relocation.type() == R_X86_64_IRELATIVE || relocation.type() == R_AARCH64_IRELATIVE) {
  228. m_direct_ifunc_relocations.append(relocation);
  229. return;
  230. }
  231. fixup_trampoline_pointer(relocation);
  232. });
  233. }
  234. }
  235. Result<NonnullRefPtr<DynamicObject>, DlErrorMessage> DynamicLoader::load_stage_3(unsigned flags)
  236. {
  237. do_lazy_relocations();
  238. if (flags & RTLD_LAZY) {
  239. if (m_dynamic_object->has_plt())
  240. setup_plt_trampoline();
  241. }
  242. // IFUNC resolvers can only be called after the PLT has been populated,
  243. // as they may call arbitrary functions via the PLT.
  244. for (auto const& relocation : m_plt_ifunc_relocations) {
  245. auto result = do_plt_relocation(relocation, ShouldCallIfuncResolver::Yes);
  246. VERIFY(result == RelocationResult::Success);
  247. }
  248. Optional<DynamicLoader::CachedLookupResult> cached_result;
  249. for (auto const& relocation : m_direct_ifunc_relocations) {
  250. auto result = do_direct_relocation(relocation, cached_result, ShouldInitializeWeak::No, ShouldCallIfuncResolver::Yes);
  251. VERIFY(result == RelocationResult::Success);
  252. }
  253. if (m_dynamic_object->has_text_relocations()) {
  254. // If we don't have textrels, .text has already been made executable by this point in load_stage_2.
  255. for (auto& text_segment : m_text_segments) {
  256. if (mprotect(text_segment.address().as_ptr(), text_segment.size(), PROT_READ | PROT_EXEC) < 0) {
  257. return DlErrorMessage { DeprecatedString::formatted("mprotect .text: PROT_READ | PROT_EXEC: {}", strerror(errno)) };
  258. }
  259. }
  260. }
  261. if (m_relro_segment_size) {
  262. if (mprotect(m_relro_segment_address.as_ptr(), m_relro_segment_size, PROT_READ) < 0) {
  263. return DlErrorMessage { DeprecatedString::formatted("mprotect .relro: PROT_READ: {}", strerror(errno)) };
  264. }
  265. #ifdef AK_OS_SERENITY
  266. if (set_mmap_name(m_relro_segment_address.as_ptr(), m_relro_segment_size, DeprecatedString::formatted("{}: .relro", m_filepath).characters()) < 0) {
  267. return DlErrorMessage { DeprecatedString::formatted("set_mmap_name .relro: {}", strerror(errno)) };
  268. }
  269. #endif
  270. }
  271. m_fully_relocated = true;
  272. return NonnullRefPtr<DynamicObject> { *m_dynamic_object };
  273. }
  274. void DynamicLoader::load_stage_4()
  275. {
  276. call_object_init_functions();
  277. m_fully_initialized = true;
  278. }
  279. void DynamicLoader::do_lazy_relocations()
  280. {
  281. Optional<DynamicLoader::CachedLookupResult> cached_result;
  282. for (auto const& relocation : m_unresolved_relocations) {
  283. if (auto res = do_direct_relocation(relocation, cached_result, ShouldInitializeWeak::Yes, ShouldCallIfuncResolver::Yes); res != RelocationResult::Success) {
  284. dbgln("Loader.so: {} unresolved symbol '{}'", m_filepath, relocation.symbol().name());
  285. VERIFY_NOT_REACHED();
  286. }
  287. }
  288. }
  289. void DynamicLoader::load_program_headers()
  290. {
  291. FlatPtr ph_load_start = SIZE_MAX;
  292. FlatPtr ph_load_end = 0;
  293. // We walk the program header list once to find the requested address ranges of the program.
  294. // We don't fill in the list of regions yet to keep malloc memory blocks from interfering with our reservation.
  295. image().for_each_program_header([&](Image::ProgramHeader const& program_header) {
  296. if (program_header.type() != PT_LOAD)
  297. return;
  298. FlatPtr section_start = program_header.vaddr().get();
  299. FlatPtr section_end = section_start + program_header.size_in_memory();
  300. if (ph_load_start > section_start)
  301. ph_load_start = section_start;
  302. if (ph_load_end < section_end)
  303. ph_load_end = section_end;
  304. });
  305. void* requested_load_address = image().is_dynamic() ? nullptr : reinterpret_cast<void*>(ph_load_start);
  306. int reservation_mmap_flags = MAP_ANON | MAP_PRIVATE | MAP_NORESERVE;
  307. if (image().is_dynamic())
  308. reservation_mmap_flags |= MAP_RANDOMIZED;
  309. #ifdef MAP_FIXED_NOREPLACE
  310. else
  311. reservation_mmap_flags |= MAP_FIXED_NOREPLACE;
  312. #endif
  313. // First, we make a dummy reservation mapping, in order to allocate enough VM
  314. // to hold all regions contiguously in the address space.
  315. FlatPtr ph_load_base = ph_load_start & ~(FlatPtr)0xfffu;
  316. ph_load_end = round_up_to_power_of_two(ph_load_end, PAGE_SIZE);
  317. size_t total_mapping_size = ph_load_end - ph_load_base;
  318. // Before we make our reservation, unmap our existing mapped ELF image that we used for reading header information.
  319. // This leaves our pointers dangling momentarily, but it reduces the chance that we will conflict with ourselves.
  320. if (munmap(m_file_data, m_file_size) < 0) {
  321. perror("munmap old mapping");
  322. VERIFY_NOT_REACHED();
  323. }
  324. m_elf_image = nullptr;
  325. m_file_data = nullptr;
  326. auto* reservation = mmap(requested_load_address, total_mapping_size, PROT_NONE, reservation_mmap_flags, 0, 0);
  327. if (reservation == MAP_FAILED) {
  328. perror("mmap reservation");
  329. VERIFY_NOT_REACHED();
  330. }
  331. // Now that we can't accidentally block our requested space, re-map our ELF image.
  332. DeprecatedString file_mmap_name = DeprecatedString::formatted("ELF_DYN: {}", m_filepath);
  333. auto* data = mmap_with_name(nullptr, m_file_size, PROT_READ, MAP_SHARED, m_image_fd, 0, file_mmap_name.characters());
  334. if (data == MAP_FAILED) {
  335. perror("mmap new mapping");
  336. VERIFY_NOT_REACHED();
  337. }
  338. m_file_data = data;
  339. m_elf_image = adopt_own(*new ELF::Image((u8*)m_file_data, m_file_size));
  340. VERIFY(requested_load_address == nullptr || reservation == requested_load_address);
  341. m_base_address = VirtualAddress { reservation };
  342. // Then we unmap the reservation.
  343. if (munmap(reservation, total_mapping_size) < 0) {
  344. perror("munmap reservation");
  345. VERIFY_NOT_REACHED();
  346. }
  347. // Most binaries have four loadable regions, three of which are mapped
  348. // (symbol tables/relocation information, executable instructions, read-only data)
  349. // and one of which is copied (modifiable data).
  350. // These are allocated in-line to cut down on the malloc calls.
  351. Vector<ProgramHeaderRegion, 3> map_regions;
  352. Vector<ProgramHeaderRegion, 1> copy_regions;
  353. Optional<ProgramHeaderRegion> relro_region;
  354. VirtualAddress dynamic_region_desired_vaddr;
  355. image().for_each_program_header([&](Image::ProgramHeader const& program_header) {
  356. ProgramHeaderRegion region {};
  357. region.set_program_header(program_header.raw_header());
  358. if (region.is_tls_template()) {
  359. // Skip, this is handled in DynamicLoader::copy_initial_tls_data_into.
  360. } else if (region.is_load()) {
  361. if (region.size_in_memory() == 0)
  362. return;
  363. if (region.is_writable()) {
  364. copy_regions.append(region);
  365. } else {
  366. map_regions.append(region);
  367. }
  368. } else if (region.is_dynamic()) {
  369. dynamic_region_desired_vaddr = region.desired_load_address();
  370. } else if (region.is_relro()) {
  371. VERIFY(!relro_region.has_value());
  372. relro_region = region;
  373. }
  374. });
  375. VERIFY(!map_regions.is_empty() || !copy_regions.is_empty());
  376. auto compare_load_address = [](ProgramHeaderRegion& a, ProgramHeaderRegion& b) {
  377. return a.desired_load_address().as_ptr() < b.desired_load_address().as_ptr();
  378. };
  379. quick_sort(map_regions, compare_load_address);
  380. quick_sort(copy_regions, compare_load_address);
  381. // Process regions in order: .text, .data, .tls
  382. for (auto& region : map_regions) {
  383. FlatPtr ph_desired_base = region.desired_load_address().get();
  384. FlatPtr ph_base = region.desired_load_address().page_base().get();
  385. FlatPtr ph_end = ph_base + round_up_to_power_of_two(region.size_in_memory() + region.desired_load_address().get() - ph_base, PAGE_SIZE);
  386. StringBuilder builder;
  387. builder.append(m_filepath);
  388. if (region.is_executable())
  389. builder.append(": .text"sv);
  390. else
  391. builder.append(": .rodata"sv);
  392. // Now we can map the text segment at the reserved address.
  393. auto* segment_base = (u8*)mmap_with_name(
  394. (u8*)reservation + ph_base - ph_load_base,
  395. ph_desired_base - ph_base + region.size_in_image(),
  396. PROT_READ,
  397. MAP_FILE | MAP_SHARED | MAP_FIXED,
  398. m_image_fd,
  399. VirtualAddress { region.offset() }.page_base().get(),
  400. builder.to_deprecated_string().characters());
  401. if (segment_base == MAP_FAILED) {
  402. perror("mmap non-writable");
  403. VERIFY_NOT_REACHED();
  404. }
  405. if (region.is_executable())
  406. m_text_segments.append({ VirtualAddress { segment_base }, ph_end - ph_base });
  407. }
  408. VERIFY(requested_load_address == nullptr || requested_load_address == reservation);
  409. if (relro_region.has_value()) {
  410. m_relro_segment_size = relro_region->size_in_memory();
  411. m_relro_segment_address = VirtualAddress { (u8*)reservation + relro_region->desired_load_address().get() - ph_load_base };
  412. }
  413. if (image().is_dynamic())
  414. m_dynamic_section_address = VirtualAddress { (u8*)reservation + dynamic_region_desired_vaddr.get() - ph_load_base };
  415. else
  416. m_dynamic_section_address = dynamic_region_desired_vaddr;
  417. for (auto& region : copy_regions) {
  418. FlatPtr ph_data_base = region.desired_load_address().page_base().get();
  419. FlatPtr ph_data_end = ph_data_base + round_up_to_power_of_two(region.size_in_memory() + region.desired_load_address().get() - ph_data_base, PAGE_SIZE);
  420. auto* data_segment_address = (u8*)reservation + ph_data_base - ph_load_base;
  421. size_t data_segment_size = ph_data_end - ph_data_base;
  422. // Finally, we make an anonymous mapping for the data segment. Contents are then copied from the file.
  423. auto* data_segment = (u8*)mmap_with_name(
  424. data_segment_address,
  425. data_segment_size,
  426. PROT_READ | PROT_WRITE,
  427. MAP_ANONYMOUS | MAP_PRIVATE | MAP_FIXED,
  428. 0,
  429. 0,
  430. DeprecatedString::formatted("{}: .data", m_filepath).characters());
  431. if (MAP_FAILED == data_segment) {
  432. perror("mmap writable");
  433. VERIFY_NOT_REACHED();
  434. }
  435. VirtualAddress data_segment_start;
  436. if (image().is_dynamic())
  437. data_segment_start = VirtualAddress { (u8*)reservation + region.desired_load_address().get() };
  438. else
  439. data_segment_start = region.desired_load_address();
  440. VERIFY(data_segment_start.as_ptr() + region.size_in_memory() <= data_segment + data_segment_size);
  441. memcpy(data_segment_start.as_ptr(), (u8*)m_file_data + region.offset(), region.size_in_image());
  442. }
  443. }
  444. DynamicLoader::RelocationResult DynamicLoader::do_direct_relocation(DynamicObject::Relocation const& relocation,
  445. Optional<DynamicLoader::CachedLookupResult>& cached_result,
  446. ShouldInitializeWeak should_initialize_weak,
  447. ShouldCallIfuncResolver should_call_ifunc_resolver)
  448. {
  449. FlatPtr* patch_ptr = nullptr;
  450. if (is_dynamic())
  451. patch_ptr = (FlatPtr*)(m_dynamic_object->base_address().as_ptr() + relocation.offset());
  452. else
  453. patch_ptr = (FlatPtr*)(FlatPtr)relocation.offset();
  454. auto call_ifunc_resolver = [](VirtualAddress address) {
  455. return VirtualAddress { reinterpret_cast<DynamicObject::IfuncResolver>(address.get())() };
  456. };
  457. auto lookup_symbol = [&](DynamicObject::Symbol const& symbol) {
  458. // The static linker sorts relocations by the referenced symbol. Especially when vtables
  459. // in large inheritance hierarchies are involved, there might be tens of references to
  460. // the same symbol. We can avoid redundant lookups by keeping track of the previous result.
  461. if (!cached_result.has_value() || !cached_result.value().symbol.definitely_equals(symbol))
  462. cached_result = DynamicLoader::CachedLookupResult { symbol, DynamicLoader::lookup_symbol(symbol) };
  463. return cached_result.value().result;
  464. };
  465. struct ResolvedTLSSymbol {
  466. DynamicObject const& dynamic_object;
  467. FlatPtr value;
  468. };
  469. auto resolve_tls_symbol = [&](DynamicObject::Relocation const& relocation) -> Optional<ResolvedTLSSymbol> {
  470. if (relocation.symbol_index() == 0)
  471. return ResolvedTLSSymbol { relocation.dynamic_object(), 0 };
  472. auto res = lookup_symbol(relocation.symbol());
  473. if (!res.has_value())
  474. return {};
  475. VERIFY(relocation.symbol().type() != STT_GNU_IFUNC);
  476. VERIFY(res.value().dynamic_object != nullptr);
  477. return ResolvedTLSSymbol { *res.value().dynamic_object, res.value().value };
  478. };
  479. switch (relocation.type()) {
  480. case R_X86_64_NONE:
  481. // Apparently most loaders will just skip these?
  482. // Seems if the 'link editor' generates one something is funky with your code
  483. break;
  484. case R_AARCH64_ABS64:
  485. case R_X86_64_64: {
  486. auto symbol = relocation.symbol();
  487. auto res = lookup_symbol(symbol);
  488. if (!res.has_value()) {
  489. if (symbol.bind() == STB_WEAK)
  490. return RelocationResult::ResolveLater;
  491. dbgln("ERROR: symbol not found: {}.", symbol.name());
  492. return RelocationResult::Failed;
  493. }
  494. if (res.value().type == STT_GNU_IFUNC && should_call_ifunc_resolver == ShouldCallIfuncResolver::No)
  495. return RelocationResult::CallIfuncResolver;
  496. auto symbol_address = res.value().address;
  497. if (relocation.addend_used())
  498. *patch_ptr = symbol_address.get() + relocation.addend();
  499. else
  500. *patch_ptr += symbol_address.get();
  501. if (res.value().type == STT_GNU_IFUNC)
  502. *patch_ptr = call_ifunc_resolver(VirtualAddress { *patch_ptr }).get();
  503. break;
  504. }
  505. case R_AARCH64_GLOB_DAT:
  506. case R_X86_64_GLOB_DAT: {
  507. auto symbol = relocation.symbol();
  508. auto res = lookup_symbol(symbol);
  509. VirtualAddress symbol_location;
  510. if (!res.has_value()) {
  511. if (symbol.bind() == STB_WEAK) {
  512. if (should_initialize_weak == ShouldInitializeWeak::No)
  513. return RelocationResult::ResolveLater;
  514. } else {
  515. // Symbol not found
  516. return RelocationResult::Failed;
  517. }
  518. symbol_location = VirtualAddress { (FlatPtr)0 };
  519. } else {
  520. symbol_location = res.value().address;
  521. if (res.value().type == STT_GNU_IFUNC) {
  522. if (should_call_ifunc_resolver == ShouldCallIfuncResolver::No)
  523. return RelocationResult::CallIfuncResolver;
  524. if (res.value().dynamic_object != nullptr && res.value().dynamic_object->has_text_relocations()) {
  525. dbgln("\033[31mError:\033[0m Refusing to call IFUNC resolver defined in an object with text relocations.");
  526. return RelocationResult::Failed;
  527. }
  528. symbol_location = call_ifunc_resolver(symbol_location);
  529. }
  530. }
  531. VERIFY(symbol_location != m_dynamic_object->base_address());
  532. *patch_ptr = symbol_location.get();
  533. break;
  534. }
  535. case R_AARCH64_RELATIVE:
  536. case R_X86_64_RELATIVE: {
  537. if (!image().is_dynamic())
  538. break;
  539. // FIXME: According to the spec, R_386_relative ones must be done first.
  540. // We could explicitly do them first using m_number_of_relocations from DT_RELCOUNT
  541. // However, our compiler is nice enough to put them at the front of the relocations for us :)
  542. if (relocation.addend_used())
  543. *patch_ptr = m_dynamic_object->base_address().offset(relocation.addend()).get();
  544. else
  545. *patch_ptr += m_dynamic_object->base_address().get();
  546. break;
  547. }
  548. case R_AARCH64_TLS_TPREL:
  549. case R_X86_64_TPOFF64: {
  550. auto maybe_resolution = resolve_tls_symbol(relocation);
  551. if (!maybe_resolution.has_value())
  552. break;
  553. auto [dynamic_object_of_symbol, symbol_value] = maybe_resolution.value();
  554. size_t addend = relocation.addend_used() ? relocation.addend() : *patch_ptr;
  555. *patch_ptr = addend + dynamic_object_of_symbol.tls_offset().value() + symbol_value;
  556. // At offset 0 there's the thread's ThreadSpecificData structure, we don't want to collide with it.
  557. VERIFY(static_cast<ssize_t>(*patch_ptr) < 0);
  558. break;
  559. }
  560. case R_X86_64_DTPMOD64: {
  561. auto maybe_resolution = resolve_tls_symbol(relocation);
  562. if (!maybe_resolution.has_value())
  563. break;
  564. // We repurpose the module index to store the TLS block's TP offset. This is fine
  565. // because we currently only support a single static TLS block.
  566. *patch_ptr = maybe_resolution->dynamic_object.tls_offset().value();
  567. break;
  568. }
  569. case R_X86_64_DTPOFF64: {
  570. auto maybe_resolution = resolve_tls_symbol(relocation);
  571. if (!maybe_resolution.has_value())
  572. break;
  573. size_t addend = relocation.addend_used() ? relocation.addend() : *patch_ptr;
  574. *patch_ptr = addend + maybe_resolution->value;
  575. break;
  576. }
  577. #ifdef HAS_TLSDESC_SUPPORT
  578. case R_AARCH64_TLSDESC: {
  579. auto maybe_resolution = resolve_tls_symbol(relocation);
  580. if (!maybe_resolution.has_value())
  581. break;
  582. auto [dynamic_object_of_symbol, symbol_value] = maybe_resolution.value();
  583. size_t addend = relocation.addend_used() ? relocation.addend() : *patch_ptr;
  584. patch_ptr[0] = (FlatPtr)__tlsdesc_static;
  585. patch_ptr[1] = addend + dynamic_object_of_symbol.tls_offset().value() + symbol_value;
  586. break;
  587. }
  588. #endif
  589. case R_AARCH64_IRELATIVE:
  590. case R_X86_64_IRELATIVE: {
  591. if (should_call_ifunc_resolver == ShouldCallIfuncResolver::No)
  592. return RelocationResult::CallIfuncResolver;
  593. VirtualAddress resolver;
  594. if (relocation.addend_used())
  595. resolver = m_dynamic_object->base_address().offset(relocation.addend());
  596. else
  597. resolver = m_dynamic_object->base_address().offset(*patch_ptr);
  598. if (m_dynamic_object->has_text_relocations()) {
  599. dbgln("\033[31mError:\033[0m Refusing to call IFUNC resolver defined in an object with text relocations.");
  600. return RelocationResult::Failed;
  601. }
  602. *patch_ptr = call_ifunc_resolver(resolver).get();
  603. break;
  604. }
  605. case R_AARCH64_JUMP_SLOT:
  606. case R_X86_64_JUMP_SLOT:
  607. VERIFY_NOT_REACHED(); // PLT relocations are handled by do_plt_relocation.
  608. default:
  609. // Raise the alarm! Someone needs to implement this relocation type
  610. dbgln("Found a new exciting relocation type {}", relocation.type());
  611. VERIFY_NOT_REACHED();
  612. }
  613. return RelocationResult::Success;
  614. }
  615. DynamicLoader::RelocationResult DynamicLoader::do_plt_relocation(DynamicObject::Relocation const& relocation, ShouldCallIfuncResolver should_call_ifunc_resolver)
  616. {
  617. VERIFY(relocation.type() == R_X86_64_JUMP_SLOT || relocation.type() == R_AARCH64_JUMP_SLOT);
  618. auto symbol = relocation.symbol();
  619. auto* relocation_address = (FlatPtr*)relocation.address().as_ptr();
  620. VirtualAddress symbol_location {};
  621. if (auto result = lookup_symbol(symbol); result.has_value()) {
  622. auto address = result.value().address;
  623. if (result.value().type == STT_GNU_IFUNC) {
  624. if (should_call_ifunc_resolver == ShouldCallIfuncResolver::No)
  625. return RelocationResult::CallIfuncResolver;
  626. symbol_location = VirtualAddress { reinterpret_cast<DynamicObject::IfuncResolver>(address.get())() };
  627. } else {
  628. symbol_location = address;
  629. }
  630. } else if (symbol.bind() != STB_WEAK) {
  631. return RelocationResult::Failed;
  632. }
  633. dbgln_if(DYNAMIC_LOAD_DEBUG, "DynamicLoader: Jump slot relocation: putting {} ({}) into PLT at {}", symbol.name(), symbol_location, (void*)relocation_address);
  634. *relocation_address = symbol_location.get();
  635. return RelocationResult::Success;
  636. }
  637. void DynamicLoader::do_relr_relocations()
  638. {
  639. auto base_address = m_dynamic_object->base_address().get();
  640. m_dynamic_object->for_each_relr_relocation([base_address](FlatPtr address) {
  641. *(FlatPtr*)address += base_address;
  642. });
  643. }
  644. void DynamicLoader::copy_initial_tls_data_into(ByteBuffer& buffer) const
  645. {
  646. image().for_each_program_header([this, &buffer](ELF::Image::ProgramHeader program_header) {
  647. if (program_header.type() != PT_TLS)
  648. return IterationDecision::Continue;
  649. // Note: The "size in image" is only concerned with initialized data. Uninitialized data (.tbss) is
  650. // only included in the "size in memory" metric, and is expected to not be touched or read from, as
  651. // it is not present in the image and zeroed out in-memory. We will still check that the buffer has
  652. // space for both the initialized and the uninitialized data.
  653. // Note: The m_tls_offset here is (of course) negative.
  654. // TODO: Is the initialized data always in the beginning of the TLS segment, or should we walk the
  655. // sections to figure that out?
  656. size_t tls_start_in_buffer = buffer.size() + m_tls_offset;
  657. VERIFY(program_header.size_in_image() <= program_header.size_in_memory());
  658. VERIFY(program_header.size_in_memory() <= m_tls_size_of_current_object);
  659. VERIFY(tls_start_in_buffer + program_header.size_in_memory() <= buffer.size());
  660. memcpy(buffer.data() + tls_start_in_buffer, static_cast<const u8*>(m_file_data) + program_header.offset(), program_header.size_in_image());
  661. return IterationDecision::Break;
  662. });
  663. }
  664. // Defined in <arch>/plt_trampoline.S
  665. extern "C" void _plt_trampoline(void) __attribute__((visibility("hidden")));
  666. void DynamicLoader::setup_plt_trampoline()
  667. {
  668. VERIFY(m_dynamic_object);
  669. VERIFY(m_dynamic_object->has_plt());
  670. VirtualAddress got_address = m_dynamic_object->plt_got_base_address();
  671. auto* got_ptr = (FlatPtr*)got_address.as_ptr();
  672. got_ptr[1] = (FlatPtr)m_dynamic_object.ptr();
  673. got_ptr[2] = (FlatPtr)&_plt_trampoline;
  674. }
  675. // Called from our ASM routine _plt_trampoline.
  676. extern "C" FlatPtr _fixup_plt_entry(DynamicObject* object, u32 relocation_offset)
  677. {
  678. auto const& relocation = object->plt_relocation_section().relocation_at_offset(relocation_offset);
  679. auto result = DynamicLoader::do_plt_relocation(relocation, ShouldCallIfuncResolver::Yes);
  680. if (result != DynamicLoader::RelocationResult::Success) {
  681. dbgln("Loader.so: {} unresolved symbol '{}'", object->filepath(), relocation.symbol().name());
  682. VERIFY_NOT_REACHED();
  683. }
  684. return *reinterpret_cast<FlatPtr*>(relocation.address().as_ptr());
  685. }
  686. void DynamicLoader::call_object_init_functions()
  687. {
  688. typedef void (*InitFunc)();
  689. if (m_dynamic_object->has_init_section()) {
  690. auto init_function = (InitFunc)(m_dynamic_object->init_section().address().as_ptr());
  691. (init_function)();
  692. }
  693. if (m_dynamic_object->has_init_array_section()) {
  694. auto init_array_section = m_dynamic_object->init_array_section();
  695. InitFunc* init_begin = (InitFunc*)(init_array_section.address().as_ptr());
  696. InitFunc* init_end = init_begin + init_array_section.entry_count();
  697. while (init_begin != init_end) {
  698. // Android sources claim that these can be -1, to be ignored.
  699. // 0 definitely shows up. Apparently 0/-1 are valid? Confusing.
  700. if (!*init_begin || ((FlatPtr)*init_begin == (FlatPtr)-1))
  701. continue;
  702. (*init_begin)();
  703. ++init_begin;
  704. }
  705. }
  706. }
  707. Optional<DynamicObject::SymbolLookupResult> DynamicLoader::lookup_symbol(const ELF::DynamicObject::Symbol& symbol)
  708. {
  709. if (symbol.is_undefined() || symbol.bind() == STB_WEAK)
  710. return DynamicLinker::lookup_global_symbol(symbol.name());
  711. return DynamicObject::SymbolLookupResult { symbol.value(), symbol.size(), symbol.address(), symbol.bind(), symbol.type(), &symbol.object() };
  712. }
  713. } // end namespace ELF