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