Home | History | Annotate | Line # | Download | only in ld.elf_so
t_rtld_r_debug.c revision 1.10
      1  1.10  riastrad /*	$NetBSD: t_rtld_r_debug.c,v 1.10 2025/04/15 22:19:39 riastradh Exp $	*/
      2   1.1     kamil 
      3   1.1     kamil /*
      4   1.1     kamil  * Copyright (c) 2020 The NetBSD Foundation, Inc.
      5   1.1     kamil  * All rights reserved.
      6   1.1     kamil  *
      7   1.1     kamil  * Redistribution and use in source and binary forms, with or without
      8   1.1     kamil  * modification, are permitted provided that the following conditions
      9   1.1     kamil  * are met:
     10   1.1     kamil  * 1. Redistributions of source code must retain the above copyright
     11   1.1     kamil  *    notice, this list of conditions and the following disclaimer.
     12   1.1     kamil  * 2. Redistributions in binary form must reproduce the above copyright
     13   1.1     kamil  *    notice, this list of conditions and the following disclaimer in the
     14   1.1     kamil  *    documentation and/or other materials provided with the distribution.
     15   1.1     kamil  *
     16   1.1     kamil  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND
     17   1.1     kamil  * CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES,
     18   1.1     kamil  * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
     19   1.1     kamil  * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     20   1.1     kamil  * IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY
     21   1.1     kamil  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     22   1.1     kamil  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
     23   1.1     kamil  * GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     24   1.1     kamil  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
     25   1.1     kamil  * IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
     26   1.1     kamil  * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
     27   1.1     kamil  * IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     28   1.1     kamil  */
     29   1.1     kamil 
     30  1.10  riastrad #include <sys/cdefs.h>
     31  1.10  riastrad __RCSID("$NetBSD: t_rtld_r_debug.c,v 1.10 2025/04/15 22:19:39 riastradh Exp $");
     32  1.10  riastrad 
     33   1.1     kamil #include <sys/types.h>
     34   1.1     kamil 
     35   1.1     kamil #include <atf-c.h>
     36   1.1     kamil #include <dlfcn.h>
     37   1.1     kamil #include <link_elf.h>
     38   1.1     kamil #include <stdbool.h>
     39   1.1     kamil 
     40   1.1     kamil #include "h_macros.h"
     41   1.1     kamil 
     42   1.1     kamil static long int
     43   1.1     kamil getauxval(unsigned int type)
     44   1.1     kamil {
     45   1.1     kamil 	const AuxInfo *aux;
     46   1.1     kamil 
     47   1.1     kamil 	for (aux = _dlauxinfo(); aux->a_type != AT_NULL; ++aux) {
     48   1.3       roy 		if (type == aux->a_type)
     49   1.1     kamil 			return aux->a_v;
     50   1.1     kamil 	}
     51   1.1     kamil 
     52   1.1     kamil 	return 0;
     53   1.1     kamil }
     54   1.1     kamil 
     55   1.1     kamil static Elf_Dyn *
     56   1.1     kamil get_dynamic_section(void)
     57   1.1     kamil {
     58   1.1     kamil 	uintptr_t relocbase = (uintptr_t)~0U;
     59   1.1     kamil 	const Elf_Phdr *phdr;
     60   1.1     kamil 	Elf_Half phnum;
     61   1.1     kamil 	const Elf_Phdr *phlimit, *dynphdr;
     62   1.1     kamil 
     63   1.1     kamil 	phdr = (void *)getauxval(AT_PHDR);
     64   1.1     kamil 	phnum = (Elf_Half)getauxval(AT_PHNUM);
     65   1.1     kamil 
     66   1.8  riastrad 	printf("AT_PHDR=%p\n", phdr);
     67   1.8  riastrad 	printf("AT_PHNUM=%d\n", phnum);
     68   1.8  riastrad 
     69   1.7  riastrad 	ATF_REQUIRE(phdr != NULL);
     70   1.7  riastrad 	ATF_REQUIRE(phnum != (Elf_Half)~0);
     71   1.1     kamil 
     72   1.1     kamil 	phlimit = phdr + phnum;
     73   1.1     kamil 	dynphdr = NULL;
     74   1.1     kamil 
     75   1.1     kamil 	for (; phdr < phlimit; ++phdr) {
     76   1.8  riastrad 		printf("phdr %p: type=%d flags=0x%x"
     77   1.8  riastrad 		    " vaddr=0x%lx paddr=0x%lx"
     78   1.8  riastrad 		    " filesz=0x%lx memsz=0x%lx"
     79   1.8  riastrad 		    " align=0x%lx\n",
     80   1.8  riastrad 		    phdr, phdr->p_type, phdr->p_flags,
     81   1.8  riastrad 		    (long)phdr->p_vaddr, (long)phdr->p_paddr,
     82   1.8  riastrad 		    (long)phdr->p_filesz, (long)phdr->p_memsz,
     83   1.8  riastrad 		    (long)phdr->p_align);
     84   1.3       roy 		if (phdr->p_type == PT_DYNAMIC)
     85   1.3       roy 			dynphdr = phdr;
     86   1.3       roy 		if (phdr->p_type == PT_PHDR)
     87   1.3       roy 			relocbase = (uintptr_t)phdr - phdr->p_vaddr;
     88   1.3       roy 	}
     89   1.1     kamil 
     90   1.1     kamil 	return (Elf_Dyn *)((uint8_t *)dynphdr->p_vaddr + relocbase);
     91   1.1     kamil }
     92   1.1     kamil 
     93   1.1     kamil static struct r_debug *
     94   1.1     kamil get_rtld_r_debug(void)
     95   1.1     kamil {
     96   1.2       roy 	struct r_debug *debug = NULL;
     97   1.1     kamil 	Elf_Dyn *dynp;
     98   1.1     kamil 
     99   1.1     kamil 	for (dynp = get_dynamic_section(); dynp->d_tag != DT_NULL; dynp++) {
    100   1.8  riastrad 		printf("dynp %p: tag=%ld val=0x%lx\n", dynp,
    101   1.8  riastrad 		    (long)dynp->d_tag, (long)dynp->d_un.d_val);
    102   1.1     kamil 		if (dynp->d_tag == DT_DEBUG) {
    103   1.1     kamil 			debug = (void *)dynp->d_un.d_val;
    104   1.1     kamil 			break;
    105   1.1     kamil 		}
    106   1.1     kamil 	}
    107  1.10  riastrad #ifdef __mips__
    108  1.10  riastrad 	atf_tc_expect_fail("PR port-mips/59296:"
    109  1.10  riastrad 	    " t_rtld_r_debug test is failing");
    110  1.10  riastrad #endif
    111   1.7  riastrad 	ATF_REQUIRE(debug != NULL);
    112   1.1     kamil 
    113   1.1     kamil 	return debug;
    114   1.1     kamil }
    115   1.1     kamil 
    116   1.1     kamil static void
    117   1.1     kamil check_r_debug_return_link_map(const char *name, struct link_map **rmap)
    118   1.1     kamil {
    119   1.1     kamil 	struct r_debug *debug;
    120   1.1     kamil 	struct link_map *map;
    121   1.1     kamil 	void *loader;
    122   1.1     kamil 	bool found;
    123   1.1     kamil 
    124   1.1     kamil 	loader = NULL;
    125   1.1     kamil 	debug = get_rtld_r_debug();
    126   1.7  riastrad 	ATF_REQUIRE(debug != NULL);
    127   1.5  riastrad 	ATF_CHECK_EQ_MSG(debug->r_version, R_DEBUG_VERSION,
    128   1.5  riastrad 	    "debug->r_version=%d R_DEBUG_VERSION=%d",
    129   1.5  riastrad 	    debug->r_version, R_DEBUG_VERSION);
    130   1.1     kamil 	map = debug->r_map;
    131   1.1     kamil 	ATF_CHECK(map != NULL);
    132   1.1     kamil 
    133   1.1     kamil 	for (found = false; map; map = map->l_next) {
    134   1.1     kamil 		if (strstr(map->l_name, name) != NULL) {
    135   1.1     kamil 			if (rmap)
    136   1.1     kamil 				*rmap = map;
    137   1.1     kamil 			found = true;
    138   1.1     kamil 		} else if (strstr(map->l_name, "ld.elf_so") != NULL) {
    139   1.1     kamil 			loader = (void *)map->l_addr;
    140   1.1     kamil 		}
    141   1.1     kamil 	}
    142   1.1     kamil 	ATF_CHECK(found);
    143   1.1     kamil 	ATF_CHECK(loader != NULL);
    144   1.1     kamil 	ATF_CHECK(debug->r_brk != NULL);
    145   1.5  riastrad 	ATF_CHECK_EQ_MSG(debug->r_state, RT_CONSISTENT,
    146   1.5  riastrad 	    "debug->r_state=%d RT_CONSISTENT=%d",
    147   1.5  riastrad 	    debug->r_state, RT_CONSISTENT);
    148   1.5  riastrad 	ATF_CHECK_EQ_MSG(debug->r_ldbase, loader,
    149   1.5  riastrad 	    "debug->r_ldbase=%p loader=%p",
    150   1.5  riastrad 	    debug->r_ldbase, loader);
    151   1.1     kamil }
    152   1.1     kamil 
    153   1.1     kamil ATF_TC(self);
    154   1.1     kamil ATF_TC_HEAD(self, tc)
    155   1.1     kamil {
    156   1.1     kamil 	atf_tc_set_md_var(tc, "descr", "check whether r_debug is well-formed");
    157   1.1     kamil }
    158   1.1     kamil ATF_TC_BODY(self, tc)
    159   1.1     kamil {
    160   1.1     kamil 	check_r_debug_return_link_map("t_rtld_r_debug", NULL);
    161   1.1     kamil }
    162   1.1     kamil 
    163   1.1     kamil ATF_TC(dlopen);
    164   1.1     kamil ATF_TC_HEAD(dlopen, tc)
    165   1.1     kamil {
    166   1.1     kamil 	atf_tc_set_md_var(tc, "descr",
    167   1.6    rillig 	    "check whether r_debug is well-formed after a dlopen(3) call");
    168   1.1     kamil }
    169   1.1     kamil ATF_TC_BODY(dlopen, tc)
    170   1.1     kamil {
    171   1.1     kamil 	void *handle;
    172   1.1     kamil 	struct link_map *map, *r_map;
    173   1.1     kamil 
    174   1.1     kamil 	handle = dlopen("libutil.so", RTLD_LAZY);
    175   1.5  riastrad 	ATF_REQUIRE_MSG(handle, "dlopen: %s", dlerror());
    176   1.1     kamil 
    177   1.1     kamil 	check_r_debug_return_link_map("libutil.so", &r_map);
    178   1.1     kamil 
    179   1.4  riastrad 	ATF_REQUIRE_EQ_MSG(dlinfo(handle, RTLD_DI_LINKMAP, &map), 0,
    180   1.4  riastrad 	    "dlinfo: %s", dlerror());
    181   1.1     kamil 
    182   1.5  riastrad 	ATF_CHECK_EQ_MSG(map, r_map, "map=%p r_map=%p", map, r_map);
    183   1.5  riastrad 	ATF_CHECK_EQ_MSG(dlclose(handle), 0, "dlclose: %s", dlerror());
    184   1.1     kamil }
    185   1.1     kamil 
    186   1.1     kamil ATF_TP_ADD_TCS(tp)
    187   1.1     kamil {
    188   1.1     kamil 	ATF_TP_ADD_TC(tp, self);
    189   1.1     kamil 	ATF_TP_ADD_TC(tp, dlopen);
    190   1.1     kamil 	return atf_no_error();
    191   1.1     kamil }
    192