xref: /netbsd-src/tests/libexec/ld.elf_so/t_rtld_r_debug.c (revision 5b28f239895d55856221c590945769250e289f5f)
1*5b28f239Srillig /*	$NetBSD: t_rtld_r_debug.c,v 1.6 2024/09/08 09:36:52 rillig Exp $	*/
28f037993Skamil 
38f037993Skamil /*
48f037993Skamil  * Copyright (c) 2020 The NetBSD Foundation, Inc.
58f037993Skamil  * All rights reserved.
68f037993Skamil  *
78f037993Skamil  * Redistribution and use in source and binary forms, with or without
88f037993Skamil  * modification, are permitted provided that the following conditions
98f037993Skamil  * are met:
108f037993Skamil  * 1. Redistributions of source code must retain the above copyright
118f037993Skamil  *    notice, this list of conditions and the following disclaimer.
128f037993Skamil  * 2. Redistributions in binary form must reproduce the above copyright
138f037993Skamil  *    notice, this list of conditions and the following disclaimer in the
148f037993Skamil  *    documentation and/or other materials provided with the distribution.
158f037993Skamil  *
168f037993Skamil  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND
178f037993Skamil  * CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES,
188f037993Skamil  * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
198f037993Skamil  * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
208f037993Skamil  * IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY
218f037993Skamil  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
228f037993Skamil  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
238f037993Skamil  * GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
248f037993Skamil  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
258f037993Skamil  * IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
268f037993Skamil  * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
278f037993Skamil  * IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
288f037993Skamil  */
298f037993Skamil 
308f037993Skamil #include <sys/types.h>
318f037993Skamil 
328f037993Skamil #include <atf-c.h>
338f037993Skamil #include <dlfcn.h>
348f037993Skamil #include <link_elf.h>
358f037993Skamil #include <stdbool.h>
368f037993Skamil 
378f037993Skamil #include "h_macros.h"
388f037993Skamil 
398f037993Skamil static long int
408f037993Skamil getauxval(unsigned int type)
418f037993Skamil {
428f037993Skamil 	const AuxInfo *aux;
438f037993Skamil 
448f037993Skamil 	for (aux = _dlauxinfo(); aux->a_type != AT_NULL; ++aux) {
458f037993Skamil 		if (type == aux->a_type)
468f037993Skamil 			return aux->a_v;
478f037993Skamil 	}
488f037993Skamil 
498f037993Skamil 	return 0;
508f037993Skamil }
518f037993Skamil 
528f037993Skamil static Elf_Dyn *
538f037993Skamil get_dynamic_section(void)
548f037993Skamil {
558f037993Skamil 	uintptr_t relocbase = (uintptr_t)~0U;
568f037993Skamil 	const Elf_Phdr *phdr;
578f037993Skamil 	Elf_Half phnum;
588f037993Skamil 	const Elf_Phdr *phlimit, *dynphdr;
598f037993Skamil 
608f037993Skamil 	phdr = (void *)getauxval(AT_PHDR);
618f037993Skamil 	phnum = (Elf_Half)getauxval(AT_PHNUM);
628f037993Skamil 
638f037993Skamil 	ATF_CHECK(phdr != NULL);
648f037993Skamil 	ATF_CHECK(phnum != (Elf_Half)~0);
658f037993Skamil 
668f037993Skamil 	phlimit = phdr + phnum;
678f037993Skamil 	dynphdr = NULL;
688f037993Skamil 
698f037993Skamil 	for (; phdr < phlimit; ++phdr) {
708f037993Skamil 		if (phdr->p_type == PT_DYNAMIC)
718f037993Skamil 			dynphdr = phdr;
728f037993Skamil 		if (phdr->p_type == PT_PHDR)
738f037993Skamil 			relocbase = (uintptr_t)phdr - phdr->p_vaddr;
748f037993Skamil 	}
758f037993Skamil 
768f037993Skamil 	return (Elf_Dyn *)((uint8_t *)dynphdr->p_vaddr + relocbase);
778f037993Skamil }
788f037993Skamil 
798f037993Skamil static struct r_debug *
808f037993Skamil get_rtld_r_debug(void)
818f037993Skamil {
82d76886afSroy 	struct r_debug *debug = NULL;
838f037993Skamil 	Elf_Dyn *dynp;
848f037993Skamil 
858f037993Skamil 	for (dynp = get_dynamic_section(); dynp->d_tag != DT_NULL; dynp++) {
868f037993Skamil 		if (dynp->d_tag == DT_DEBUG) {
878f037993Skamil 			debug = (void *)dynp->d_un.d_val;
888f037993Skamil 			break;
898f037993Skamil 		}
908f037993Skamil 	}
918f037993Skamil 	ATF_CHECK(debug != NULL);
928f037993Skamil 
938f037993Skamil 	return debug;
948f037993Skamil }
958f037993Skamil 
968f037993Skamil static void
978f037993Skamil check_r_debug_return_link_map(const char *name, struct link_map **rmap)
988f037993Skamil {
998f037993Skamil 	struct r_debug *debug;
1008f037993Skamil 	struct link_map *map;
1018f037993Skamil 	void *loader;
1028f037993Skamil 	bool found;
1038f037993Skamil 
1048f037993Skamil 	loader = NULL;
1058f037993Skamil 	debug = get_rtld_r_debug();
1068f037993Skamil 	ATF_CHECK(debug != NULL);
107c73729f0Sriastradh 	ATF_CHECK_EQ_MSG(debug->r_version, R_DEBUG_VERSION,
108c73729f0Sriastradh 	    "debug->r_version=%d R_DEBUG_VERSION=%d",
109c73729f0Sriastradh 	    debug->r_version, R_DEBUG_VERSION);
1108f037993Skamil 	map = debug->r_map;
1118f037993Skamil 	ATF_CHECK(map != NULL);
1128f037993Skamil 
1138f037993Skamil 	for (found = false; map; map = map->l_next) {
1148f037993Skamil 		if (strstr(map->l_name, name) != NULL) {
1158f037993Skamil 			if (rmap)
1168f037993Skamil 				*rmap = map;
1178f037993Skamil 			found = true;
1188f037993Skamil 		} else if (strstr(map->l_name, "ld.elf_so") != NULL) {
1198f037993Skamil 			loader = (void *)map->l_addr;
1208f037993Skamil 		}
1218f037993Skamil 	}
1228f037993Skamil 	ATF_CHECK(found);
1238f037993Skamil 	ATF_CHECK(loader != NULL);
1248f037993Skamil 	ATF_CHECK(debug->r_brk != NULL);
125c73729f0Sriastradh 	ATF_CHECK_EQ_MSG(debug->r_state, RT_CONSISTENT,
126c73729f0Sriastradh 	    "debug->r_state=%d RT_CONSISTENT=%d",
127c73729f0Sriastradh 	    debug->r_state, RT_CONSISTENT);
128c73729f0Sriastradh 	ATF_CHECK_EQ_MSG(debug->r_ldbase, loader,
129c73729f0Sriastradh 	    "debug->r_ldbase=%p loader=%p",
130c73729f0Sriastradh 	    debug->r_ldbase, loader);
1318f037993Skamil }
1328f037993Skamil 
1338f037993Skamil ATF_TC(self);
1348f037993Skamil ATF_TC_HEAD(self, tc)
1358f037993Skamil {
1368f037993Skamil 	atf_tc_set_md_var(tc, "descr", "check whether r_debug is well-formed");
1378f037993Skamil }
1388f037993Skamil ATF_TC_BODY(self, tc)
1398f037993Skamil {
1408f037993Skamil 	check_r_debug_return_link_map("t_rtld_r_debug", NULL);
1418f037993Skamil }
1428f037993Skamil 
1438f037993Skamil ATF_TC(dlopen);
1448f037993Skamil ATF_TC_HEAD(dlopen, tc)
1458f037993Skamil {
1468f037993Skamil 	atf_tc_set_md_var(tc, "descr",
147*5b28f239Srillig 	    "check whether r_debug is well-formed after a dlopen(3) call");
1488f037993Skamil }
1498f037993Skamil ATF_TC_BODY(dlopen, tc)
1508f037993Skamil {
1518f037993Skamil 	void *handle;
1528f037993Skamil 	struct link_map *map, *r_map;
1538f037993Skamil 
1548f037993Skamil 	handle = dlopen("libutil.so", RTLD_LAZY);
155c73729f0Sriastradh 	ATF_REQUIRE_MSG(handle, "dlopen: %s", dlerror());
1568f037993Skamil 
1578f037993Skamil 	check_r_debug_return_link_map("libutil.so", &r_map);
1588f037993Skamil 
159e441ef55Sriastradh 	ATF_REQUIRE_EQ_MSG(dlinfo(handle, RTLD_DI_LINKMAP, &map), 0,
160e441ef55Sriastradh 	    "dlinfo: %s", dlerror());
1618f037993Skamil 
162c73729f0Sriastradh 	ATF_CHECK_EQ_MSG(map, r_map, "map=%p r_map=%p", map, r_map);
163c73729f0Sriastradh 	ATF_CHECK_EQ_MSG(dlclose(handle), 0, "dlclose: %s", dlerror());
1648f037993Skamil }
1658f037993Skamil 
1668f037993Skamil ATF_TP_ADD_TCS(tp)
1678f037993Skamil {
1688f037993Skamil 	ATF_TP_ADD_TC(tp, self);
1698f037993Skamil 	ATF_TP_ADD_TC(tp, dlopen);
1708f037993Skamil 	return atf_no_error();
1718f037993Skamil }
172