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