Home | History | Annotate | Line # | Download | only in ld.elf_so
t_rtld_r_debug.c revision 1.3
      1  1.3    roy /*	$NetBSD: t_rtld_r_debug.c,v 1.3 2020/09/29 16:35:42 roy 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.1  kamil #include <sys/types.h>
     31  1.1  kamil 
     32  1.1  kamil #include <atf-c.h>
     33  1.1  kamil #include <dlfcn.h>
     34  1.1  kamil #include <link_elf.h>
     35  1.1  kamil #include <stdbool.h>
     36  1.1  kamil 
     37  1.1  kamil #include "h_macros.h"
     38  1.1  kamil 
     39  1.1  kamil static long int
     40  1.1  kamil getauxval(unsigned int type)
     41  1.1  kamil {
     42  1.1  kamil 	const AuxInfo *aux;
     43  1.1  kamil 
     44  1.1  kamil 	for (aux = _dlauxinfo(); aux->a_type != AT_NULL; ++aux) {
     45  1.3    roy 		if (type == aux->a_type)
     46  1.1  kamil 			return aux->a_v;
     47  1.1  kamil 	}
     48  1.1  kamil 
     49  1.1  kamil 	return 0;
     50  1.1  kamil }
     51  1.1  kamil 
     52  1.1  kamil static Elf_Dyn *
     53  1.1  kamil get_dynamic_section(void)
     54  1.1  kamil {
     55  1.1  kamil 	uintptr_t relocbase = (uintptr_t)~0U;
     56  1.1  kamil 	const Elf_Phdr *phdr;
     57  1.1  kamil 	Elf_Half phnum;
     58  1.1  kamil 	const Elf_Phdr *phlimit, *dynphdr;
     59  1.1  kamil 
     60  1.1  kamil 	phdr = (void *)getauxval(AT_PHDR);
     61  1.1  kamil 	phnum = (Elf_Half)getauxval(AT_PHNUM);
     62  1.1  kamil 
     63  1.1  kamil 	ATF_CHECK(phdr != NULL);
     64  1.1  kamil 	ATF_CHECK(phnum != (Elf_Half)~0);
     65  1.1  kamil 
     66  1.1  kamil 	phlimit = phdr + phnum;
     67  1.1  kamil 	dynphdr = NULL;
     68  1.1  kamil 
     69  1.1  kamil 	for (; phdr < phlimit; ++phdr) {
     70  1.3    roy 		if (phdr->p_type == PT_DYNAMIC)
     71  1.3    roy 			dynphdr = phdr;
     72  1.3    roy 		if (phdr->p_type == PT_PHDR)
     73  1.3    roy 			relocbase = (uintptr_t)phdr - phdr->p_vaddr;
     74  1.3    roy 	}
     75  1.1  kamil 
     76  1.1  kamil 	return (Elf_Dyn *)((uint8_t *)dynphdr->p_vaddr + relocbase);
     77  1.1  kamil }
     78  1.1  kamil 
     79  1.1  kamil static struct r_debug *
     80  1.1  kamil get_rtld_r_debug(void)
     81  1.1  kamil {
     82  1.2    roy 	struct r_debug *debug = NULL;
     83  1.1  kamil 	Elf_Dyn *dynp;
     84  1.1  kamil 
     85  1.1  kamil 	for (dynp = get_dynamic_section(); dynp->d_tag != DT_NULL; dynp++) {
     86  1.1  kamil 		if (dynp->d_tag == DT_DEBUG) {
     87  1.1  kamil 			debug = (void *)dynp->d_un.d_val;
     88  1.1  kamil 			break;
     89  1.1  kamil 		}
     90  1.1  kamil 	}
     91  1.1  kamil 	ATF_CHECK(debug != NULL);
     92  1.1  kamil 
     93  1.1  kamil 	return debug;
     94  1.1  kamil }
     95  1.1  kamil 
     96  1.1  kamil static void
     97  1.1  kamil check_r_debug_return_link_map(const char *name, struct link_map **rmap)
     98  1.1  kamil {
     99  1.1  kamil 	struct r_debug *debug;
    100  1.1  kamil 	struct link_map *map;
    101  1.1  kamil 	void *loader;
    102  1.1  kamil 	bool found;
    103  1.1  kamil 
    104  1.1  kamil 	loader = NULL;
    105  1.1  kamil 	debug = get_rtld_r_debug();
    106  1.1  kamil 	ATF_CHECK(debug != NULL);
    107  1.1  kamil 	ATF_CHECK(debug->r_version == R_DEBUG_VERSION);
    108  1.1  kamil 	map = debug->r_map;
    109  1.1  kamil 	ATF_CHECK(map != NULL);
    110  1.1  kamil 
    111  1.1  kamil 	for (found = false; map; map = map->l_next) {
    112  1.1  kamil 		if (strstr(map->l_name, name) != NULL) {
    113  1.1  kamil 			if (rmap)
    114  1.1  kamil 				*rmap = map;
    115  1.1  kamil 			found = true;
    116  1.1  kamil 		} else if (strstr(map->l_name, "ld.elf_so") != NULL) {
    117  1.1  kamil 			loader = (void *)map->l_addr;
    118  1.1  kamil 		}
    119  1.1  kamil 	}
    120  1.1  kamil 	ATF_CHECK(found);
    121  1.1  kamil 	ATF_CHECK(loader != NULL);
    122  1.1  kamil 	ATF_CHECK(debug->r_brk != NULL);
    123  1.1  kamil 	ATF_CHECK(debug->r_state == RT_CONSISTENT);
    124  1.1  kamil 	ATF_CHECK(debug->r_ldbase == loader);
    125  1.1  kamil }
    126  1.1  kamil 
    127  1.1  kamil ATF_TC(self);
    128  1.1  kamil ATF_TC_HEAD(self, tc)
    129  1.1  kamil {
    130  1.1  kamil 	atf_tc_set_md_var(tc, "descr", "check whether r_debug is well-formed");
    131  1.1  kamil }
    132  1.1  kamil ATF_TC_BODY(self, tc)
    133  1.1  kamil {
    134  1.1  kamil 	check_r_debug_return_link_map("t_rtld_r_debug", NULL);
    135  1.1  kamil }
    136  1.1  kamil 
    137  1.1  kamil ATF_TC(dlopen);
    138  1.1  kamil ATF_TC_HEAD(dlopen, tc)
    139  1.1  kamil {
    140  1.1  kamil 	atf_tc_set_md_var(tc, "descr",
    141  1.1  kamil 	    "check whether r_debug is well-formed after an dlopen(3) call");
    142  1.1  kamil }
    143  1.1  kamil ATF_TC_BODY(dlopen, tc)
    144  1.1  kamil {
    145  1.1  kamil 	void *handle;
    146  1.1  kamil 	struct link_map *map, *r_map;
    147  1.1  kamil 
    148  1.1  kamil 	handle = dlopen("libutil.so", RTLD_LAZY);
    149  1.1  kamil 	ATF_CHECK(handle);
    150  1.1  kamil 
    151  1.1  kamil 	check_r_debug_return_link_map("libutil.so", &r_map);
    152  1.1  kamil 
    153  1.1  kamil 	RZ(dlinfo(handle, RTLD_DI_LINKMAP, &map));
    154  1.1  kamil 
    155  1.1  kamil 	ATF_CHECK(map == r_map);
    156  1.1  kamil 	dlclose(handle);
    157  1.1  kamil }
    158  1.1  kamil 
    159  1.1  kamil ATF_TP_ADD_TCS(tp)
    160  1.1  kamil {
    161  1.1  kamil 	ATF_TP_ADD_TC(tp, self);
    162  1.1  kamil 	ATF_TP_ADD_TC(tp, dlopen);
    163  1.1  kamil 	return atf_no_error();
    164  1.1  kamil }
    165