mirror of
https://sourceware.org/git/glibc.git
synced 2024-11-23 17:53:37 +08:00
035c012e32
It turns out the startup code in csu/elf-init.c has a perfect pair of ROP gadgets (see Marco-Gisbert and Ripoll-Ripoll, "return-to-csu: A New Method to Bypass 64-bit Linux ASLR"). These functions are not needed in dynamically-linked binaries because DT_INIT/DT_INIT_ARRAY are already processed by the dynamic linker. However, the dynamic linker skipped the main program for some reason. For maximum backwards compatibility, this is not changed, and instead, the main map is consulted from __libc_start_main if the init function argument is a NULL pointer. For statically linked binaries, the old approach based on linker symbols is still used because there is nothing else available. A new symbol version __libc_start_main@@GLIBC_2.34 is introduced because new binaries running on an old libc would not run their ELF constructors, leading to difficult-to-debug issues.
124 lines
4.2 KiB
C
124 lines
4.2 KiB
C
/* Run initializers for newly loaded objects.
|
|
Copyright (C) 1995-2021 Free Software Foundation, Inc.
|
|
This file is part of the GNU C Library.
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public
|
|
License as published by the Free Software Foundation; either
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
License along with the GNU C Library; if not, see
|
|
<https://www.gnu.org/licenses/>. */
|
|
|
|
#include <assert.h>
|
|
#include <stddef.h>
|
|
#include <ldsodefs.h>
|
|
#include <elf-initfini.h>
|
|
|
|
|
|
static void
|
|
call_init (struct link_map *l, int argc, char **argv, char **env)
|
|
{
|
|
/* If the object has not been relocated, this is a bug. The
|
|
function pointers are invalid in this case. (Executables do not
|
|
need relocation, and neither do proxy objects.) */
|
|
assert (l->l_real->l_relocated || l->l_real->l_type == lt_executable);
|
|
|
|
if (l->l_init_called)
|
|
/* This object is all done. */
|
|
return;
|
|
|
|
/* Avoid handling this constructor again in case we have a circular
|
|
dependency. */
|
|
l->l_init_called = 1;
|
|
|
|
/* Check for object which constructors we do not run here. */
|
|
if (__builtin_expect (l->l_name[0], 'a') == '\0'
|
|
&& l->l_type == lt_executable)
|
|
return;
|
|
|
|
/* Print a debug message if wanted. */
|
|
if (__glibc_unlikely (GLRO(dl_debug_mask) & DL_DEBUG_IMPCALLS))
|
|
_dl_debug_printf ("\ncalling init: %s\n\n",
|
|
DSO_FILENAME (l->l_name));
|
|
|
|
/* Now run the local constructors. There are two forms of them:
|
|
- the one named by DT_INIT
|
|
- the others in the DT_INIT_ARRAY.
|
|
*/
|
|
if (ELF_INITFINI && l->l_info[DT_INIT] != NULL)
|
|
DL_CALL_DT_INIT(l, l->l_addr + l->l_info[DT_INIT]->d_un.d_ptr, argc, argv, env);
|
|
|
|
/* Next see whether there is an array with initialization functions. */
|
|
ElfW(Dyn) *init_array = l->l_info[DT_INIT_ARRAY];
|
|
if (init_array != NULL)
|
|
{
|
|
unsigned int j;
|
|
unsigned int jm;
|
|
ElfW(Addr) *addrs;
|
|
|
|
jm = l->l_info[DT_INIT_ARRAYSZ]->d_un.d_val / sizeof (ElfW(Addr));
|
|
|
|
addrs = (ElfW(Addr) *) (init_array->d_un.d_ptr + l->l_addr);
|
|
for (j = 0; j < jm; ++j)
|
|
((dl_init_t) addrs[j]) (argc, argv, env);
|
|
}
|
|
}
|
|
|
|
|
|
void
|
|
_dl_init (struct link_map *main_map, int argc, char **argv, char **env)
|
|
{
|
|
ElfW(Dyn) *preinit_array = main_map->l_info[DT_PREINIT_ARRAY];
|
|
ElfW(Dyn) *preinit_array_size = main_map->l_info[DT_PREINIT_ARRAYSZ];
|
|
unsigned int i;
|
|
|
|
if (__glibc_unlikely (GL(dl_initfirst) != NULL))
|
|
{
|
|
call_init (GL(dl_initfirst), argc, argv, env);
|
|
GL(dl_initfirst) = NULL;
|
|
}
|
|
|
|
/* Don't do anything if there is no preinit array. */
|
|
if (__builtin_expect (preinit_array != NULL, 0)
|
|
&& preinit_array_size != NULL
|
|
&& (i = preinit_array_size->d_un.d_val / sizeof (ElfW(Addr))) > 0)
|
|
{
|
|
ElfW(Addr) *addrs;
|
|
unsigned int cnt;
|
|
|
|
if (__glibc_unlikely (GLRO(dl_debug_mask) & DL_DEBUG_IMPCALLS))
|
|
_dl_debug_printf ("\ncalling preinit: %s\n\n",
|
|
DSO_FILENAME (main_map->l_name));
|
|
|
|
addrs = (ElfW(Addr) *) (preinit_array->d_un.d_ptr + main_map->l_addr);
|
|
for (cnt = 0; cnt < i; ++cnt)
|
|
((dl_init_t) addrs[cnt]) (argc, argv, env);
|
|
}
|
|
|
|
/* Stupid users forced the ELF specification to be changed. It now
|
|
says that the dynamic loader is responsible for determining the
|
|
order in which the constructors have to run. The constructors
|
|
for all dependencies of an object must run before the constructor
|
|
for the object itself. Circular dependencies are left unspecified.
|
|
|
|
This is highly questionable since it puts the burden on the dynamic
|
|
loader which has to find the dependencies at runtime instead of
|
|
letting the user do it right. Stupidity rules! */
|
|
|
|
i = main_map->l_searchlist.r_nlist;
|
|
while (i-- > 0)
|
|
call_init (main_map->l_initfini[i], argc, argv, env);
|
|
|
|
#ifndef HAVE_INLINED_SYSCALLS
|
|
/* Finished starting up. */
|
|
_dl_starting_up = 0;
|
|
#endif
|
|
}
|