Stack Mashing

Lo “stack mashing” è una tecnica di attacco informatico che sfrutta una vulnerabilità nota come buffer overflow per indurre un computer ad eseguire codice arbitrario. Questo tipo di attacco permette a un malintenzionato di prendere il controllo di un sistema iniettando e facendo eseguire codice malevolo.

Come Funziona

In un tipico scenario di stack mashing, l’attaccante sfrutta un buffer overflow, ossia una condizione in cui un programma scrive dati oltre i limiti di un buffer, sovrascrivendo così dati adiacenti nella memoria. In particolare, l’attaccante mira a sovrascrivere l’indirizzo di ritorno (return address) dello stack frame corrente.

1. Buffer Overflow: Un programma ha un buffer di dimensione limitata per immagazzinare dati temporanei. Se vengono immessi dati che eccedono questa dimensione, i dati in eccesso possono sovrascrivere altre porzioni di memoria.
2. Sovrascrittura dello Stack: Utilizzando il buffer overflow, l’attaccante sovrascrive l’indirizzo di ritorno nello stack. Questo indirizzo di ritorno indica al programma dove continuare l’esecuzione dopo che una funzione ha terminato.
3. Esecuzione di Codice Arbitrario: Manipolando l’indirizzo di ritorno, l’attaccante può fare in modo che il programma salti all’esecuzione di un codice arbitrario che è stato precedentemente iniettato nel buffer. Questo codice malevolo può eseguire qualsiasi comando desiderato dall’attaccante, compromettendo la sicurezza del sistema.

Esempio Pratico

Immagina un programma che ha un buffer per immagazzinare l’input dell’utente:

cCopy codevoid function(char *str) {
    char buffer[16];
    strcpy(buffer, str);
}

Se un utente malintenzionato fornisce un input più lungo di 16 caratteri, i dati eccedenti sovrascriveranno la memoria successiva. L’attaccante può manipolare questi dati per sovrascrivere l’indirizzo di ritorno dello stack e fare in modo che il programma esegua codice arbitrario.

Prevenzione

Per proteggersi dagli attacchi di stack mashing, è fondamentale adottare misure di sicurezza come:

• Utilizzare funzioni sicure: Preferire funzioni che limitano la dimensione dei dati copiati, come strncpy al posto di strcpy.
• Protezione dello Stack: Implementare tecniche di protezione come Stack Canaries, che inseriscono valori di controllo nello stack che vengono verificati prima di restituire il controllo del programma.
• Randomizzazione dell’ASLR (Address Space Layout Randomization): Questa tecnica rende meno prevedibile la disposizione della memoria del programma, rendendo più difficile per gli attaccanti sfruttare vulnerabilità di buffer overflow.
• Utilizzo di Compilatori Sicuri: Compilatori moderni spesso includono opzioni di sicurezza che possono prevenire buffer overflow.

Lo stack mashing è un esempio classico di vulnerabilità che, se non mitigata, può portare a gravi compromissioni della sicurezza del sistema. Comprendere questa tecnica e adottare misure preventive adeguate è essenziale per mantenere la sicurezza dei sistemi informatici.