Introduction to ARM64v8
Last updated
Last updated
Учите и практикујте AWS Hacking:HackTricks Training AWS Red Team Expert (ARTE) Учите и практикујте GCP Hacking: HackTricks Training GCP Red Team Expert (GRTE)
У ARMv8 архитектури, нивои изузетака, познати као Нивои Изузетака (EL), дефинишу ниво привилегија и способности извршног окружења. Постоје четири нивоа изузетака, од EL0 до EL3, од којих сваки служи различитој сврси:
EL0 - Кориснички режим:
Ово је најмање привилегован ниво и користи се за извршавање редовног кода апликација.
Апликације које раде на EL0 су изоловане једна од друге и од системског софтвера, што побољшава безбедност и стабилност.
EL1 - Режим језгра оперативног система:
Већина језгара оперативних система ради на овом нивоу.
EL1 има више привилегија од EL0 и може приступити системским ресурсима, али уз нека ограничења ради очувања интегритета система.
EL2 - Режим хипервизора:
Овај ниво се користи за виртуализацију. Хипервизор који ради на EL2 може управљати више оперативних система (сваки у свом EL1) који раде на истом физичком хардверу.
EL2 пружа функције за изолацију и контролу виртуализованих окружења.
EL3 - Режим сигурног монитора:
Ово је најпривилегованији ниво и често се користи за сигурно покретање и поверење у извршна окружења.
EL3 може управљати и контролисати приступе између сигурних и несигурних стања (као што су сигурно покретање, поверење у ОС, итд.).
Користење ових нивоа омогућава структурисан и сигуран начин управљања различитим аспектима система, од корисничких апликација до најпривилегованијег системског софтвера. Приступ ARMv8 нивима привилегија помаже у ефикасном изоловању различитих компоненти система, чиме се побољшава безбедност и робусност система.
ARM64 има 31 регистар опште намене, обележен x0 до x30. Сваки може да чува 64-битну (8-бајтну) вредност. За операције које захтевају само 32-битне вредности, исти регистри могу бити доступни у 32-битном режиму користећи имена w0 до w30.
x0 до x7 - Ови се обично користе као регистри за привремене податке и за пренос параметара у подпрограме.
x0 такође носи повратне податке функције
x8 - У Linux језгру, x8 се користи као број системског позива за svc инструкцију. У macOS, x16 је тај који се користи!
x9 до x15 - Више привремених регистара, често се користе за локалне променљиве.
x16 и x17 - Регистри за позиве унутар процедура. Привремени регистри за одмах вредности. Такође се користе за индиректне позиве функција и PLT (Табела повезивања процедура).
x16 се користи као број системског позива за svc инструкцију у macOS.
x18 - Регистар платформе. Може се користити као регистар опште намене, али на неким платформама, овај регистар је резервисан за платформски специфичне намене: Показивач на блок окружења тренутне нит у Windows-у, или да укаже на тренутну структуру извршавања задатка у linux језгру.
x19 до x28 - Ово су регистри које чува позвана функција. Функција мора да сачува вредности ових регистара за свог позиваоца, тако да се чувају на стеку и опорављају пре него што се врати позиваоцу.
x29 - Показивач оквира за праћење оквира стека. Када се креира нови оквир стека јер је функција позвана, x29 регистар се чува на стеку и нова адреса показивача оквира (sp адреса) се чува у овом регистру.
Овај регистар се такође може користити као регистар опште намене иако се обично користи као референца за локалне променљиве.
x30 или lr- Регистар за повратак. Држи адресу повратка када се извршава BL (Грант са линком) или BLR (Грант са линком на регистар) инструкција чувајући pc вредност у овом регистру.
Може се користити и као било који други регистар.
Ако тренутна функција позива нову функцију и стога ће преоптеретити lr, чуваће је на стеку на почетку, ово је епилог (stp x29, x30 , [sp, #-48]; mov x29, sp -> Сачувај fp и lr, генериши простор и добиј нови fp) и опоравиће је на крају, ово је пролог (ldp x29, x30, [sp], #48; ret -> Опорави fp и lr и врати се).
sp - Показивач стека, користи се за праћење врха стека.
Вредност sp треба увек да буде одржавана на најмање квадричном поретку или може доћи до изузетка у поретку.
pc - Бројач програма, који указује на следећу инструкцију. Овај регистар може бити ажуриран само кроз генерисање изузетака, повратке изузетака и гране. Једине обичне инструкције које могу читати овај регистар су инструкције гране са линком (BL, BLR) да чувају pc адресу у lr (Регистар за повратак).
xzr - Нулти регистар. Такође се зове wzr у 32-битном регистарном облику. Може се користити за лако добијање нулте вредности (обична операција) или за извршавање поређења користећи subs као subs XZR, Xn, #10 чувајући резултујуће податке нигде (у xzr).
Регистри Wn су 32-битна верзија регистара Xn.
Штавише, постоји још 32 регистра дужине 128бит који се могу користити у оптимизованим операцијама са једном инструкцијом за више података (SIMD) и за извршавање аритметике покретних тачака. Ови се зову Vn регистри иако могу радити и у 64-битном, 32-битном, 16-битном и 8-битном режиму и тада се зову Qn, Dn, Sn, Hn и Bn.
Постоје стотине системских регистара, такође познатих као регистри специјалне намене (SPRs), који се користе за праћење и контролу понашања процесора.
Могу се читати или постављати само помоћу посебних инструкција mrs и msr.
Посебни регистри TPIDR_EL0 и TPIDDR_EL0 се често налазе током реверзног инжењеринга. Суфикс EL0 указује на минимално изузеће из ког се регистар може приступити (у овом случају EL0 је редовни ниво изузећа (привилегија) на коме редовни програми раде).
Често се користе за чување основне адресе региона локалне меморије. Обично је први читљив и записив за програме који раде у EL0, али други се може читати из EL0 и писати из EL1 (као језгро).
mrs x0, TPIDR_EL0 ; Читај TPIDR_EL0 у x0
msr TPIDR_EL0, X0 ; Запиши x0 у TPIDR_EL0
PSTATE садржи неколико компоненти процеса сериализованих у регистар специјалне намене видљивом оперативном систему SPSR_ELx, где је X ниво дозволе изазваног изузећа (ово омогућава опоравак стања процеса када изузеће заврши).
Ово су доступна поља:
N, Z, C и V условне заставице:
N значи да је операција дала негативан резултат
Z значи да је операција дала нулу
C значи да је операција пренела
V значи да је операција дала потписано преливање:
Збир две позитивне бројеве даје негативан резултат.
Збир два негативна броја даје позитиван резултат.
У одузимању, када се велики негативан број одузима од мањег позитивног броја (или обрнуто), и резултат не може бити представљен у опсегу дате величине бита.
Очигледно, процесор не зна да ли је операција потписана или не, па ће проверити C и V у операцијама и указати да ли је дошло до преноса у случају да је било потписано или непотписано.
Нису све инструкције ажурирале ове заставице. Неке као CMP или TST то раде, а друге које имају s суфикс као ADDS такође то раде.
Тренутна ширина регистра (nRW) застава: Ако застава држи вредност 0, програм ће се извршавати у AArch64 извршном стању када се поново покрене.
Тренутни Ниво изузетака (EL): Редован програм који ради у EL0 имаће вредност 0
Заставица појединачног корака (SS): Користи се од стране дебагера за појединачно корачање постављајући SS заставицу на 1 унутар SPSR_ELx кроз изузеће. Програм ће извршити корак и изазвати изузеће појединачног корака.
Заставица нелегалног изузећа (IL): Користи се за означавање када привилегисани софтвер изврши неважећи пренос нивоа изузетка, ова застава се поставља на 1 и процесор активира изузеће нелегалног стања.
DAIF заставице: Ове заставице омогућавају привилегисаном програму да селективно маскира одређена спољна изузећа.
Ако је A 1, то значи да ће бити активирани асинхрони прекиди. I конфигурише да реагује на спољне хардверске Захтеве за прекид (IRQ). и F је повезан са Брзим захтевима за прекид (FIR).
Заставице избора показивача стека (SPS): Привилегисани програми који раде у EL1 и изнад могу да прелазе између коришћења свог регистара показивача стека и корисничког модела (нпр. између SP_EL1 и EL0). Ово прелазак се изводи писањем у SPSel посебан регистар. Ово не може бити учињено из EL0.
ARM64 конвенција позива спецификује да се првих осам параметара функције преноси у регистрима x0 до x7. Додатни параметри се преносе на стеку. Вредност повратка се враћа у регистар x0, или у x1 такође ако је 128 битна. Регистри x19 до x30 и sp морају бити очувани током позива функција.
Када читате функцију у асемблеру, потражите пролог и епилог функције. Пролог обично укључује чување показивача оквира (x29), постављање новог показивача оквира, и алокацију простора на стеку. Епилог обично укључује обнављање сачуваног показивача оквира и враћање из функције.
Swift има своју конвенцију позива која се може наћи на https://github.com/apple/swift/blob/main/docs/ABI/CallConvSummary.rst#arm64
ARM64 инструкције обично имају формат opcode dst, src1, src2, где је opcode операција која се извршава (као што су add, sub, mov, итд.), dst је регистар дестинације где ће резултат бити сачуван, а src1 и src2 су изворни регистри. Одмах вредности се такође могу користити уместо изворних регистара.
mov: Премести вредност из једног регистра у други.
Пример: mov x0, x1 — Ово премешта вредност из x1 у x0.
ldr: Учитај вредност из меморије у регистар.
Пример: ldr x0, [x1] — Ово учитава вредност из меморијске локације на коју указује x1 у x0.
Режим офсетa: Офсет који утиче на оригинални показивач се указује, на пример:
ldr x2, [x1, #8], ово ће учитати у x2 вредност из x1 + 8
ldr x2, [x0, x1, lsl #2], ово ће учитати у x2 објекат из низа x0, из позиције x1 (индекс) * 4
Режим пред-индикатора: Ово ће применити израчунавања на оригинал, добити резултат и такође сачувати нови оригинал у оригиналу.
ldr x2, [x1, #8]!, ово ће учитати x1 + 8 у x2 и сачувати у x1 резултат x1 + 8
str lr, [sp, #-4]!, Сачувај регистар линка у sp и ажурирај регистар sp
Режим пост-индикатора: Ово је као претходни, али се меморијска адреса приступа и затим се офсет израчунава и чува.
ldr x0, [x1], #8, учитај x1 у x0 и ажурирај x1 са x1 + 8
PC-релативно адресирање: У овом случају адреса за учитавање се израчунава релативно на PC регистар
ldr x1, =_start, Ово ће учитати адресу где симбол _start почиње у x1 у односу на тренутни PC.
str: Сачувај вредност из регистра у меморију.
Пример: str x0, [x1] — Ово чува вредност у x0 у меморијској локацији на коју указује x1.
ldp: Учитај пар регистара. Ова инструкција учитава два регистра из узастопних меморијских локација. Меморијска адреса се обично формира додавањем офсета на вредност у другом регистру.
Пример: ldp x0, x1, [x2] — Ово учитава x0 и x1 из меморијских локација на x2 и x2 + 8, респективно.
stp: Сачувај пар регистара. Ова инструкција сачува два регистра у узастопне меморијске локације. Меморијска адреса се обично формира додавањем офсета на вредност у другом регистру.
Пример: stp x0, x1, [sp] — Ово чува x0 и x1 у меморијским локацијама на sp и sp + 8, респективно.
stp x0, x1, [sp, #16]! — Ово чува x0 и x1 у меморијским локацијама на sp+16 и sp + 24, респективно, и ажурира sp са sp+16.
add: Додај вредности два регистра и сачувај резултат у регистру.
Синтакса: add(s) Xn1, Xn2, Xn3 | #imm, [shift #N | RRX]
Xn1 -> Дестинација
Xn2 -> Операнд 1
Xn3 | #imm -> Операнд 2 (регистар или одмах)
[shift #N | RRX] -> Изврши померање или позови RRX
Пример: add x0, x1, x2 — Ово додаје вредности у x1 и x2 и чува резултат у x0.
add x5, x5, #1, lsl #12 — Ово је једнако 4096 (1 померач 12 пута) -> 1 0000 0000 0000 0000
adds Ово извршава add и ажурира заставице
sub: Одузми вредности два регистра и сачувај резултат у регистру.
Проверите add синтаксу.
Пример: sub x0, x1, x2 — Ово одузима вредност у x2 од x1 и чува резултат у x0.
subs Ово је као sub али ажурира заставицу
mul: Множење вредности две регистре и чува резултат у регистру.
Пример: mul x0, x1, x2 — Ово множење вредности у x1 и x2 и чува резултат у x0.
div: Дели вредност једног регистра са другим и чува резултат у регистру.
Пример: div x0, x1, x2 — Ово дели вредност у x1 са x2 и чува резултат у x0.
lsl, lsr, asr, ror, rrx:
Логичко померање налево: Додајте 0-ове са краја померајући остале битове напред (множите са n-пута 2)
Логичко померање удесно: Додајте 1-це на почетку померајући остале битове назад (делите са n-пута 2 у непотписаним)
Аритметичко померање удесно: Као lsr, али уместо додавања 0-ова, ако је најзначајнији бит 1, додају се 1-це (делите са n-пута 2 у потписаним)
Померите удесно: Као lsr али шта год да се уклони с десне стране, додаје се с леве
Померите удесно са проширењем: Као ror, али са заставицом преноса као "најзначајнији бит". Дакле, заставица преноса се помера на бит 31, а уклоњени бит у заставицу преноса.
bfm: Премештање битова, ове операције копирају битове 0...n из вредности и стављају их у позиције m..m+n. #s одређује леву најзначајнију позицију и #r количину померања удесно.
Премештање битова: BFM Xd, Xn, #r
Потписано премештање битова: SBFM Xd, Xn, #r, #s
Непотписано премештање битова: UBFM Xd, Xn, #r, #s
Извлачење и уметање битова: Копира битно поље из регистра и копира га у други регистар.
BFI X1, X2, #3, #4 Уметни 4 бита из X2 од 3. бита X1
BFXIL X1, X2, #3, #4 Извлачи из 3. бита X2 четири бита и копира их у X1
SBFIZ X1, X2, #3, #4 Потписује 4 бита из X2 и уметне их у X1 почињући на позицији бита 3 нулирајући десне битове
SBFX X1, X2, #3, #4 Извлачи 4 бита почињући на 3. бита из X2, потписује их и ставља резултат у X1
UBFIZ X1, X2, #3, #4 Нулира 4 бита из X2 и уметне их у X1 почињући на позицији бита 3 нулирајући десне битове
UBFX X1, X2, #3, #4 Извлачи 4 бита почињући на 3. бита из X2 и ставља нулирани резултат у X1.
Проширење потписа на X: Проширење потписа (или само додавање 0-ова у непотписаној верзији) вредности да би се могле извршавати операције с њом:
SXTB X1, W2 Проширење потписа байта из W2 у X1 (W2 је половина X2) да попуни 64 бита
SXTH X1, W2 Проширење потписа 16-битног броја из W2 у X1 да попуни 64 бита
SXTW X1, W2 Проширење потписа байта из W2 у X1 да попуни 64 бита
UXTB X1, W2 Додаје 0-ове (непотписано) на байт из W2 у X1 да попуни 64 бита
extr: Извлачи битове из одређеног пара регистара конкатенисаних.
Пример: EXTR W3, W2, W1, #3 Ово ће конкатенисати W1+W2 и добити од бита 3 W2 до бита 3 W1 и сачувати у W3.
cmp: Поређење два регистра и постављање условних заставица. То је алиас subs постављајући регистар дестинације на нулти регистар. Корисно за проверу да ли је m == n.
Подржава исту синтаксу као subs
Пример: cmp x0, x1 — Ово пореди вредности у x0 и x1 и поставља условне заставице у складу с тим.
cmn: Поређење негативног операнда. У овом случају је алиас adds и подржава исту синтаксу. Корисно за проверу да ли је m == -n.
ccmp: Условно поређење, то је поређење које ће бити извршено само ако је претходно поређење било тачно и конкретно ће поставити nzcv битове.
cmp x1, x2; ccmp x3, x4, 0, NE; blt _func -> ако x1 != x2 и x3 < x4, скочи на func
Ово је зато што ће ccmp бити извршено само ако је претходни cmp био NE, ако није, битови nzcv ће бити постављени на 0 (што неће задовољити blt поређење).
Ово се може користити и као ccmn (исто али негативно, као cmp против cmn).
tst: Проверава да ли су било које од вредности поређења обе 1 (ради као ANDS без чувања резултата било где). Корисно је проверити регистар са вредношћу и проверити да ли је било који од битова регистра назначених у вредности 1.
Пример: tst X1, #7 Проверава да ли је било који од последња 3 бита X1 1
teq: XOR операција без чувања резултата
b: Непосредна грана
Пример: b myFunction
Имајте на уму да ово неће попунити регистар линка са адресом повратка (није прикладно за позиве подпрограма који треба да се врате)
bl: Грана са линком, користи се за позив подпрограма. Чува адресу повратка у x30.
Пример: bl myFunction — Ово позива функцију myFunction и чува адресу повратка у x30.
Имајте на уму да ово неће попунити регистар линка са адресом повратка (није прикладно за позиве подпрограма који треба да се врате)
blr: Грана са линком на регистар, користи се за позив подпрограма где је циљ наведен у регистру. Чува адресу повратка у x30. (Ово је
Пример: blr x1 — Ово позива функцију чија адреса је садржана у x1 и чува адресу повратка у x30.
ret: Врати се из подпрограма, обично користећи адресу у x30.
Пример: ret — Ово се враћа из тренутног подпрограма користећи адресу повратка у x30.
b.<cond>: Условне гране
b.eq: Грана ако је једнако, на основу претходне cmp инструкције.
Пример: b.eq label — Ако је претходна cmp инструкција пронашла две једнаке вредности, ово скочи на label.
b.ne: Грана ако није једнако. Ова инструкција проверава условне заставице (које су постављене претходном инструкцијом поређења), и ако упоређиване вредности нису једнаке, грана на ознаку или адресу.
Пример: Након cmp x0, x1 инструкције, b.ne label — Ако вредности у x0 и x1 нису једнаке, ово скочи на label.
cbz: Поређење и гранање на нулу. Ова инструкција пореди регистар са нулом, и ако су једнаке, грана на ознаку или адресу.
Пример: cbz x0, label — Ако је вредност у x0 нула, ово скочи на label.
cbnz: Поређење и гранање на ненуло. Ова инструкција пореди регистар са нулом, и ако нису једнаке, грана на ознаку или адресу.
Пример: cbnz x0, label — Ако је вредност у x0 ненула, ово скочи на label.
tbnz: Тестирај бит и гранај на ненуло
Пример: tbnz x0, #8, label
tbz: Тестирај бит и гранај на нулу
Пример: tbz x0, #8, label
Условне операције избора: Ове операције имају понашање које варира у зависности од условних битова.
csel Xd, Xn, Xm, cond -> csel X0, X1, X2, EQ -> Ако је тачно, X0 = X1, ако није, X0 = X2
csinc Xd, Xn, Xm, cond -> Ако је тачно, Xd = Xn, ако није, Xd = Xm + 1
cinc Xd, Xn, cond -> Ако је тачно, Xd = Xn + 1, ако није, Xd = Xn
csinv Xd, Xn, Xm, cond -> Ако је тачно, Xd = Xn, ако није, Xd = NOT(Xm)
cinv Xd, Xn, cond -> Ако је тачно, Xd = NOT(Xn), ако није, Xd = Xn
csneg Xd, Xn, Xm, cond -> Ако је тачно, Xd = Xn, ако није, Xd = - Xm
cneg Xd, Xn, cond -> Ако је тачно, Xd = - Xn, ако није, Xd = Xn
cset Xd, Xn, Xm, cond -> Ако је тачно, Xd = 1, ако није, Xd = 0
csetm Xd, Xn, Xm, cond -> Ако је тачно, Xd = <сви 1>, ако није, Xd = 0
adrp: Израчунајте адресу странице симбола и сачувајте је у регистру.
Пример: adrp x0, symbol — Ово израчунава адресу странице симбола symbol и чува је у x0.
ldrsw: Учитајте потписану 32-битну вредност из меморије и потписно проширите на 64 бита.
Пример: ldrsw x0, [x1] — Ово учитава потписану 32-битну вредност из меморијске локације на коју указује x1, потписно је проширује на 64 бита и чува у x0.
stur: Сачувајте вредност регистра на меморијској локацији, користећи офсет из другог регистра.
Пример: stur x0, [x1, #4] — Ово чува вредност у x0 у меморијској адреси која је 4 бајта већа од адресе која је тренутно у x1.
svc : Извршите системски позив. Ово значи "Позив супервизора". Када процесор извршава ову инструкцију, прелази из корисничког режима у режим језгра и скочи на одређену локацију у меморији где се налази код за обраду системских позива језгра.
Пример:
Сачувајте регистар линка и показивач оквира на стек:
Postavite novi pokazivač okvira: mov x29, sp (postavlja novi pokazivač okvira za trenutnu funkciju)
Dodelite prostor na steku za lokalne promenljive (ako je potrebno): sub sp, sp, <size> (gde je <size> broj bajtova koji su potrebni)
Dealokacija lokalnih promenljivih (ako su dodeljene): add sp, sp, <size>
Obnovite registrator veze i pokazivač okvira:
Povratak: ret (vraća kontrolu pozivaocu koristeći adresu u link registru)
Armv8-A podržava izvršavanje 32-bitnih programa. AArch32 može raditi u jednom od dva skupa instrukcija: A32 i T32 i može prebacivati između njih putem interworking.
Privilegovani 64-bitni programi mogu zakazati izvršavanje 32-bitnih programa izvršavanjem prenosa nivoa izuzetka na niže privilegovane 32-bitne.
Napomena: prelazak sa 64-bitnog na 32-bitni se dešava sa smanjenjem nivoa izuzetka (na primer, 64-bitni program u EL1 pokreće program u EL0). Ovo se postiže postavljanjem bita 4 SPSR_ELx specijalnog registra na 1 kada je AArch32 procesni nit spreman za izvršavanje, a ostatak SPSR_ELx čuva AArch32 programe CPSR. Zatim, privilegovani proces poziva instrukciju ERET tako da procesor prelazi na AArch32 ulazeći u A32 ili T32 u zavisnosti od CPSR**.**
Interworking se dešava korišćenjem J i T bitova CPSR. J=0 i T=0 znači A32 i J=0 i T=1 znači T32. Ovo se u suštini prevodi na postavljanje najnižeg bita na 1 da označi da je skup instrukcija T32.
Ovo se postavlja tokom interworking grana instrukcija, ali se može postaviti i direktno sa drugim instrukcijama kada je PC postavljen kao registar odredišta. Primer:
Još jedan primer:
Postoji 16 32-bitnih registara (r0-r15). Od r0 do r14 mogu se koristiti za bilo koju operaciju, međutim neki od njih su obično rezervisani:
r15: Program counter (uvek). Sadrži adresu sledeće instrukcije. U A32 trenutni + 8, u T32, trenutni + 4.
r11: Frame Pointer
r12: Intra-procedural call register
r13: Stack Pointer
r14: Link Register
Pored toga, registri su podržani u banked registries. To su mesta koja čuvaju vrednosti registara omogućavajući brzo prebacivanje konteksta u obradi izuzetaka i privilegovanih operacija kako bi se izbegla potreba za ručnim čuvanjem i vraćanjem registara svaki put.
To se postiže čuvanjem stanja procesora iz CPSR u SPSR režima procesora u kojem se izuzetak dešava. Kada se izuzetak vrati, CPSR se vraća iz SPSR.
U AArch32 CPSR funkcioniše slično PSTATE u AArch64 i takođe se čuva u SPSR_ELx kada se izuzetak dešava da bi se kasnije obnovila izvršavanje:
Polja su podeljena u nekoliko grupa:
Application Program Status Register (APSR): Aritmetičke zastavice i dostupne iz EL0
Execution State Registers: Ponašanje procesa (upravlja OS).
Zastavice N, Z, C, V (poput AArch64)
Zastavica Q: Postavlja se na 1 kada god dođe do saturacije celih brojeva tokom izvršavanja specijalizovane aritmetičke instrukcije za saturaciju. Kada se postavi na 1, zadržaće tu vrednost dok se ručno ne postavi na 0. Pored toga, ne postoji nijedna instrukcija koja implicitno proverava njenu vrednost, to mora biti učinjeno čitanjem ručno.
GE (Veće ili jednako) Zastavice: Koriste se u SIMD (Single Instruction, Multiple Data) operacijama, kao što su "paralelno sabiranje" i "paralelno oduzimanje". Ove operacije omogućavaju obradu više tačaka podataka u jednoj instrukciji.
Na primer, instrukcija UADD8 sabira četiri para bajtova (iz dva 32-bitna operanda) paralelno i čuva rezultate u 32-bitnom registru. Zatim postavlja GE zastavice u APSR na osnovu ovih rezultata. Svaka GE zastavica odgovara jednom od sabiranja bajtova, ukazujući da li je sabiranje za taj par bajtova prelilo.
Instrukcija SEL koristi ove GE zastavice za izvršavanje uslovnih akcija.
Bitovi J i T: J treba da bude 0, a ako je T 0 koristi se skup instrukcija A32, a ako je 1, koristi se T32.
IT Block State Register (ITSTATE): Ovo su bitovi od 10-15 i 25-26. Čuvaju uslove za instrukcije unutar grupe sa prefiksom IT.
E bit: Ukazuje na endianness.
Bitovi za režim i masku izuzetaka (0-4): Određuju trenutni izvršni režim. 5. označava da li program radi kao 32bit (1) ili 64bit (0). Ostala 4 predstavljaju režim izuzetka koji se trenutno koristi (kada se izuzetak dešava i obrađuje). Broj postavljen ukazuje na trenutni prioritet u slučaju da se drugi izuzetak aktivira dok se ovaj obrađuje.
AIF: Određeni izuzeci mogu biti onemogućeni korišćenjem bitova A, I, F. Ako je A 1, to znači da će biti aktivirani asinkroni aborti. I konfiguriše odgovor na spoljne hardverske Interrupts Requests (IRQs). a F se odnosi na Fast Interrupt Requests (FIRs).
Pogledajte syscalls.master. BSD syscalls će imati x16 > 0.
Pogledajte u syscall_sw.c mach_trap_table i u mach_traps.h prototipove. Maksimalni broj Mach traps je MACH_TRAP_TABLE_COUNT = 128. Mach traps će imati x16 < 0, tako da treba da pozovete brojeve iz prethodne liste sa minusom: _kernelrpc_mach_vm_allocate_trap je -10.
Takođe možete proveriti libsystem_kernel.dylib u disassembleru da biste saznali kako da pozovete ove (i BSD) syscalls:
Napomena da Ida i Ghidra takođe mogu dekompilirati specifične dylibs iz keša jednostavno prolazeći kroz keš.
Ponekad je lakše proveriti dekompilirani kod iz libsystem_kernel.dylib nego proveravati izvorni kod jer se kod nekoliko syscalls (BSD i Mach) generiše putem skripti (proverite komentare u izvoru) dok u dylib-u možete pronaći šta se poziva.
XNU podržava još jedan tip poziva koji se naziva zavistan od mašine. Broj ovih poziva zavisi od arhitekture i ni pozivi ni brojevi nisu garantovani da ostanu konstantni.
Ovo je stranica memorije koju poseduje kernel i koja je mapirana u adresni prostor svakog korisničkog procesa. Namenjena je da ubrza prelazak iz korisničkog moda u kernel prostor brže nego korišćenje syscalls za kernel usluge koje se toliko koriste da bi ovaj prelazak bio veoma neefikasan.
Na primer, poziv gettimeofdate čita vrednost timeval direktno sa comm stranice.
Veoma je uobičajeno pronaći ovu funkciju korišćenu u Objective-C ili Swift programima. Ova funkcija omogućava pozivanje metode objekta Objective-C.
Parametri (više informacija u dokumentaciji):
x0: self -> Pokazivač na instancu
x1: op -> Selektor metode
x2... -> Ostatak argumenata pozvane metode
Dakle, ako stavite breakpoint pre grananja na ovu funkciju, lako možete pronaći šta se poziva u lldb sa (u ovom primeru objekat poziva objekat iz NSConcreteTask koji će izvršiti komandu):
Postavljanjem env varijable NSObjCMessageLoggingEnabled=1 moguće je logovati kada se ova funkcija poziva u datoteci kao što je /tmp/msgSends-pid.
Pored toga, postavljanjem OBJC_HELP=1 i pozivanjem bilo kog binarnog fajla možete videti druge varijable okruženja koje možete koristiti da log kada se određene Objc-C akcije dešavaju.
Kada se ova funkcija pozove, potrebno je pronaći pozvanu metodu označene instance, za to se vrše različite pretrage:
Izvršiti optimističku pretragu u kešu:
Ako je uspešno, gotovo
Zauzeti runtimeLock (čitanje)
Ako (realize && !cls->realized) realizovati klasu
Ako (initialize && !cls->initialized) inicijalizovati klasu
Pokušati keš klase:
Ako je uspešno, gotovo
Pokušati listu metoda klase:
Ako je pronađeno, popuniti keš i gotovo
Pokušati keš superklase:
Ako je uspešno, gotovo
Pokušati listu metoda superklase:
Ako je pronađeno, popuniti keš i gotovo
Ako (resolver) pokušati metodu resolver, i ponoviti od pretrage klase
Ako ste još ovde (= sve ostalo je propalo) pokušati forwarder
Da biste kompajlirali:
Da biste izvukli bajtove:
За новије macOS:
Učite i vežbajte AWS Hacking:HackTricks Obuka AWS Red Team Ekspert (ARTE) Učite i vežbajte GCP Hacking: HackTricks Obuka GCP Red Team Ekspert (GRTE)
