1efddda3dSPavel Labath //===-- TestObjectFileELF.cpp -----------------------------------*- C++ -*-===// 2efddda3dSPavel Labath // 3efddda3dSPavel Labath // 4efddda3dSPavel Labath // The LLVM Compiler Infrastructure 5efddda3dSPavel Labath // 6efddda3dSPavel Labath // This file is distributed under the University of Illinois Open Source 7efddda3dSPavel Labath // License. See LICENSE.TXT for details. 8efddda3dSPavel Labath // 9efddda3dSPavel Labath //===----------------------------------------------------------------------===// 10efddda3dSPavel Labath 11efddda3dSPavel Labath #include "Plugins/ObjectFile/ELF/ObjectFileELF.h" 127ed3e22fSPavel Labath #include "Plugins/SymbolVendor/ELF/SymbolVendorELF.h" 13e2867bc4SPavel Labath #include "TestingSupport/TestUtilities.h" 14efddda3dSPavel Labath #include "lldb/Core/Module.h" 15efddda3dSPavel Labath #include "lldb/Core/ModuleSpec.h" 16efddda3dSPavel Labath #include "lldb/Core/Section.h" 1746376966SJonas Devlieghere #include "lldb/Host/FileSystem.h" 18efddda3dSPavel Labath #include "lldb/Host/HostInfo.h" 19*6868d2ddSNathan Lanza #include "lldb/Utility/DataBufferHeap.h" 20e7d85688SVedant Kumar #include "llvm/ADT/Optional.h" 21e2867bc4SPavel Labath #include "llvm/Support/Compression.h" 22efddda3dSPavel Labath #include "llvm/Support/FileUtilities.h" 23efddda3dSPavel Labath #include "llvm/Support/Path.h" 24efddda3dSPavel Labath #include "llvm/Support/Program.h" 25efddda3dSPavel Labath #include "llvm/Support/raw_ostream.h" 26efddda3dSPavel Labath #include "gtest/gtest.h" 27efddda3dSPavel Labath 28efddda3dSPavel Labath using namespace lldb_private; 29efddda3dSPavel Labath using namespace lldb; 30efddda3dSPavel Labath 31efddda3dSPavel Labath class ObjectFileELFTest : public testing::Test { 32efddda3dSPavel Labath public: 33efddda3dSPavel Labath void SetUp() override { 3446376966SJonas Devlieghere FileSystem::Initialize(); 35efddda3dSPavel Labath HostInfo::Initialize(); 36efddda3dSPavel Labath ObjectFileELF::Initialize(); 37efddda3dSPavel Labath SymbolVendorELF::Initialize(); 38efddda3dSPavel Labath } 39efddda3dSPavel Labath 40efddda3dSPavel Labath void TearDown() override { 41efddda3dSPavel Labath SymbolVendorELF::Terminate(); 42efddda3dSPavel Labath ObjectFileELF::Terminate(); 43efddda3dSPavel Labath HostInfo::Terminate(); 4446376966SJonas Devlieghere FileSystem::Terminate(); 45efddda3dSPavel Labath } 46efddda3dSPavel Labath 47efddda3dSPavel Labath protected: 48efddda3dSPavel Labath }; 49efddda3dSPavel Labath 50efddda3dSPavel Labath #define ASSERT_NO_ERROR(x) \ 51efddda3dSPavel Labath if (std::error_code ASSERT_NO_ERROR_ec = x) { \ 52efddda3dSPavel Labath llvm::SmallString<128> MessageStorage; \ 53efddda3dSPavel Labath llvm::raw_svector_ostream Message(MessageStorage); \ 54efddda3dSPavel Labath Message << #x ": did not return errc::success.\n" \ 55efddda3dSPavel Labath << "error number: " << ASSERT_NO_ERROR_ec.value() << "\n" \ 56efddda3dSPavel Labath << "error message: " << ASSERT_NO_ERROR_ec.message() << "\n"; \ 57efddda3dSPavel Labath GTEST_FATAL_FAILURE_(MessageStorage.c_str()); \ 58efddda3dSPavel Labath } else { \ 59efddda3dSPavel Labath } 60efddda3dSPavel Labath 61efddda3dSPavel Labath TEST_F(ObjectFileELFTest, SectionsResolveConsistently) { 627ed3e22fSPavel Labath std::string yaml = GetInputFilePath("sections-resolve-consistently.yaml"); 637ed3e22fSPavel Labath llvm::SmallString<128> obj; 64efddda3dSPavel Labath ASSERT_NO_ERROR(llvm::sys::fs::createTemporaryFile( 65efddda3dSPavel Labath "sections-resolve-consistently-%%%%%%", "obj", obj)); 66efddda3dSPavel Labath 67efddda3dSPavel Labath llvm::FileRemover remover(obj); 6808426e1fSZachary Turner llvm::StringRef args[] = {YAML2OBJ, yaml}; 69efddda3dSPavel Labath llvm::StringRef obj_ref = obj; 70e7d85688SVedant Kumar const llvm::Optional<llvm::StringRef> redirects[] = {llvm::None, obj_ref, 71e7d85688SVedant Kumar llvm::None}; 7208426e1fSZachary Turner ASSERT_EQ(0, 7308426e1fSZachary Turner llvm::sys::ExecuteAndWait(YAML2OBJ, args, llvm::None, redirects)); 74efddda3dSPavel Labath uint64_t size; 75efddda3dSPavel Labath ASSERT_NO_ERROR(llvm::sys::fs::file_size(obj, size)); 76efddda3dSPavel Labath ASSERT_GT(size, 0u); 77efddda3dSPavel Labath 788f3be7a3SJonas Devlieghere ModuleSpec spec{FileSpec(obj)}; 798f3be7a3SJonas Devlieghere spec.GetSymbolFileSpec().SetFile(obj, FileSpec::Style::native); 80efddda3dSPavel Labath auto module_sp = std::make_shared<Module>(spec); 81efddda3dSPavel Labath SectionList *list = module_sp->GetSectionList(); 82efddda3dSPavel Labath ASSERT_NE(nullptr, list); 83efddda3dSPavel Labath 84efddda3dSPavel Labath auto bss_sp = list->FindSectionByName(ConstString(".bss")); 85efddda3dSPavel Labath ASSERT_NE(nullptr, bss_sp); 86efddda3dSPavel Labath auto data_sp = list->FindSectionByName(ConstString(".data")); 87efddda3dSPavel Labath ASSERT_NE(nullptr, data_sp); 88efddda3dSPavel Labath auto text_sp = list->FindSectionByName(ConstString(".text")); 89efddda3dSPavel Labath ASSERT_NE(nullptr, text_sp); 90efddda3dSPavel Labath 91efddda3dSPavel Labath const Symbol *X = module_sp->FindFirstSymbolWithNameAndType(ConstString("X"), 92efddda3dSPavel Labath eSymbolTypeAny); 93efddda3dSPavel Labath ASSERT_NE(nullptr, X); 94efddda3dSPavel Labath EXPECT_EQ(bss_sp, X->GetAddress().GetSection()); 95efddda3dSPavel Labath 96efddda3dSPavel Labath const Symbol *Y = module_sp->FindFirstSymbolWithNameAndType(ConstString("Y"), 97efddda3dSPavel Labath eSymbolTypeAny); 98efddda3dSPavel Labath ASSERT_NE(nullptr, Y); 99efddda3dSPavel Labath EXPECT_EQ(data_sp, Y->GetAddress().GetSection()); 100efddda3dSPavel Labath 101efddda3dSPavel Labath const Symbol *start = module_sp->FindFirstSymbolWithNameAndType( 102efddda3dSPavel Labath ConstString("_start"), eSymbolTypeAny); 103efddda3dSPavel Labath ASSERT_NE(nullptr, start); 104efddda3dSPavel Labath EXPECT_EQ(text_sp, start->GetAddress().GetSection()); 105efddda3dSPavel Labath } 1064f033125SPavel Labath 1074f033125SPavel Labath // Test that GetModuleSpecifications works on an "atypical" object file which 1084f033125SPavel Labath // has section headers right after the ELF header (instead of the more common 1094f033125SPavel Labath // layout where the section headers are at the very end of the object file). 110bca95f8aSPavel Labath // 111bca95f8aSPavel Labath // Test file generated with yaml2obj (@svn rev 324254) from the following input: 112bca95f8aSPavel Labath /* 113bca95f8aSPavel Labath --- !ELF 114bca95f8aSPavel Labath FileHeader: 115bca95f8aSPavel Labath Class: ELFCLASS64 116bca95f8aSPavel Labath Data: ELFDATA2LSB 117bca95f8aSPavel Labath Type: ET_EXEC 118bca95f8aSPavel Labath Machine: EM_X86_64 119bca95f8aSPavel Labath Entry: 0x00000000004003D0 120bca95f8aSPavel Labath Sections: 121bca95f8aSPavel Labath - Name: .note.gnu.build-id 122bca95f8aSPavel Labath Type: SHT_NOTE 123bca95f8aSPavel Labath Flags: [ SHF_ALLOC ] 124bca95f8aSPavel Labath Address: 0x0000000000400274 125bca95f8aSPavel Labath AddressAlign: 0x0000000000000004 126bca95f8aSPavel Labath Content: 040000001400000003000000474E55001B8A73AC238390E32A7FF4AC8EBE4D6A41ECF5C9 127bca95f8aSPavel Labath - Name: .text 128bca95f8aSPavel Labath Type: SHT_PROGBITS 129bca95f8aSPavel Labath Flags: [ SHF_ALLOC, SHF_EXECINSTR ] 130bca95f8aSPavel Labath Address: 0x00000000004003D0 131bca95f8aSPavel Labath AddressAlign: 0x0000000000000010 132bca95f8aSPavel Labath Content: DEADBEEFBAADF00D 133bca95f8aSPavel Labath ... 134bca95f8aSPavel Labath */ 1354f033125SPavel Labath TEST_F(ObjectFileELFTest, GetModuleSpecifications_EarlySectionHeaders) { 1364f033125SPavel Labath std::string SO = GetInputFilePath("early-section-headers.so"); 1374f033125SPavel Labath ModuleSpecList Specs; 1388f3be7a3SJonas Devlieghere ASSERT_EQ(1u, ObjectFile::GetModuleSpecifications(FileSpec(SO), 0, 0, Specs)); 1394f033125SPavel Labath ModuleSpec Spec; 1404f033125SPavel Labath ASSERT_TRUE(Specs.GetModuleSpecAtIndex(0, Spec)) ; 1414f033125SPavel Labath UUID Uuid; 1424f033125SPavel Labath Uuid.SetFromStringRef("1b8a73ac238390e32a7ff4ac8ebe4d6a41ecf5c9", 20); 1434f033125SPavel Labath EXPECT_EQ(Spec.GetUUID(), Uuid); 1444f033125SPavel Labath } 145*6868d2ddSNathan Lanza 146*6868d2ddSNathan Lanza #define CHECK_ABS32(offset, addend) \ 147*6868d2ddSNathan Lanza ASSERT_EQ((uint32_t)addend, *(uint32_t *)(bytes + offset)) 148*6868d2ddSNathan Lanza #define CHECK_ABS64(offset, addend) \ 149*6868d2ddSNathan Lanza ASSERT_EQ((uint64_t)addend, *(uint64_t *)(bytes + offset)) 150*6868d2ddSNathan Lanza 151*6868d2ddSNathan Lanza TEST_F(ObjectFileELFTest, TestAARCH64Relocations) { 152*6868d2ddSNathan Lanza std::string yaml = GetInputFilePath("debug-info-relocations.pcm.yaml"); 153*6868d2ddSNathan Lanza llvm::SmallString<128> obj; 154*6868d2ddSNathan Lanza ASSERT_NO_ERROR(llvm::sys::fs::createTemporaryFile( 155*6868d2ddSNathan Lanza "debug-info-relocations-%%%%%%", "obj", obj)); 156*6868d2ddSNathan Lanza 157*6868d2ddSNathan Lanza llvm::FileRemover remover(obj); 158*6868d2ddSNathan Lanza llvm::StringRef args[] = {YAML2OBJ, yaml}; 159*6868d2ddSNathan Lanza llvm::StringRef obj_ref = obj; 160*6868d2ddSNathan Lanza const llvm::Optional<llvm::StringRef> redirects[] = {llvm::None, obj_ref, 161*6868d2ddSNathan Lanza llvm::None}; 162*6868d2ddSNathan Lanza ASSERT_EQ(0, 163*6868d2ddSNathan Lanza llvm::sys::ExecuteAndWait(YAML2OBJ, args, llvm::None, redirects)); 164*6868d2ddSNathan Lanza uint64_t size; 165*6868d2ddSNathan Lanza ASSERT_NO_ERROR(llvm::sys::fs::file_size(obj, size)); 166*6868d2ddSNathan Lanza ASSERT_GT(size, 0u); 167*6868d2ddSNathan Lanza 168*6868d2ddSNathan Lanza ModuleSpec spec{FileSpec(obj)}; 169*6868d2ddSNathan Lanza spec.GetSymbolFileSpec().SetFile(obj, FileSpec::Style::native); 170*6868d2ddSNathan Lanza auto module_sp = std::make_shared<Module>(spec); 171*6868d2ddSNathan Lanza 172*6868d2ddSNathan Lanza auto objfile = static_cast<ObjectFileELF *>(module_sp->GetObjectFile()); 173*6868d2ddSNathan Lanza SectionList *section_list = objfile->GetSectionList(); 174*6868d2ddSNathan Lanza ASSERT_NE(nullptr, section_list); 175*6868d2ddSNathan Lanza 176*6868d2ddSNathan Lanza auto debug_info_sp = 177*6868d2ddSNathan Lanza section_list->FindSectionByName(ConstString(".debug_info")); 178*6868d2ddSNathan Lanza ASSERT_NE(nullptr, debug_info_sp); 179*6868d2ddSNathan Lanza objfile->RelocateSection(debug_info_sp.get()); 180*6868d2ddSNathan Lanza 181*6868d2ddSNathan Lanza DataExtractor data; 182*6868d2ddSNathan Lanza // length of 0x10 is not needed but length 0x0 crashes 183*6868d2ddSNathan Lanza objfile->GetData(0x00, 0x10, data); 184*6868d2ddSNathan Lanza DataBufferSP &data_buffer_sp = data.GetSharedDataBuffer(); 185*6868d2ddSNathan Lanza uint8_t *bytes = data_buffer_sp->GetBytes(); 186*6868d2ddSNathan Lanza 187*6868d2ddSNathan Lanza addr_t debug_info_offset = debug_info_sp->GetFileOffset(); 188*6868d2ddSNathan Lanza bytes += debug_info_offset; 189*6868d2ddSNathan Lanza 190*6868d2ddSNathan Lanza // Sanity check - The first byte from the yaml file is 0x47 191*6868d2ddSNathan Lanza ASSERT_EQ(0x47, *bytes); 192*6868d2ddSNathan Lanza 193*6868d2ddSNathan Lanza // .rela.debug_info contains 9 relocations: 194*6868d2ddSNathan Lanza // 7 R_AARCH64_ABS32 - 2 R_AARCH64_ABS64 195*6868d2ddSNathan Lanza // None have a value. Four have addends. 196*6868d2ddSNathan Lanza CHECK_ABS32(0x6, 0); 197*6868d2ddSNathan Lanza CHECK_ABS32(0xC, 0); 198*6868d2ddSNathan Lanza CHECK_ABS32(0x12, 45); 199*6868d2ddSNathan Lanza CHECK_ABS32(0x16, 0); 200*6868d2ddSNathan Lanza CHECK_ABS32(0x1A, 55); 201*6868d2ddSNathan Lanza CHECK_ABS64(0x1E, 0); 202*6868d2ddSNathan Lanza CHECK_ABS64(0x2B, 0); 203*6868d2ddSNathan Lanza CHECK_ABS32(0x39, 73); 204*6868d2ddSNathan Lanza CHECK_ABS32(0x44, 75); 205*6868d2ddSNathan Lanza } 206