1efddda3dSPavel Labath //===-- TestObjectFileELF.cpp -----------------------------------*- C++ -*-===// 2efddda3dSPavel Labath // 3efddda3dSPavel Labath // 4*2946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5*2946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 6*2946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7efddda3dSPavel Labath // 8efddda3dSPavel Labath //===----------------------------------------------------------------------===// 9efddda3dSPavel Labath 10efddda3dSPavel Labath #include "Plugins/ObjectFile/ELF/ObjectFileELF.h" 117ed3e22fSPavel Labath #include "Plugins/SymbolVendor/ELF/SymbolVendorELF.h" 12e2867bc4SPavel Labath #include "TestingSupport/TestUtilities.h" 13efddda3dSPavel Labath #include "lldb/Core/Module.h" 14efddda3dSPavel Labath #include "lldb/Core/ModuleSpec.h" 15efddda3dSPavel Labath #include "lldb/Core/Section.h" 1646376966SJonas Devlieghere #include "lldb/Host/FileSystem.h" 17efddda3dSPavel Labath #include "lldb/Host/HostInfo.h" 186868d2ddSNathan Lanza #include "lldb/Utility/DataBufferHeap.h" 19e7d85688SVedant Kumar #include "llvm/ADT/Optional.h" 20e2867bc4SPavel Labath #include "llvm/Support/Compression.h" 21efddda3dSPavel Labath #include "llvm/Support/FileUtilities.h" 22efddda3dSPavel Labath #include "llvm/Support/Path.h" 23efddda3dSPavel Labath #include "llvm/Support/Program.h" 24efddda3dSPavel Labath #include "llvm/Support/raw_ostream.h" 25efddda3dSPavel Labath #include "gtest/gtest.h" 26efddda3dSPavel Labath 27efddda3dSPavel Labath using namespace lldb_private; 28efddda3dSPavel Labath using namespace lldb; 29efddda3dSPavel Labath 30efddda3dSPavel Labath class ObjectFileELFTest : public testing::Test { 31efddda3dSPavel Labath public: 32efddda3dSPavel Labath void SetUp() override { 3346376966SJonas Devlieghere FileSystem::Initialize(); 34efddda3dSPavel Labath HostInfo::Initialize(); 35efddda3dSPavel Labath ObjectFileELF::Initialize(); 36efddda3dSPavel Labath SymbolVendorELF::Initialize(); 37efddda3dSPavel Labath } 38efddda3dSPavel Labath 39efddda3dSPavel Labath void TearDown() override { 40efddda3dSPavel Labath SymbolVendorELF::Terminate(); 41efddda3dSPavel Labath ObjectFileELF::Terminate(); 42efddda3dSPavel Labath HostInfo::Terminate(); 4346376966SJonas Devlieghere FileSystem::Terminate(); 44efddda3dSPavel Labath } 45efddda3dSPavel Labath 46efddda3dSPavel Labath protected: 47efddda3dSPavel Labath }; 48efddda3dSPavel Labath 49efddda3dSPavel Labath #define ASSERT_NO_ERROR(x) \ 50efddda3dSPavel Labath if (std::error_code ASSERT_NO_ERROR_ec = x) { \ 51efddda3dSPavel Labath llvm::SmallString<128> MessageStorage; \ 52efddda3dSPavel Labath llvm::raw_svector_ostream Message(MessageStorage); \ 53efddda3dSPavel Labath Message << #x ": did not return errc::success.\n" \ 54efddda3dSPavel Labath << "error number: " << ASSERT_NO_ERROR_ec.value() << "\n" \ 55efddda3dSPavel Labath << "error message: " << ASSERT_NO_ERROR_ec.message() << "\n"; \ 56efddda3dSPavel Labath GTEST_FATAL_FAILURE_(MessageStorage.c_str()); \ 57efddda3dSPavel Labath } else { \ 58efddda3dSPavel Labath } 59efddda3dSPavel Labath 60efddda3dSPavel Labath TEST_F(ObjectFileELFTest, SectionsResolveConsistently) { 617ed3e22fSPavel Labath std::string yaml = GetInputFilePath("sections-resolve-consistently.yaml"); 627ed3e22fSPavel Labath llvm::SmallString<128> obj; 63efddda3dSPavel Labath ASSERT_NO_ERROR(llvm::sys::fs::createTemporaryFile( 64efddda3dSPavel Labath "sections-resolve-consistently-%%%%%%", "obj", obj)); 65efddda3dSPavel Labath 66efddda3dSPavel Labath llvm::FileRemover remover(obj); 6708426e1fSZachary Turner llvm::StringRef args[] = {YAML2OBJ, yaml}; 68efddda3dSPavel Labath llvm::StringRef obj_ref = obj; 69e7d85688SVedant Kumar const llvm::Optional<llvm::StringRef> redirects[] = {llvm::None, obj_ref, 70e7d85688SVedant Kumar llvm::None}; 7108426e1fSZachary Turner ASSERT_EQ(0, 7208426e1fSZachary Turner llvm::sys::ExecuteAndWait(YAML2OBJ, args, llvm::None, redirects)); 73efddda3dSPavel Labath uint64_t size; 74efddda3dSPavel Labath ASSERT_NO_ERROR(llvm::sys::fs::file_size(obj, size)); 75efddda3dSPavel Labath ASSERT_GT(size, 0u); 76efddda3dSPavel Labath 778f3be7a3SJonas Devlieghere ModuleSpec spec{FileSpec(obj)}; 788f3be7a3SJonas Devlieghere spec.GetSymbolFileSpec().SetFile(obj, FileSpec::Style::native); 79efddda3dSPavel Labath auto module_sp = std::make_shared<Module>(spec); 80efddda3dSPavel Labath SectionList *list = module_sp->GetSectionList(); 81efddda3dSPavel Labath ASSERT_NE(nullptr, list); 82efddda3dSPavel Labath 83efddda3dSPavel Labath auto bss_sp = list->FindSectionByName(ConstString(".bss")); 84efddda3dSPavel Labath ASSERT_NE(nullptr, bss_sp); 85efddda3dSPavel Labath auto data_sp = list->FindSectionByName(ConstString(".data")); 86efddda3dSPavel Labath ASSERT_NE(nullptr, data_sp); 87efddda3dSPavel Labath auto text_sp = list->FindSectionByName(ConstString(".text")); 88efddda3dSPavel Labath ASSERT_NE(nullptr, text_sp); 89efddda3dSPavel Labath 90efddda3dSPavel Labath const Symbol *X = module_sp->FindFirstSymbolWithNameAndType(ConstString("X"), 91efddda3dSPavel Labath eSymbolTypeAny); 92efddda3dSPavel Labath ASSERT_NE(nullptr, X); 93efddda3dSPavel Labath EXPECT_EQ(bss_sp, X->GetAddress().GetSection()); 94efddda3dSPavel Labath 95efddda3dSPavel Labath const Symbol *Y = module_sp->FindFirstSymbolWithNameAndType(ConstString("Y"), 96efddda3dSPavel Labath eSymbolTypeAny); 97efddda3dSPavel Labath ASSERT_NE(nullptr, Y); 98efddda3dSPavel Labath EXPECT_EQ(data_sp, Y->GetAddress().GetSection()); 99efddda3dSPavel Labath 100efddda3dSPavel Labath const Symbol *start = module_sp->FindFirstSymbolWithNameAndType( 101efddda3dSPavel Labath ConstString("_start"), eSymbolTypeAny); 102efddda3dSPavel Labath ASSERT_NE(nullptr, start); 103efddda3dSPavel Labath EXPECT_EQ(text_sp, start->GetAddress().GetSection()); 104efddda3dSPavel Labath } 1054f033125SPavel Labath 1064f033125SPavel Labath // Test that GetModuleSpecifications works on an "atypical" object file which 1074f033125SPavel Labath // has section headers right after the ELF header (instead of the more common 1084f033125SPavel Labath // layout where the section headers are at the very end of the object file). 109bca95f8aSPavel Labath // 110bca95f8aSPavel Labath // Test file generated with yaml2obj (@svn rev 324254) from the following input: 111bca95f8aSPavel Labath /* 112bca95f8aSPavel Labath --- !ELF 113bca95f8aSPavel Labath FileHeader: 114bca95f8aSPavel Labath Class: ELFCLASS64 115bca95f8aSPavel Labath Data: ELFDATA2LSB 116bca95f8aSPavel Labath Type: ET_EXEC 117bca95f8aSPavel Labath Machine: EM_X86_64 118bca95f8aSPavel Labath Entry: 0x00000000004003D0 119bca95f8aSPavel Labath Sections: 120bca95f8aSPavel Labath - Name: .note.gnu.build-id 121bca95f8aSPavel Labath Type: SHT_NOTE 122bca95f8aSPavel Labath Flags: [ SHF_ALLOC ] 123bca95f8aSPavel Labath Address: 0x0000000000400274 124bca95f8aSPavel Labath AddressAlign: 0x0000000000000004 125bca95f8aSPavel Labath Content: 040000001400000003000000474E55001B8A73AC238390E32A7FF4AC8EBE4D6A41ECF5C9 126bca95f8aSPavel Labath - Name: .text 127bca95f8aSPavel Labath Type: SHT_PROGBITS 128bca95f8aSPavel Labath Flags: [ SHF_ALLOC, SHF_EXECINSTR ] 129bca95f8aSPavel Labath Address: 0x00000000004003D0 130bca95f8aSPavel Labath AddressAlign: 0x0000000000000010 131bca95f8aSPavel Labath Content: DEADBEEFBAADF00D 132bca95f8aSPavel Labath ... 133bca95f8aSPavel Labath */ 1344f033125SPavel Labath TEST_F(ObjectFileELFTest, GetModuleSpecifications_EarlySectionHeaders) { 1354f033125SPavel Labath std::string SO = GetInputFilePath("early-section-headers.so"); 1364f033125SPavel Labath ModuleSpecList Specs; 1378f3be7a3SJonas Devlieghere ASSERT_EQ(1u, ObjectFile::GetModuleSpecifications(FileSpec(SO), 0, 0, Specs)); 1384f033125SPavel Labath ModuleSpec Spec; 1394f033125SPavel Labath ASSERT_TRUE(Specs.GetModuleSpecAtIndex(0, Spec)) ; 1404f033125SPavel Labath UUID Uuid; 1414f033125SPavel Labath Uuid.SetFromStringRef("1b8a73ac238390e32a7ff4ac8ebe4d6a41ecf5c9", 20); 1424f033125SPavel Labath EXPECT_EQ(Spec.GetUUID(), Uuid); 1434f033125SPavel Labath } 1446868d2ddSNathan Lanza 145b37f1ec8SDavide Italiano static void CHECK_ABS32(uint8_t *bytes, uint32_t offset, uint32_t addend) { 146b37f1ec8SDavide Italiano uint32_t res; 14705620d8eSDavide Italiano memcpy(&res, reinterpret_cast<uint32_t *>(bytes + offset), sizeof(uint32_t)); 148b37f1ec8SDavide Italiano ASSERT_EQ(addend, res); 149b37f1ec8SDavide Italiano } 150b37f1ec8SDavide Italiano 151b37f1ec8SDavide Italiano static void CHECK_ABS64(uint8_t *bytes, uint64_t offset, uint64_t addend) { 152b37f1ec8SDavide Italiano uint64_t res; 15305620d8eSDavide Italiano memcpy(&res, reinterpret_cast<uint64_t *>(bytes + offset), sizeof(uint64_t)); 154b37f1ec8SDavide Italiano ASSERT_EQ(addend, res); 155b37f1ec8SDavide Italiano } 1566868d2ddSNathan Lanza 1576868d2ddSNathan Lanza TEST_F(ObjectFileELFTest, TestAARCH64Relocations) { 1586868d2ddSNathan Lanza std::string yaml = GetInputFilePath("debug-info-relocations.pcm.yaml"); 1596868d2ddSNathan Lanza llvm::SmallString<128> obj; 1606868d2ddSNathan Lanza ASSERT_NO_ERROR(llvm::sys::fs::createTemporaryFile( 1616868d2ddSNathan Lanza "debug-info-relocations-%%%%%%", "obj", obj)); 1626868d2ddSNathan Lanza 1636868d2ddSNathan Lanza llvm::FileRemover remover(obj); 1646868d2ddSNathan Lanza llvm::StringRef args[] = {YAML2OBJ, yaml}; 1656868d2ddSNathan Lanza llvm::StringRef obj_ref = obj; 1666868d2ddSNathan Lanza const llvm::Optional<llvm::StringRef> redirects[] = {llvm::None, obj_ref, 1676868d2ddSNathan Lanza llvm::None}; 1686868d2ddSNathan Lanza ASSERT_EQ(0, 1696868d2ddSNathan Lanza llvm::sys::ExecuteAndWait(YAML2OBJ, args, llvm::None, redirects)); 1706868d2ddSNathan Lanza uint64_t size; 1716868d2ddSNathan Lanza ASSERT_NO_ERROR(llvm::sys::fs::file_size(obj, size)); 1726868d2ddSNathan Lanza ASSERT_GT(size, 0u); 1736868d2ddSNathan Lanza 1746868d2ddSNathan Lanza ModuleSpec spec{FileSpec(obj)}; 1756868d2ddSNathan Lanza spec.GetSymbolFileSpec().SetFile(obj, FileSpec::Style::native); 1766868d2ddSNathan Lanza auto module_sp = std::make_shared<Module>(spec); 1776868d2ddSNathan Lanza 1786868d2ddSNathan Lanza auto objfile = static_cast<ObjectFileELF *>(module_sp->GetObjectFile()); 1796868d2ddSNathan Lanza SectionList *section_list = objfile->GetSectionList(); 1806868d2ddSNathan Lanza ASSERT_NE(nullptr, section_list); 1816868d2ddSNathan Lanza 1826868d2ddSNathan Lanza auto debug_info_sp = 1836868d2ddSNathan Lanza section_list->FindSectionByName(ConstString(".debug_info")); 1846868d2ddSNathan Lanza ASSERT_NE(nullptr, debug_info_sp); 1856868d2ddSNathan Lanza objfile->RelocateSection(debug_info_sp.get()); 1866868d2ddSNathan Lanza 1876868d2ddSNathan Lanza DataExtractor data; 1886868d2ddSNathan Lanza // length of 0x10 is not needed but length 0x0 crashes 1896868d2ddSNathan Lanza objfile->GetData(0x00, 0x10, data); 1906868d2ddSNathan Lanza DataBufferSP &data_buffer_sp = data.GetSharedDataBuffer(); 1916868d2ddSNathan Lanza uint8_t *bytes = data_buffer_sp->GetBytes(); 1926868d2ddSNathan Lanza 1936868d2ddSNathan Lanza addr_t debug_info_offset = debug_info_sp->GetFileOffset(); 1946868d2ddSNathan Lanza bytes += debug_info_offset; 1956868d2ddSNathan Lanza 1966868d2ddSNathan Lanza // Sanity check - The first byte from the yaml file is 0x47 1976868d2ddSNathan Lanza ASSERT_EQ(0x47, *bytes); 1986868d2ddSNathan Lanza 1996868d2ddSNathan Lanza // .rela.debug_info contains 9 relocations: 2006868d2ddSNathan Lanza // 7 R_AARCH64_ABS32 - 2 R_AARCH64_ABS64 2016868d2ddSNathan Lanza // None have a value. Four have addends. 202b37f1ec8SDavide Italiano CHECK_ABS32(bytes, 0x6, 0); 203b37f1ec8SDavide Italiano CHECK_ABS32(bytes, 0xC, 0); 204b37f1ec8SDavide Italiano CHECK_ABS32(bytes, 0x12, 45); 205b37f1ec8SDavide Italiano CHECK_ABS32(bytes, 0x16, 0); 206b37f1ec8SDavide Italiano CHECK_ABS32(bytes, 0x1A, 55); 207b37f1ec8SDavide Italiano CHECK_ABS64(bytes, 0x1E, 0); 208b37f1ec8SDavide Italiano CHECK_ABS64(bytes, 0x2B, 0); 209b37f1ec8SDavide Italiano CHECK_ABS32(bytes, 0x39, 73); 210b37f1ec8SDavide Italiano CHECK_ABS32(bytes, 0x44, 75); 2116868d2ddSNathan Lanza } 212