Werk jy by 'n cybersekuriteitsmaatskappy? Wil jy jou maatskappy geadverteer sien in HackTricks? of wil jy toegang hê tot die nuutste weergawe van die PEASS of HackTricks aflaai in PDF? Kyk na die INSKRYWINGSPLANNE!
Die vorige program het 9 programkoppe, dan dui die segmenttoewysing aan in watter programkop (van 00 tot 08) elke afdeling geleë is.
PHDR - Program HeaDeR
Bevat die programkoppe en metadata self.
INTERP
Dui die pad van die laaier aan wat gebruik moet word om die binêre lêer in die geheue te laai.
LOAD
Hierdie koppe word gebruik om aan te dui hoe om 'n binêre lêer in die geheue te laai.
Elke LOAD kop dui 'n streek van geheue aan (grootte, toestemmings en belyning) en dui die bytes van die ELF binêre lêer aan om daar te kopieer.
Byvoorbeeld, die tweede een het 'n grootte van 0x1190, moet geleë wees by 0x1fc48 met lees- en skryftoestemmings en sal met 0x528 vanaf die verskuiwing 0xfc48 gevul word (dit vul nie al die voorbehoue spasie nie). Hierdie geheue sal die afdelings .init_array .fini_array .dynamic .got .data .bss bevat.
DYNAMIC
Hierdie kop help om programme aan hul biblioteekafhanklikhede te skakel en herlokasies toe te pas. Kyk na die .dynamic afdeling.
NOTE
Hierdie stoor vervaardigermetadata-inligting oor die binêre lêer.
GNU_EH_FRAME
Definieer die ligging van die stapontwindtabelle, wat deur afbrekers en C++-uitsonderingshanterings-runtimefunksies gebruik word.
GNU_STACK
Bevat die konfigurasie van die stapuitvoeringsvoorkomingsverdediging. As dit geaktiveer is, sal die binêre lêer nie in staat wees om kode van die stap uit te voer nie.
GNU_RELRO
Dui die RELRO (Herlokasie Lees-Slegs) konfigurasie van die binêre lêer aan. Hierdie beskerming sal sekere afdelings van die geheue (soos die GOT of die init en fini tabelle) as lees-slegs merk nadat die program gelaai is en voordat dit begin hardloop.
In die vorige voorbeeld kopieer dit 0x3b8 bytes na 0x1fc48 as lees-slegs wat die afdelings .init_array .fini_array .dynamic .got .data .bss affekteer.
Let daarop dat RELRO gedeeltelik of volledig kan wees, die gedeeltelike weergawe beskerm nie die afdeling .plt.got nie, wat vir lui binding gebruik word en hierdie geheueplek moet skryftoestemmings hê om die adres van die biblioteke die eerste keer wat hul ligging gesoek word, te skryf.
TLS
Definieer 'n tabel van TLS-inskrywings, wat inligting oor draadlokale veranderlikes stoor.
Afdelingskoppe
Afdelingskoppe gee 'n meer gedetailleerde uitsig van die ELF-binêre lêer.
String-tabel: Dit bevat al die strings wat deur die ELF-lêer benodig word (maar nie die wat werklik deur die program gebruik word nie). Byvoorbeeld, dit bevat seksienames soos .text of .data. En as .text by offset 45 in die string-tabel is, sal dit die nommer 45 in die naam-veld gebruik.
Om te vind waar die string-tabel is, bevat die ELF 'n wyser na die string-tabel.
Simbooltabel: Dit bevat inligting oor die simbole soos die naam (offset in die string-tabel), adres, grootte en meer metadata oor die simbool.
Hoof Seksies
.text: Die instruksie van die program om uit te voer.
.data: Globale veranderlikes met 'n gedefinieerde waarde in die program.
.bss: Globale veranderlikes wat ongeïnisialiseer gelaat is (of geïnisialiseer na nul). Veranderlikes hier word outomaties na nul geïnisialiseer en voorkom dus nuttelose nulle wat by die binêre lêer gevoeg word.
.tdata en .tbss: Soos die .data en .bss wanneer draadlokale veranderlikes gebruik word (__thread_local in C++ of __thread in C).
.dinamies: Sien hieronder.
Simbole
Simbole is 'n benoemde plek in die program wat 'n funksie, 'n globale data objek, draadlokale veranderlikes kan wees...
readelf -s lnstat
Symbol table '.dynsym' contains 49 entries:
Num: Value Size Type Bind Vis Ndx Name
0: 0000000000000000 0 NOTYPE LOCAL DEFAULT UND
1: 0000000000001088 0 SECTION LOCAL DEFAULT 12 .init
2: 0000000000020000 0 SECTION LOCAL DEFAULT 23 .data
3: 0000000000000000 0 FUNC GLOBAL DEFAULT UND strtok@GLIBC_2.17 (2)
4: 0000000000000000 0 FUNC GLOBAL DEFAULT UND s[...]@GLIBC_2.17 (2)
5: 0000000000000000 0 FUNC GLOBAL DEFAULT UND strlen@GLIBC_2.17 (2)
6: 0000000000000000 0 FUNC GLOBAL DEFAULT UND fputs@GLIBC_2.17 (2)
7: 0000000000000000 0 FUNC GLOBAL DEFAULT UND exit@GLIBC_2.17 (2)
8: 0000000000000000 0 FUNC GLOBAL DEFAULT UND _[...]@GLIBC_2.34 (3)
9: 0000000000000000 0 FUNC GLOBAL DEFAULT UND perror@GLIBC_2.17 (2)
10: 0000000000000000 0 NOTYPE WEAK DEFAULT UND _ITM_deregisterT[...]
11: 0000000000000000 0 FUNC WEAK DEFAULT UND _[...]@GLIBC_2.17 (2)
12: 0000000000000000 0 FUNC GLOBAL DEFAULT UND putc@GLIBC_2.17 (2)
[...]
Elke simboolinskrywing bevat:
Naam
Bindende eienskappe (swak, plaaslik of globaal): 'n Plaaslike simbool kan slegs deur die program self benader word terwyl die globale simbool buite die program gedeel word. 'n Swak objek is byvoorbeeld 'n funksie wat deur 'n ander een oorskryf kan word.
Tipe: GEENTIPE (geen tipe gespesifiseer), OBJEK (globale data var), FUNKSIE (funksie), SEKSIE (afdeling), LÊER (bronkode-lêer vir afsonderlike), TLS (draadlokale veranderlike), GNU_IFUNK (indirekte funksie vir herlokalisering)
Die NEEDED-gids dui aan dat die program die genoemde biblioteek moet laai om voort te gaan. Die NEEDED-gids is voltooi sodra die gedeelde biblioteek volledig operasioneel en gereed vir gebruik is.
Herlokasies
Die laaier moet ook afhanklikhede herlokasieer nadat hulle gelaai is. Hierdie herlokasies word aangedui in die herlokasietabel in formate REL of RELA en die aantal herlokasies word gegee in die dinamiese afdelings RELSZ of RELASZ.
Indien die program in 'n ander plek gelaai word as die verkose adres (gewoonlik 0x400000) omdat die adres reeds gebruik word of as gevolg van ASLR of enige ander rede, sal 'n statiese herlokalisasie aanwysers regstel wat waardes verwag het dat die binêre lêer in die verkose adres gelaai sou word.
Byvoorbeeld, enige afdeling van die tipe R_AARCH64_RELATIV behoort die adres by die herlokalisasie skuins plus die byvoegingswaarde gewysig te hê.
Dinamiese Herlokalisasies en GOT
Die herlokalisasie kan ook na 'n eksterne simbool verwys (soos 'n funksie van 'n afhanklikheid). Soos die funksie malloc van libC. Dan, wanneer die lêer libC in 'n adres laai en nagaan waar die malloc-funksie gelaai is, sal dit hierdie adres in die GOT (Global Offset Table) tabel skryf (aangedui in die herlokalisasie tabel) waar die adres van malloc gespesifiseer behoort te word.
Prosedure Koppelings Tabel
Die PLT afdeling maak dit moontlik om lui koppeling uit te voer, wat beteken dat die oplossing van die ligging van 'n funksie die eerste keer sal plaasvind wanneer dit benader word.
Dus wanneer 'n program na malloc skakel, roep dit eintlik die ooreenstemmende ligging van malloc in die PLT (malloc@plt) aan. Die eerste keer wat dit geroep word, los dit die adres van malloc op en stoor dit sodat die volgende keer dat malloc geroep word, daardie adres gebruik word in plaas van die PLT-kode.
Program Inisialisering
Nadat die program gelaai is, is dit tyd vir dit om uit te voer. Tog is die eerste kode wat uitgevoer word nie altyd die main funksie nie. Dit is omdat byvoorbeeld in C++ as 'n globale veranderlike 'n voorwerp van 'n klas is, moet hierdie voorwerp geïnisialiseer wordvoordat main uitgevoer word, soos in:
Merk op dat hierdie globale veranderlikes in .data of .bss geleë is, maar in die lys __CTOR_LIST__ en __DTOR_LIST__ word die objekte om te initialiseer en te vernietig gestoor om hulle dop te hou.
Vanuit C-kode is dit moontlik om dieselfde resultaat te verkry deur die gebruik van die GNU-uitbreidings:
__attributte__((constructor)) //Add a constructor to execute before__attributte__((destructor)) //Add to the destructor list
Vanuit 'n samestellerperspektief, om hierdie aksies uit te voer voor en na die main funksie uitgevoer word, is dit moontlik om 'n init funksie en 'n fini funksie te skep wat in die dinamiese afdeling as INIT en FIN verwys word en in die init en fini afdelings van die ELF geplaas word.
Die ander opsie, soos genoem, is om die lyste __CTOR_LIST__ en __DTOR_LIST__ in die INIT_ARRAY en FINI_ARRAY inskrywings in die dinamiese afdeling te verwys en die lengte van hierdie word aangedui deur INIT_ARRAYSZ en FINI_ARRAYSZ. Elke inskrywing is 'n funksie-aanwyser wat sonder argumente geroep sal word.
Verder is dit ook moontlik om 'n PREINIT_ARRAY met aanwysers te hê wat uitgevoer sal word voor die INIT_ARRAY aanwysers.
Inisialisasievolgorde
Die program word in die geheue gelaai, statiese globale veranderlikes word geïnisialiseer in .data en ongeïnisialiseerde veranderlikes word genul in .bss.
Alle afhanklikhede vir die program of biblioteke word geïnisialiseer en die dinamiese koppeling word uitgevoer.
PREINIT_ARRAY funksies word uitgevoer.
INIT_ARRAY funksies word uitgevoer.
As daar 'n INIT inskrywing is, word dit geroep.
As 'n biblioteek, eindig dlopen hier, as 'n program, is dit tyd om die werklike inspringpunt (main funksie) te roep.
Draadlokale Stoorplek (TLS)
Hulle word gedefinieer deur die sleutelwoord __thread_local in C++ of die GNU-uitbreiding __thread te gebruik.
Elke draad sal 'n unieke plek vir hierdie veranderlike handhaaf sodat slegs die draad toegang tot sy veranderlike kan hê.
Wanneer dit gebruik word, word die afdelings .tdata en .tbss in die ELF gebruik. Dit is soos .data (geïnisialiseer) en .bss (nie-geïnisialiseer) maar vir TLS.
Elke veranderlike sal 'n inskrywing in die TLS-kop hê wat die grootte en die TLS-offset spesifiseer, wat die offset is wat dit in die draad se plaaslike data-gebied sal gebruik.
Die __TLS_MODULE_BASE is 'n simbool wat gebruik word om na die basisadres van die draadlokale stoorplek te verwys en wys na die area in die geheue wat al die draadlokale data van 'n module bevat.