Libc Protections
Leer & oefen AWS Hack: HackTricks Opleiding AWS Red Team Expert (ARTE)
Leer & oefen GCP Hack:
HackTricks Opleiding GCP Red Team Expert (GRTE)
Stuk Uitlynhandhawing
Malloc ken geheue toe in 8-byte (32-bit) of 16-byte (64-bit) groepe. Dit beteken die einde van stukke in 32-bit stelsels moet belyn met 0x8, en in 64-bit stelsels met 0x0. Die sekuriteitskenmerk kontroleer dat elke stuk korrek belyn is by hierdie spesifieke plekke voordat 'n aanwyser van 'n bak gebruik word.
Sekuriteitsvoordele
Die handhawing van stuk uitlyn in 64-bit stelsels verbeter Malloc se sekuriteit aansienlik deur die plasing van valse stukke te beperk tot slegs 1 uit elke 16 adresse. Dit bemoeilik uitbuitingspogings aansienlik, veral in scenario's waar die gebruiker beperkte beheer oor insetwaardes het, wat aanvalle meer kompleks en moeiliker maak om suksesvol uit te voer.
Fastbin Aanval op __malloc_hook
Die nuwe uitlynreëls in Malloc dwarsboom ook 'n klassieke aanval wat die __malloc_hook
betrek. Voorheen kon aanvallers stukgroottes manipuleer om hierdie funksieaanwyser te oorheers en kode-uitvoering te verkry. Nou verseker die streng uitlynvereiste dat sulke manipulasies nie meer lewensvatbaar is nie, wat 'n algemene uitbuitingsroete sluit en die algehele sekuriteit verbeter.
Aanwyserverminking op fastbins en tcache
Aanwyserverminking is 'n sekuriteitsverbetering wat gebruik word om fastbin en tcache Fd-aanwysers te beskerm in geheuebestuurhandelinge. Hierdie tegniek help om sekere tipes geheue-uitbuitingstaktieke te voorkom, spesifiek dié wat nie gelekte geheue-inligting vereis nie of wat geheuelokasies direk relatief tot bekende posisies manipuleer (relatiewe oorheersings).
Die kern van hierdie tegniek is 'n verduisteringsformule:
Nuwe_Aanw = (L >> 12) XOR P
L is die Stoorplek van die aanwyser.
P is die werklike fastbin/tcache Fd-aanwyser.
Die rede vir die bitgewyse skuif van die stoorplek (L) met 12-bits na regs voor die XOR-operasie is krities. Hierdie manipulasie spreek 'n kwesbaarheid aan wat inherent is aan die bepaalde aard van die minst betekenisvolle 12-bits van geheueadresse, wat tipies voorspelbaar is as gevolg van stelselargitektuurbeperkings. Deur die bits te skuif, word die voorspelbare gedeelte uit die vergelyking verwyder, wat die willekeurigheid van die nuwe, verminkte aanwyser verbeter en sodoende teen uitbuitings beskerm wat op die voorspelbaarheid van hierdie bits staatmaak.
Hierdie verminkte aanwyser maak gebruik van die bestaande willekeurigheid wat deur Adresruimte-uitlegverandering (ASLR) voorsien word, wat adresse wat deur programme gebruik word, willekeurig maak om dit vir aanvallers moeilik te maak om die geheuelêer van 'n proses te voorspel.
Ontverminking van die aanwyser om die oorspronklike adres te herwin, behels die gebruik van dieselfde XOR-operasie. Hier word die verminkte aanwyser as P in die formule behandel, en wanneer dit met die onveranderde stoorplek (L) XOR word, lei dit daartoe dat die oorspronklike aanwyser onthul word. Hierdie simmetrie in verminking en ontverminking verseker dat die stelsel aanwysers doeltreffend kan kodeer en ontkodeer sonder beduidende oorhoofse, terwyl dit die sekuriteit teen aanvalle wat geheueaanwysers manipuleer, aansienlik verhoog.
Sekuriteitsvoordele
Aanwyserverminking beoog om gedeeltelike en volledige aanwyseroorheersings in die hoop-bestuur te voorkom, 'n beduidende verbetering in sekuriteit. Hierdie kenmerk beïnvloed uitbuitingstegnieke op verskeie maniere:
Voorkoming van Bye Byte Relatiewe Oorheersings: Voorheen kon aanvallers 'n deel van 'n aanwyser verander om geheuestukke na verskillende plekke om te lei sonder om die presiese adresse te ken, 'n tegniek wat duidelik is in die leklose House of Roman-uitbuiting. Met aanwyserverminking vereis sulke relatiewe oorheersings sonder 'n geheuelek nou brute force, wat hul suksesmoontlikheid drasties verminder.
Verhoogde Moeilikheid van Tcache Bin/Fastbin Aanvalle: Gewone aanvalle wat funksieaanwysers oorskryf (soos
__malloc_hook
) deur fastbin- of tcache-inskrywings te manipuleer, word gehinder. Byvoorbeeld, 'n aanval kan 'n LibC-adres lek, 'n stuk in die tcache-bin vrymaak, en dan die Fd-aanwyser oorskryf om dit na__malloc_hook
te stuur vir willekeurige kode-uitvoering. Met aanwyserverminking moet hierdie aanwysers korrek vermink word, wat 'n geheuelek vir akkurate manipulasie noodsaak, en sodoende die uitbuitingsdrempel verhoog.Vereiste vir Geheuelekke in Nie-Geheuelokasies: Die skep van 'n valse stuk in nie-geheue-areas (soos die stok, .bss-afdeling, of PLT/GOT) vereis nou ook 'n geheuelek weens die behoefte aan aanwyserverminking. Dit verleng die kompleksiteit van die uitbuiting van hierdie areas, soortgelyk aan die vereiste vir die manipulasie van LibC-adresse.
Lek van Geheueadresse Word Meer Uitdagend: Aanwyserverminking beperk die bruikbaarheid van Fd-aanwysers in fastbin- en tcache-bakke as bronne vir geheueadreslekkasies. Tog bly aanwysers in ongesorteerde, klein, en groot bakke onvermink, dus steeds bruikbaar vir lekkasies van adresse. Hierdie skuif dwing aanvallers om hierdie bakke te ondersoek vir uitbuitbare inligting, alhoewel sommige tegnieke steeds mag toelaat om aanwysers te ontvermink voor 'n lek, alhoewel met beperkings.
Ontverminking van Aanwysers met 'n Geheuelek
Vir 'n beter verduideliking van die proses kyk na die oorspronklike pos van hier.
Algoritme-oorsig
Die formule wat gebruik word vir die verminking en ontverminking van aanwysers is:
Nuwe_Aanw = (L >> 12) XOR P
Waar L die stoorplek is en P die Fd-aanwyser is. Wanneer L regs geskuif word met 12-bits, kry jy effektief die boonste 12-bits van P omdat die geskuifde gedeelte van L nul sal wees, wat P se ooreenstemmende bits onveranderd laat.
Belangrike Stappe in die Algoritme:
Aanvanklike Lek van die Mees Betekenisvolle Bits: Deur die geskuifde L met P te XOR, kry jy effektief die boonste 12-bits van P omdat die geskuifde gedeelte van L nul sal wees, wat P se ooreenstemmende bits onveranderd laat.
Herwinning van Aanwyserbits: Aangesien XOR omkeerbaar is, laat die kennis van die resultaat en een van die operandes jou toe om die ander operand te bereken. Hierdie eienskap word gebruik om die hele stel bits vir P af te lei deur bekende stelle bits suksesvol met dele van die verminkte aanwyser te XOR.
Iteratiewe Ontverminking: Die proses word herhaal, elke keer met die nuut ontdekte bits van P van die vorige stap om die volgende segment van die verminkte aanwyser te ontsluit, totdat alle bits herwin is.
Hantering van Bepaalde Bits: Die finale 12-bits van L gaan verlore weens die skuif, maar hulle is bepaal en kan na die proses herkonstrueer word.
Jy kan 'n implementering van hierdie algoritme hier vind: https://github.com/mdulin2/mangle
Pointer Wagtwoord
Pointer wagtwoord is 'n uitbuitingstegniek wat gebruik word in glibc om gestoorde funksie-aanwysers te beskerm, veral dié wat geregistreer is deur biblioteekoproepe soos atexit()
. Hierdie beskerming behels die deurmekaarklits van die aanwysers deur hulle met 'n geheim wat gestoor word in die draaddata (fs:0x30
) te XOR en 'n bitwyses rotasie toe te pas. Hierdie meganisme is daarop gemik om aanvallers te verhoed om beheervloei te kap nie deur funksie-aanwysers te oorskryf nie.
Bypassing Pointer Wagtwoord met 'n lek
Begrip van Pointer Wagtwoord Operasies: Die deurmekaarklits (mangling) van aanwysers word gedoen met behulp van die
PTR_MANGLE
makro wat die aanwyser met 'n 64-bis geheim XOR en dan 'n linkse rotasie van 0x11-bits uitvoer. Die omgekeerde operasie om die oorspronklike aanwyser te herwin, word hanteer deurPTR_DEMANGLE
.Aanvalstrategie: Die aanval is gebaseer op 'n bekende-teksbenadering, waar die aanvaller beide die oorspronklike en die deurmekaargeklitte weergawes van 'n aanwyser moet ken om die geheim wat vir die deurmekaarklitting gebruik word, af te lei.
Uitbuiting van Bekende Teks:
Identifisering van Vaste Funksie-Aanwysers: Deur glibc-bronkode te ondersoek of geïnisialiseerde funksie-aanwyser-tabelle (soos
__libc_pthread_functions
) te ondersoek, kan 'n aanvaller voorspelbare funksie-aanwysers vind.Berekening van die Geheim: Deur 'n bekende funksie-aanwyser soos
__pthread_attr_destroy
te gebruik en sy deurmekaargeklitte weergawe van die funksie-aanwyser-tabel, kan die geheim bereken word deur die deurmekaargeklitte aanwyser om te keer (regs rotasie) en dit dan met die adres van die funksie te XOR.
Alternatiewe Teks: Die aanvaller kan ook eksperimenteer met die deurmekaarklitting van aanwysers met bekende waardes soos 0 of -1 om te sien of hierdie identifiseerbare patrone in geheue produseer, wat moontlik die geheim kan onthul wanneer hierdie patrone in geheue-afleidings gevind word.
Praktiese Toepassing: Na die berekening van die geheim kan 'n aanvaller aanwysers op 'n beheerde wyse manipuleer, wat essensieel die Pointer Wagtwoordbeskerming in 'n multidraadtoepassing kan omseil met kennis van die libc-basisadres en die vermoë om willekeurige geheuelokasies te lees.
Verwysings
Last updated