Βασικές Πληροφορίες ELF

Tip

Μάθετε & εξασκηθείτε στο AWS Hacking:HackTricks Training AWS Red Team Expert (ARTE)
Μάθετε & εξασκηθείτε στο GCP Hacking: HackTricks Training GCP Red Team Expert (GRTE) Μάθετε & εξασκηθείτε στο Azure Hacking: HackTricks Training Azure Red Team Expert (AzRTE)

Υποστηρίξτε το HackTricks

Κεφαλίδες Προγράμματος

Περιγράφουν στον loader πώς να φορτώσει το ELF στη μνήμη:

readelf -lW lnstat

Elf file type is DYN (Position-Independent Executable file)
Entry point 0x1c00
There are 9 program headers, starting at offset 64

Program Headers:
Type           Offset   VirtAddr           PhysAddr           FileSiz  MemSiz   Flg Align
PHDR           0x000040 0x0000000000000040 0x0000000000000040 0x0001f8 0x0001f8 R   0x8
INTERP         0x000238 0x0000000000000238 0x0000000000000238 0x00001b 0x00001b R   0x1
[Requesting program interpreter: /lib/ld-linux-aarch64.so.1]
LOAD           0x000000 0x0000000000000000 0x0000000000000000 0x003f7c 0x003f7c R E 0x10000
LOAD           0x00fc48 0x000000000001fc48 0x000000000001fc48 0x000528 0x001190 RW  0x10000
DYNAMIC        0x00fc58 0x000000000001fc58 0x000000000001fc58 0x000200 0x000200 RW  0x8
NOTE           0x000254 0x0000000000000254 0x0000000000000254 0x0000e0 0x0000e0 R   0x4
GNU_EH_FRAME   0x003610 0x0000000000003610 0x0000000000003610 0x0001b4 0x0001b4 R   0x4
GNU_STACK      0x000000 0x0000000000000000 0x0000000000000000 0x000000 0x000000 RW  0x10
GNU_RELRO      0x00fc48 0x000000000001fc48 0x000000000001fc48 0x0003b8 0x0003b8 R   0x1

Section to Segment mapping:
Segment Sections...
00
01     .interp
02     .interp .note.gnu.build-id .note.ABI-tag .note.package .gnu.hash .dynsym .dynstr .gnu.version .gnu.version_r .rela.dyn .rela.plt .init .plt .text .fini .rodata .eh_frame_hdr .eh_frame
03     .init_array .fini_array .dynamic .got .data .bss
04     .dynamic
05     .note.gnu.build-id .note.ABI-tag .note.package
06     .eh_frame_hdr
07
08     .init_array .fini_array .dynamic .got

The previous program has 9 program headers, then, the segment mapping indicates in which program header (from 00 to 08) each section is located.

PHDR - Program HeaDeR

Contains the program header tables and metadata itself.

INTERP

Indicates the path of the loader to use to load the binary into memory.

Tip: Statically linked or static-PIE binaries won’t have an INTERP entry. In those cases there is no dynamic loader involved, which disables techniques that rely on it (e.g., ret2dlresolve).

LOAD

These headers are used to indicate how to load a binary into memory.
Each LOAD header indicates a region of memory (size, permissions and alignment) and indicates the bytes of the ELF binary to copy in there.

For example, the second one has a size of 0x1190, should be located at 0x1fc48 with permissions read and write and will be filled with 0x528 from the offset 0xfc48 (it doesn’t fill all the reserved space). This memory will contain the sections .init_array .fini_array .dynamic .got .data .bss.

DYNAMIC

This header helps to link programs to their library dependencies and apply relocations. Check the .dynamic section.

NOTE

This stores vendor metadata information about the binary.

  • On x86-64, readelf -n will show GNU_PROPERTY_X86_FEATURE_1_* flags inside .note.gnu.property. If you see IBT and/or SHSTK, the binary was built with CET (Indirect Branch Tracking and/or Shadow Stack). This impacts ROP/JOP because indirect branch targets must start with an ENDBR64 instruction and returns are checked against a shadow stack. See the CET page for details and bypass notes.

CET & Shadow Stack

GNU_EH_FRAME

Defines the location of the stack unwind tables, used by debuggers and C++ exception handling-runtime functions.

GNU_STACK

Contains the configuration of the stack execution prevention defense. If enabled, the binary won’t be able to execute code from the stack.

  • Check with readelf -l ./bin | grep GNU_STACK. To forcibly toggle it during tests you can use execstack -s|-c ./bin.

GNU_RELRO

Indicates the RELRO (Relocation Read-Only) configuration of the binary. This protection will mark as read-only certain sections of the memory (like the GOT or the init and fini tables) after the program has loaded and before it begins running.

In the previous example it’s copying 0x3b8 bytes to 0x1fc48 as read-only affecting the sections .init_array .fini_array .dynamic .got .data .bss.

Note that RELRO can be partial or full, the partial version do not protect the section .plt.got, which is used for lazy binding and needs this memory space to have write permissions to write the address of the libraries the first time their location is searched.

For exploitation techniques and up-to-date bypass notes, check the dedicated page:

Relro

TLS

Defines a table of TLS entries, which stores info about thread-local variables.

Section Headers

Section headers gives a more detailed view of the ELF binary

objdump lnstat -h

lnstat:     file format elf64-littleaarch64

Sections:
Idx Name          Size      VMA               LMA               File off  Algn
0 .interp       0000001b  0000000000000238  0000000000000238  00000238  2**0
CONTENTS, ALLOC, LOAD, READONLY, DATA
1 .note.gnu.build-id 00000024  0000000000000254  0000000000000254  00000254  2**2
CONTENTS, ALLOC, LOAD, READONLY, DATA
2 .note.ABI-tag 00000020  0000000000000278  0000000000000278  00000278  2**2
CONTENTS, ALLOC, LOAD, READONLY, DATA
3 .note.package 0000009c  0000000000000298  0000000000000298  00000298  2**2
CONTENTS, ALLOC, LOAD, READONLY, DATA
4 .gnu.hash     0000001c  0000000000000338  0000000000000338  00000338  2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
5 .dynsym       00000498  0000000000000358  0000000000000358  00000358  2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
6 .dynstr       000001fe  00000000000007f0  00000000000007f0  000007f0  2**0
CONTENTS, ALLOC, LOAD, READONLY, DATA
7 .gnu.version  00000062  00000000000009ee  00000000000009ee  000009ee  2**1
CONTENTS, ALLOC, LOAD, READONLY, DATA
8 .gnu.version_r 00000050  0000000000000a50  0000000000000a50  00000a50  2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
9 .rela.dyn     00000228  0000000000000aa0  0000000000000aa0  00000aa0  2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
10 .rela.plt     000003c0  0000000000000cc8  0000000000000cc8  00000cc8  2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
11 .init         00000018  0000000000001088  0000000000001088  00001088  2**2
CONTENTS, ALLOC, LOAD, READONLY, CODE
12 .plt          000002a0  00000000000010a0  00000000000010a0  000010a0  2**4
CONTENTS, ALLOC, LOAD, READONLY, CODE
13 .text         00001c34  0000000000001340  0000000000001340  00001340  2**6
CONTENTS, ALLOC, LOAD, READONLY, CODE
14 .fini         00000014  0000000000002f74  0000000000002f74  00002f74  2**2
CONTENTS, ALLOC, LOAD, READONLY, CODE
15 .rodata       00000686  0000000000002f88  0000000000002f88  00002f88  2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
16 .eh_frame_hdr 000001b4  0000000000003610  0000000000003610  00003610  2**2
CONTENTS, ALLOC, LOAD, READONLY, DATA
17 .eh_frame     000007b4  00000000000037c8  00000000000037c8  000037c8  2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
18 .init_array   00000008  000000000001fc48  000000000001fc48  0000fc48  2**3
CONTENTS, ALLOC, LOAD, DATA
19 .fini_array   00000008  000000000001fc50  000000000001fc50  0000fc50  2**3
CONTENTS, ALLOC, LOAD, DATA
20 .dynamic      00000200  000000000001fc58  000000000001fc58  0000fc58  2**3
CONTENTS, ALLOC, LOAD, DATA
21 .got          000001a8  000000000001fe58  000000000001fe58  0000fe58  2**3
CONTENTS, ALLOC, LOAD, DATA
22 .data         00000170  0000000000020000  0000000000020000  00010000  2**3
CONTENTS, ALLOC, LOAD, DATA
23 .bss          00000c68  0000000000020170  0000000000020170  00010170  2**3
ALLOC
24 .gnu_debugaltlink 00000049  0000000000000000  0000000000000000  00010170  2**0
CONTENTS, READONLY
25 .gnu_debuglink 00000034  0000000000000000  0000000000000000  000101bc  2**2
CONTENTS, READONLY

Δείχνει επίσης την τοποθεσία, το offset, τα permissions αλλά και τον τύπο των δεδομένων που περιέχει η ενότητα.

Μετα-Ενότητες

  • Πίνακας συμβολοσειρών: Περιέχει όλες τις συμβολοσειρές που χρειάζεται το ELF αρχείο (αλλά όχι αυτές που χρησιμοποιούνται πραγματικά από το πρόγραμμα). Για παράδειγμα περιέχει ονόματα ενότητων όπως .text ή .data. Και αν το .text είναι στο offset 45 στον πίνακα συμβολοσειρών, θα χρησιμοποιήσει τον αριθμό 45 στο πεδίο name.
  • Για να βρούμε πού βρίσκεται ο πίνακας συμβολοσειρών, το ELF περιέχει ένα pointer προς τον πίνακα συμβολοσειρών.
  • Πίνακας συμβόλων: Περιέχει πληροφορίες για τα σύμβολα όπως το name (offset στον πίνακα συμβολοσειρών), τη διεύθυνση, το μέγεθος και περισσότερα metadata σχετικά με το σύμβολο.

Κύριες Ενότητες

  • .text: Ο κώδικας του προγράμματος που εκτελείται.
  • .data: Παγκόσμιες μεταβλητές με καθορισμένη τιμή στο πρόγραμμα.
  • .bss: Παγκόσμιες μεταβλητές που δεν έχουν αρχικοποιηθεί (ή αρχικοποιούνται σε μηδέν). Οι μεταβλητές εδώ αρχικοποιούνται αυτόματα σε μηδέν, αποτρέποντας έτσι την προσθήκη άσκοπων μηδενικών στο binary.
  • .rodata: Σταθερές παγκόσμιες μεταβλητές (τμήμα μόνο για ανάγνωση).
  • .tdata και .tbss: Όπως τα .data και .bss όταν χρησιμοποιούνται thread-local μεταβλητές (__thread_local in C++ or __thread in C).
  • .dynamic: Δείτε παρακάτω.

Σύμβολα

Τα σύμβολα είναι ονομασμένες τοποθεσίες στο πρόγραμμα που μπορούν να αντιπροσωπεύουν μια συνάρτηση, ένα παγκόσμιο αντικείμενο δεδομένων, thread-local μεταβλητές κ.λπ.

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)
[...]

Κάθε εγγραφή συμβόλου περιλαμβάνει:

  • Όνομα
  • Ιδιότητες σύνδεσης (weak, local or global): Ένα τοπικό σύμβολο μπορεί να προσπελαστεί μόνο από το ίδιο το πρόγραμμα, ενώ τα global σύμβολα μοιράζονται εκτός του προγράμματος. Ένα weak αντικείμενο είναι, για παράδειγμα, μια συνάρτηση που μπορεί να αντικατασταθεί από μια διαφορετική.
  • Τύπος: NOTYPE (δεν έχει καθοριστεί τύπος), OBJECT (global data var), FUNC (function), SECTION (section), FILE (source-code file for debuggers), TLS (μεταβλητή τοπική ανά νήμα), GNU_IFUNC (έμμεση συνάρτηση για relocation)
  • Section index όπου βρίσκεται
  • Τιμή (διεύθυνση στη μνήμη)
  • Μέγεθος

GNU IFUNC (έμμεσες συναρτήσεις)

  • Το GCC μπορεί να εκπέμψει STT_GNU_IFUNC σύμβολα με την επέκταση __attribute__((ifunc("resolver"))). Ο δυναμικός φορτωτής καλεί τον resolver κατά τον χρόνο φόρτωσης για να επιλέξει την συγκεκριμένη υλοποίηση (συνήθως επιλογή υλοποίησης ανά CPU).
  • Γρήγορος έλεγχος: readelf -sW ./bin | rg -i "IFUNC"

GNU Symbol Versioning (dynsym/dynstr/gnu.version)

Η σύγχρονη glibc χρησιμοποιεί εκδόσεις συμβόλων. Θα δείτε εγγραφές στα .gnu.version και .gnu.version_r και ονόματα συμβόλων όπως strlen@GLIBC_2.17. Ο δυναμικός linker μπορεί να απαιτήσει συγκεκριμένη έκδοση κατά την επίλυση ενός συμβόλου. Όταν δημιουργείτε χειροκίνητες relocations (π.χ. ret2dlresolve) πρέπει να παρέχετε τον σωστό δείκτη έκδοσης, αλλιώς η επίλυση αποτυγχάνει.

Δυναμική Ενότητα

readelf -d lnstat

Dynamic section at offset 0xfc58 contains 28 entries:
Tag        Type                         Name/Value
0x0000000000000001 (NEEDED)             Shared library: [libc.so.6]
0x0000000000000001 (NEEDED)             Shared library: [ld-linux-aarch64.so.1]
0x000000000000000c (INIT)               0x1088
0x000000000000000d (FINI)               0x2f74
0x0000000000000019 (INIT_ARRAY)         0x1fc48
0x000000000000001b (INIT_ARRAYSZ)       8 (bytes)
0x000000000000001a (FINI_ARRAY)         0x1fc50
0x000000000000001c (FINI_ARRAYSZ)       8 (bytes)
0x000000006ffffef5 (GNU_HASH)           0x338
0x0000000000000005 (STRTAB)             0x7f0
0x0000000000000006 (SYMTAB)             0x358
0x000000000000000a (STRSZ)              510 (bytes)
0x000000000000000b (SYMENT)             24 (bytes)
0x0000000000000015 (DEBUG)              0x0
0x0000000000000003 (PLTGOT)             0x1fe58
0x0000000000000002 (PLTRELSZ)           960 (bytes)
0x0000000000000014 (PLTREL)             RELA
0x0000000000000017 (JMPREL)             0xcc8
0x0000000000000007 (RELA)               0xaa0
0x0000000000000008 (RELASZ)             552 (bytes)
0x0000000000000009 (RELAENT)            24 (bytes)
0x000000000000001e (FLAGS)              BIND_NOW
0x000000006ffffffb (FLAGS_1)            Flags: NOW PIE
0x000000006ffffffe (VERNEED)            0xa50
0x000000006fffffff (VERNEEDNUM)         2
0x000000006ffffff0 (VERSYM)             0x9ee
0x000000006ffffff9 (RELACOUNT)          15
0x0000000000000000 (NULL)               0x0

The NEEDED directory indicates that the program needs to load the mentioned library in order to continue. The NEEDED directory completes once the shared library is fully operational and ready for use.

Dynamic loader search order (RPATH/RUNPATH, $ORIGIN)

Οι εγγραφές DT_RPATH (αποσυρμένο) και/ή DT_RUNPATH επηρεάζουν πού ο dynamic loader αναζητά εξαρτήσεις. Γενική σειρά:

  • LD_LIBRARY_PATH (αγνοείται για setuid/sgid ή για διαφορετικά “secure-execution” προγράμματα)
  • DT_RPATH (μόνο αν DT_RUNPATH απουσιάζει)
  • DT_RUNPATH
  • ld.so.cache
  • προεπιλεγμένοι κατάλογοι όπως /lib64, /usr/lib64, κ.λπ.

$ORIGIN μπορεί να χρησιμοποιηθεί μέσα σε RPATH/RUNPATH για να αναφέρεται στον κατάλογο του κύριου αντικειμένου. Από την οπτική ενός επιτιθέμενου αυτό έχει σημασία όταν ελέγχετε τη διάταξη του filesystem ή το περιβάλλον. Για σκληροποιημένα binaries (AT_SECURE) οι περισσότερες μεταβλητές περιβάλλοντος αγνοούνται από τον loader.

  • Inspect with: readelf -d ./bin | egrep -i 'r(path|unpath)'
  • Quick test: LD_DEBUG=libs ./bin 2>&1 | grep -i find (εμφανίζει τις αποφάσεις για τη διαδρομή αναζήτησης)

Priv-esc tip: Προτιμήστε να εκμεταλλευτείτε εγγράψιμα RUNPATHs ή λανθασμένα ρυθμισμένες $ORIGIN-σχετικές διαδρομές που σας ανήκουν. LD_PRELOAD/LD_AUDIT αγνοούνται σε secure-execution (setuid) contexts.

Relocations

Ο loader πρέπει επίσης να πραγματοποιήσει τις μετατοπίσεις των εξαρτήσεων αφού τις φορτώσει. Αυτές οι μετατοπίσεις υποδεικνύονται στον πίνακα relocations με μορφές REL ή RELA και ο αριθμός των μετατοπίσεων δίνεται στις δυναμικές ενότητες RELSZ ή RELASZ.

readelf -r lnstat

Relocation section '.rela.dyn' at offset 0xaa0 contains 23 entries:
Offset          Info           Type           Sym. Value    Sym. Name + Addend
00000001fc48  000000000403 R_AARCH64_RELATIV                    1d10
00000001fc50  000000000403 R_AARCH64_RELATIV                    1cc0
00000001fff0  000000000403 R_AARCH64_RELATIV                    1340
000000020008  000000000403 R_AARCH64_RELATIV                    20008
000000020010  000000000403 R_AARCH64_RELATIV                    3330
000000020030  000000000403 R_AARCH64_RELATIV                    3338
000000020050  000000000403 R_AARCH64_RELATIV                    3340
000000020070  000000000403 R_AARCH64_RELATIV                    3348
000000020090  000000000403 R_AARCH64_RELATIV                    3350
0000000200b0  000000000403 R_AARCH64_RELATIV                    3358
0000000200d0  000000000403 R_AARCH64_RELATIV                    3360
0000000200f0  000000000403 R_AARCH64_RELATIV                    3370
000000020110  000000000403 R_AARCH64_RELATIV                    3378
000000020130  000000000403 R_AARCH64_RELATIV                    3380
000000020150  000000000403 R_AARCH64_RELATIV                    3388
00000001ffb8  000a00000401 R_AARCH64_GLOB_DA 0000000000000000 _ITM_deregisterTM[...] + 0
00000001ffc0  000b00000401 R_AARCH64_GLOB_DA 0000000000000000 __cxa_finalize@GLIBC_2.17 + 0
00000001ffc8  000f00000401 R_AARCH64_GLOB_DA 0000000000000000 stderr@GLIBC_2.17 + 0
00000001ffd0  001000000401 R_AARCH64_GLOB_DA 0000000000000000 optarg@GLIBC_2.17 + 0
00000001ffd8  001400000401 R_AARCH64_GLOB_DA 0000000000000000 stdout@GLIBC_2.17 + 0
00000001ffe0  001e00000401 R_AARCH64_GLOB_DA 0000000000000000 __gmon_start__ + 0
00000001ffe8  001f00000401 R_AARCH64_GLOB_DA 0000000000000000 __stack_chk_guard@GLIBC_2.17 + 0
00000001fff8  002e00000401 R_AARCH64_GLOB_DA 0000000000000000 _ITM_registerTMCl[...] + 0

Relocation section '.rela.plt' at offset 0xcc8 contains 40 entries:
Offset          Info           Type           Sym. Value    Sym. Name + Addend
00000001fe70  000300000402 R_AARCH64_JUMP_SL 0000000000000000 strtok@GLIBC_2.17 + 0
00000001fe78  000400000402 R_AARCH64_JUMP_SL 0000000000000000 strtoul@GLIBC_2.17 + 0
00000001fe80  000500000402 R_AARCH64_JUMP_SL 0000000000000000 strlen@GLIBC_2.17 + 0
00000001fe88  000600000402 R_AARCH64_JUMP_SL 0000000000000000 fputs@GLIBC_2.17 + 0
00000001fe90  000700000402 R_AARCH64_JUMP_SL 0000000000000000 exit@GLIBC_2.17 + 0
00000001fe98  000800000402 R_AARCH64_JUMP_SL 0000000000000000 __libc_start_main@GLIBC_2.34 + 0
00000001fea0  000900000402 R_AARCH64_JUMP_SL 0000000000000000 perror@GLIBC_2.17 + 0
00000001fea8  000b00000402 R_AARCH64_JUMP_SL 0000000000000000 __cxa_finalize@GLIBC_2.17 + 0
00000001feb0  000c00000402 R_AARCH64_JUMP_SL 0000000000000000 putc@GLIBC_2.17 + 0
00000001fec0  000e00000402 R_AARCH64_JUMP_SL 0000000000000000 fputc@GLIBC_2.17 + 0
00000001fec8  001100000402 R_AARCH64_JUMP_SL 0000000000000000 snprintf@GLIBC_2.17 + 0
00000001fed0  001200000402 R_AARCH64_JUMP_SL 0000000000000000 __snprintf_chk@GLIBC_2.17 + 0
00000001fed8  001300000402 R_AARCH64_JUMP_SL 0000000000000000 malloc@GLIBC_2.17 + 0
00000001fee0  001500000402 R_AARCH64_JUMP_SL 0000000000000000 gettimeofday@GLIBC_2.17 + 0
00000001fee8  001600000402 R_AARCH64_JUMP_SL 0000000000000000 sleep@GLIBC_2.17 + 0
00000001fef0  001700000402 R_AARCH64_JUMP_SL 0000000000000000 __vfprintf_chk@GLIBC_2.17 + 0
00000001fef8  001800000402 R_AARCH64_JUMP_SL 0000000000000000 calloc@GLIBC_2.17 + 0
00000001ff00  001900000402 R_AARCH64_JUMP_SL 0000000000000000 rewind@GLIBC_2.17 + 0
00000001ff08  001a00000402 R_AARCH64_JUMP_SL 0000000000000000 strdup@GLIBC_2.17 + 0
00000001ff10  001b00000402 R_AARCH64_JUMP_SL 0000000000000000 closedir@GLIBC_2.17 + 0
00000001ff18  001c00000402 R_AARCH64_JUMP_SL 0000000000000000 __stack_chk_fail@GLIBC_2.17 + 0
00000001ff20  001d00000402 R_AARCH64_JUMP_SL 0000000000000000 strrchr@GLIBC_2.17 + 0
00000001ff28  001e00000402 R_AARCH64_JUMP_SL 0000000000000000 __gmon_start__ + 0
00000001ff30  002000000402 R_AARCH64_JUMP_SL 0000000000000000 abort@GLIBC_2.17 + 0
00000001ff38  002100000402 R_AARCH64_JUMP_SL 0000000000000000 feof@GLIBC_2.17 + 0
00000001ff40  002200000402 R_AARCH64_JUMP_SL 0000000000000000 getopt_long@GLIBC_2.17 + 0
00000001ff48  002300000402 R_AARCH64_JUMP_SL 0000000000000000 __fprintf_chk@GLIBC_2.17 + 0
00000001ff50  002400000402 R_AARCH64_JUMP_SL 0000000000000000 strcmp@GLIBC_2.17 + 0
00000001ff58  002500000402 R_AARCH64_JUMP_SL 0000000000000000 free@GLIBC_2.17 + 0
00000001ff60  002600000402 R_AARCH64_JUMP_SL 0000000000000000 readdir64@GLIBC_2.17 + 0
00000001ff68  002700000402 R_AARCH64_JUMP_SL 0000000000000000 strndup@GLIBC_2.17 + 0
00000001ff70  002800000402 R_AARCH64_JUMP_SL 0000000000000000 strchr@GLIBC_2.17 + 0
00000001ff78  002900000402 R_AARCH64_JUMP_SL 0000000000000000 fwrite@GLIBC_2.17 + 0
00000001ff80  002a00000402 R_AARCH64_JUMP_SL 0000000000000000 fflush@GLIBC_2.17 + 0
00000001ff88  002b00000402 R_AARCH64_JUMP_SL 0000000000000000 fopen64@GLIBC_2.17 + 0
00000001ff90  002c00000402 R_AARCH64_JUMP_SL 0000000000000000 __isoc99_sscanf@GLIBC_2.17 + 0
00000001ff98  002d00000402 R_AARCH64_JUMP_SL 0000000000000000 strncpy@GLIBC_2.17 + 0
00000001ffa0  002f00000402 R_AARCH64_JUMP_SL 0000000000000000 __assert_fail@GLIBC_2.17 + 0
00000001ffa8  003000000402 R_AARCH64_JUMP_SL 0000000000000000 fgets@GLIBC_2.17 + 0

Packed relative relocations (RELR)

  • Οι σύγχρονοι linkers μπορούν να εκπέμψουν συμπαγείς relative relocations με -z pack-relative-relocs. Αυτό προσθέτει τις καταχωρήσεις DT_RELR, DT_RELRSZ και DT_RELRENT στην dynamic section για PIEs/shared libraries (αγνοείται για non-PIE executables).
  • Recon: readelf -d ./bin | egrep -i "DT_RELR|RELRSZ|RELRENT"

Static Relocations

If the program is loaded in a place different από την προτιμώμενη διεύθυνση (συνήθως 0x400000) επειδή η διεύθυνση είναι ήδη σε χρήση ή λόγω ASLR ή για οποιονδήποτε άλλο λόγο, μια static relocation διορθώνει pointers που είχαν τιμές που περίμεναν το binary να φορτωθεί στην προτιμώμενη διεύθυνση.

Για παράδειγμα οποιοδήποτε section τύπου R_AARCH64_RELATIV θα πρέπει να έχει αλλάξει τη διεύθυνση στη relocation bias συν την τιμή addend.

Dynamic Relocations and GOT

Η relocation μπορεί επίσης να αναφέρεται σε ένα εξωτερικό symbol (όπως μια function από ένα dependency). Π.χ. η function malloc από libC. Τότε, ο loader όταν φορτώνει το libC σε μια διεύθυνση ελέγχει πού βρίσκεται η function malloc και θα γράψει αυτή τη διεύθυνση στον GOT (Global Offset Table) (όπως υποδεικνύεται στον relocation table) στο σημείο όπου πρέπει να οριστεί η διεύθυνση του malloc.

Procedure Linkage Table

Η ενότητα PLT επιτρέπει το lazy binding, που σημαίνει ότι η επίλυση της θέσης μιας function θα γίνει την πρώτη φορά που θα προσπελαστεί.

Έτσι όταν ένα πρόγραμμα καλεί malloc, στην πραγματικότητα καλεί την αντίστοιχη θέση του malloc στην PLT (malloc@plt). Την πρώτη φορά που καλείται επιλύεται η διεύθυνση του malloc και αποθηκεύεται, ώστε την επόμενη φορά που θα κληθεί malloc, να χρησιμοποιείται αυτή η διεύθυνση αντί του κώδικα της PLT.

Modern linking behaviors that impact exploitation

  • -z now (Full RELRO) απενεργοποιεί το lazy binding· οι εγγραφές PLT εξακολουθούν να υπάρχουν αλλά το GOT/PLT είναι mapped read-only, οπότε τεχνικές όπως GOT overwrite και ret2dlresolve δεν θα λειτουργήσουν ενάντια στο κύριο binary (οι βιβλιοθήκες μπορεί να παραμείνουν μερικώς RELRO). Δες:

Relro

  • -fno-plt κάνει τον compiler να καλεί εξωτερικές functions μέσω του GOT entry directly αντί να περνάει από το PLT stub. Θα δείτε call sequences όπως mov reg, [got]; call reg αντί για call func@plt. Αυτό μειώνει την καταχρηστική χρήση speculative-execution και αλλάζει ελαφρώς το ROP gadget hunting γύρω από τα PLT stubs.

  • PIE vs static-PIE: Το PIE (ET_DYN with INTERP) χρειάζεται τον dynamic loader και υποστηρίζει τον συνήθη μηχανισμό PLT/GOT. Το static-PIE (ET_DYN without INTERP) έχει relocations που εφαρμόζονται από τον kernel loader και δεν υπάρχει ld.so; αναμένετε να μην υπάρχει PLT resolution κατά το runtime.

Εάν το GOT/PLT δεν είναι επιλογή, pivot σε άλλους writeable code-pointers ή χρησιμοποίησε κλασικό ROP/SROP προς libc.

WWW2Exec - GOT/PLT

Program Initialization

After the program has been loaded it’s time for it to run. However, the first code that is run isn’t always the main function. This is because for example in C++ if a global variable is an object of a class, this object must be initialized before main runs, like in:

#include <stdio.h>
// g++ autoinit.cpp -o autoinit
class AutoInit {
public:
AutoInit() {
printf("Hello AutoInit!\n");
}
~AutoInit() {
printf("Goodbye AutoInit!\n");
}
};

AutoInit autoInit;

int main() {
printf("Main\n");
return 0;
}

Σημειώστε ότι αυτές οι παγκόσμιες μεταβλητές βρίσκονται στο .data ή στο .bss, αλλά στις λίστες __CTOR_LIST__ και __DTOR_LIST__ τα αντικείμενα προς αρχικοποίηση και καταστροφή αποθηκεύονται με σειρά για να παρακολουθούνται.

Από C κώδικα είναι δυνατό να επιτευχθεί το ίδιο αποτέλεσμα χρησιμοποιώντας τις GNU επεκτάσεις :

__attribute__((constructor)) //Add a constructor to execute before
__attribute__((destructor)) //Add to the destructor list

Από την πλευρά του compiler, για να εκτελεστούν αυτές οι ενέργειες πριν και μετά την εκτέλεση της main, είναι δυνατό να δημιουργηθεί μια συνάρτηση init και μια fini που θα αναφέρονται στο dynamic section ως INIT και FINI και τοποθετούνται στα sections init και fini του ELF.

Η άλλη επιλογή, όπως αναφέρθηκε, είναι να γίνει αναφορά στις λίστες __CTOR_LIST__ και __DTOR_LIST__ στις καταχωρήσεις INIT_ARRAY και FINI_ARRAY στο dynamic section και το μήκος τους υποδεικνύεται από τα INIT_ARRAYSZ και FINI_ARRAYSZ. Κάθε καταχώρηση είναι ένας function pointer που θα κληθεί χωρίς ορίσματα.

Επιπλέον, είναι επίσης δυνατό να υπάρχει ένα PREINIT_ARRAY με pointers που θα εκτελεστούν πριν από τους INIT_ARRAY pointers.

Σημείωση εκμετάλλευσης

  • Under Partial RELRO αυτά τα arrays ζουν σε σελίδες που παραμένουν εγγράψιμες πριν το ld.so αλλάξει το PT_GNU_RELRO σε read-only. Αν αποκτήσετε ένα arbitrary write αρκετά νωρίς ή μπορείτε να στοχεύσετε στα writable arrays μιας βιβλιοθήκης, μπορείτε να υφαρπάξετε τη ροή ελέγχου αντικαθιστώντας μια εγγραφή με μια συνάρτηση της επιλογής σας. Under Full RELRO είναι read-only κατά το runtime.

  • Για abuse του lazy binding του dynamic linker ώστε να επιλυθούν arbitrary symbols κατά το runtime, δείτε την αφιερωμένη σελίδα:

Ret2dlresolve

Σειρά αρχικοποίησης

  1. Το πρόγραμμα φορτώνεται στην μνήμη, οι στατικές global μεταβλητές αρχικοποιούνται στο .data και οι μη αρχικοποιημένες μηδενίζονται στο .bss.
  2. Όλες οι εξαρτήσεις για το πρόγραμμα ή τις βιβλιοθήκες αρχικοποιούνται και εκτελείται το dynamic linking.
  3. Εκτελούνται οι συναρτήσεις του PREINIT_ARRAY.
  4. Εκτελούνται οι συναρτήσεις του INIT_ARRAY.
  5. Αν υπάρχει καταχώρηση `INIT``, καλείται.
  6. Αν είναι βιβλιοθήκη, το dlopen τελειώνει εδώ, αν είναι πρόγραμμα, είναι ώρα να κληθεί το πραγματικό entry point (main function).

Thread-Local Storage (TLS)

Ορίζονται με τη λέξη-κλειδί __thread_local σε C++ ή με την επέκταση της GNU __thread.

Κάθε thread θα διατηρεί μια μοναδική θέση γι’ αυτή τη μεταβλητή ώστε μόνο το νήμα να μπορεί να προσπελάσει τη δική του μεταβλητή.

Όταν χρησιμοποιείται αυτό, τα sections .tdata και .tbss χρησιμοποιούνται στο ELF. Αυτά είναι όπως τα .data (initialized) και .bss (not initialized) αλλά για TLS.

Κάθε μεταβλητή θα έχει μια εγγραφή στην κεφαλίδα TLS που προσδιορίζει το μέγεθος και το TLS offset, το οποίο είναι το offset που θα χρησιμοποιήσει στην τοπική περιοχή δεδομένων του νήματος.

Το __TLS_MODULE_BASE είναι ένα σύμβολο που χρησιμοποιείται για να αναφέρεται στη βασική διεύθυνση του thread local storage και δείχνει στην περιοχή μνήμης που περιέχει όλα τα thread-local δεδομένα ενός module.

Auxiliary Vector (auxv) and vDSO

Ο Linux kernel περνάει ένα auxiliary vector στις διεργασίες που περιέχει χρήσιμες διευθύνσεις και flags για το runtime:

  • AT_RANDOM: δείχνει σε 16 τυχαία bytes που χρησιμοποιεί η glibc για το stack canary και άλλους σπόρους PRNG.
  • AT_SYSINFO_EHDR: base address του vDSO mapping (χρήσιμο για να βρείτε __kernel_* syscalls και gadgets).
  • AT_EXECFN, AT_BASE, AT_PAGESZ, κ.λπ.

Ως επιτιθέμενος, αν μπορείτε να διαβάσετε μνήμη ή αρχεία κάτω από /proc, συχνά μπορείτε να leak αυτά χωρίς ένα infoleak στη στοχευόμενη διεργασία:

# Show the auxv of a running process
cat /proc/$(pidof target)/auxv | xxd

# From your own process (helper snippet)
#include <sys/auxv.h>
#include <stdio.h>
int main(){
printf("AT_RANDOM=%p\n", (void*)getauxval(AT_RANDOM));
printf("AT_SYSINFO_EHDR=%p\n", (void*)getauxval(AT_SYSINFO_EHDR));
}

Leaking AT_RANDOM σας δίνει την τιμή canary αν μπορείτε να dereference αυτόν τον pointer; AT_SYSINFO_EHDR σας δίνει μια vDSO βάση για να βρείτε gadgets ή να καλέσετε fast syscalls απευθείας.

References

  • GCC Common Function Attributes (ifunc / STT_GNU_IFUNC): https://gcc.gnu.org/onlinedocs/gcc-14.3.0/gcc/Common-Function-Attributes.html
  • GNU ld -z pack-relative-relocs / DT_RELR docs: https://sourceware.org/binutils/docs/ld.html
  • ld.so(8) – Dynamic Loader search order, RPATH/RUNPATH, secure-execution rules (AT_SECURE): https://man7.org/linux/man-pages/man8/ld.so.8.html
  • getauxval(3) – Auxiliary vector and AT_* constants: https://man7.org/linux/man-pages/man3/getauxval.3.html

Tip

Μάθετε & εξασκηθείτε στο AWS Hacking:HackTricks Training AWS Red Team Expert (ARTE)
Μάθετε & εξασκηθείτε στο GCP Hacking: HackTricks Training GCP Red Team Expert (GRTE) Μάθετε & εξασκηθείτε στο Azure Hacking: HackTricks Training Azure Red Team Expert (AzRTE)

Υποστηρίξτε το HackTricks