"""
Test absolute symbols in ELF files to make sure they don't create sections and
to verify that symbol values and size can still be accessed via SBSymbol APIs.
"""
from lldbsuite.test.decorators import *
from lldbsuite.test.lldbtest import *
from lldbsuite.test import lldbutil
import os
class TestAbsoluteSymbol(TestBase):
@no_debug_info_test
def test_absolute_symbol(self):
"""
Load an ELF file that contains two symbols:
- "absolute" which is a symbol with the section SHN_ABS
- "main" which is a code symbol in .text
Index st_name st_value st_size st_info st_other st_shndx Name
======= ---------- ------------------ ------------------ ----------------------------------- -------- -------- ===========================
[ 0] 0x00000000 0x0000000000000000 0x0000000000000000 0x00 (STB_LOCAL STT_NOTYPE ) 0x00 0
[ 1] 0x00000001 0x0000000000001000 0x0000000000000004 0x12 (STB_GLOBAL STT_FUNC ) 0x00 1 main
[ 2] 0x00000006 0xffffffff80000000 0x0000000000000009 0x10 (STB_GLOBAL STT_NOTYPE ) 0x00 SHN_ABS absolute
We used to create sections for symbols whose section ID was SHN_ABS
and this caused problems as the new sections could interfere with
with address resolution. Absolute symbols' values are not addresses
and should not be treated this way.
New APIs were added to SBSymbol to allow access to the raw integer
value and size of symbols so symbols whose value was not an address
could be accessed. Prior to this commit, you could only call:
SBAddress SBSymbol::GetStartAddress()
SBAddress SBSymbol::GetEndAddress()
If the symbol's value was not an address, you couldn't access the
raw value because the above accessors would return invalid SBAddress
objects if the value wasn't an address. New APIs were added for this:
uint64_t SBSymbol::GetValue()
uint64_t SBSymbol::GetSize();
"""
src_dir = self.getSourceDir()
yaml_path = os.path.join(src_dir, "absolute.yaml")
yaml_base, ext = os.path.splitext(yaml_path)
obj_path = self.getBuildArtifact("a.out")
self.yaml2obj(yaml_path, obj_path)
# Create a target with the object file we just created from YAML
target = self.dbg.CreateTarget(obj_path)
self.assertTrue(target, VALID_TARGET)
module = target.modules[0]
# Make sure the 'main' symbol is valid and has address values. Also make
# sure we can access the raw file address and size via the new APIS.
symbol = module.FindSymbol("main")
self.assertTrue(symbol.IsValid())
self.assertTrue(symbol.GetStartAddress().IsValid())
self.assertTrue(symbol.GetEndAddress().IsValid())
self.assertEqual(symbol.GetValue(), 0x1000)
self.assertEqual(symbol.GetSize(), 0x4)
# Make sure the 'absolute' symbol is valid and has no address values.
# Also make sure we can access the raw file address and size via the new
# APIS.
symbol = module.FindSymbol("absolute")
self.assertTrue(symbol.IsValid())
self.assertFalse(symbol.GetStartAddress().IsValid())
self.assertFalse(symbol.GetEndAddress().IsValid())
self.assertEqual(symbol.GetValue(), 0xFFFFFFFF80000000)
self.assertEqual(symbol.GetSize(), 9)
# Make sure no sections were created for the absolute symbol with a
# prefix of ".absolute." followed by the symbol name as they interfere
# with address lookups if they are treated like real sections.
for section in module.sections:
self.assertNotEqual(section.GetName(), ".absolute.absolute")