Olimpo Informatico

[luca_c]

Ciao a tutti,
come si può individuare un buffer overflow nel c/cpp?

Se ho:

[freemind]

Beh, in c++ puoi usare il template "vector" però se usi gli array classici hai poco da fare (secondo me).
Al massimo puoi definire le dimensioni con delle define e nei cicli in cui assegni i valori controlli che l'indice sia minore della dimensione.

[luca_c]

Ti ringrazio, ma il problema è proprio con gli array classici.

Se ho:

[SverX]

non credo che nel C ci sia neanche l'opzione del compilatore "array bound check" come esisteva ad esempio nel Pascal... per cui puoi affrontare il problema ad esempio creando una interfaccia verso ogni array/matrice che crei, anche se è un lavoraccio. Ad esempio se hai una matrice di interi Matrix[10][10] (per dire) potresti fare due funzioni tipo

[freemind]

Se però il problema riguarda l'indice generato in modo random, basta generare il numero casuale nel range corretto.
Se invece il discorso è a livello più generale, beh, c'è poco da fare. O crei appunto un'interfaccia per usare i vettori, ma è un lavoraccio perchè dovresti farlo per ogni vettore.

Potresti usare gli array dinamici e allora potresti creare una struct formata da un puntatore e da il numero di elementi per ogni dimensione; sfruttando il fatto che le struct di C permettono l'uso di "pseudo-metodi" crei li dentro le interfacce. Però questa soluzione è proprio una cosa forzata.

Se vuoi a tutti i costi avere questi controlli, forse ti conviene andare sul C++ e usare il template vector.

[SverX]

un'altra idea scema è usare l'operatore % e il limite in ogni riferimento ad ogni array. Intendo ad esempio qualcosa del tipo

[luca_c]

Buongiorno,
ringrazio tutti per la disponibilità e per le vostre risposte.

Ho eseguita una ricerca per travare un compilatore o tool per individuare i buffer overflow in C/C++.

Sono riuscito a trovare un tool molto interessante che risolve questo problema.

L'ho scaricato da www.bugfighter-soft.com.

Il sito dichiara che è indipendente dal compilatore e dal sistema operativo su cui opera.

Credo che sia plausibile, in quanto non fa altro che creare del nuovo codice sorgente a partire a quello originario:
www.bugfighter-soft.com/images/BugFighter.jpg

Una volta compilato lo si lancia.

In effetti l'ho provato con il Visula C++ Express e con Dev, come mostrato nei loro esempi, e riesce effettivamente a scoprire i buffer overflow di vettori dichiariti staticamente ed anche di quelli contenuti nelle strutture.
Come dichiarato il programma ottenuto scrive su file l'errore individuato.

Riesce anche a scoprire i puntatori nulli.

Voi l'avete provato?

Grazie e buon lavoro

[freemind]

Grazie per la segnalazione!
Lo strumento sembra interessante.

Io e SverX però pensavamo che tu volessi gestire l'overflow nel senso di evitarlo e non tanto di scoprilo e da lì ti abbiamo consigliato alcune cose.

Sicuramente un tool del genere a chi programma in c e c++ fa comodo anche se credo che però un "wrapper" per gli array di c non sarebbe male!

[carloef]

scusate forse il post è un po vecchio ma mi è arrivato sotto gli occhi solo ora
non capisco una cosa perchè mi sto cimentando da poco nella programmazione

cosa si intente per un buffer overflow di una matrice o di un vettore??
che si potrebbe uscire dagli indici??
ma se la condizione di uscita dal ciclo è corretta non dovrebbe...oppure non sto capando

mi illuminate??

grazie

[SverX]

nel caso più semplice: hai un array di n elementi numerati da 1 a n e cerchi di accedere all'elemento n+1.
Possono succedere varie cose, a seconda se:
- accedi in lettura o in scrittura
- il sistema operativo (e/o il processore) proteggono aree di memoria dedicate a processi diversi / aree dati diverse

quindi per esempio su Windows se cerchi di leggere un dato fuori dalla memoria del tuo processo avrai un errore e l'applicazione verrà chiusa. Invece su DOS tu potresti anche scrivere in una locazione di memoria qualsiasi e -ad esempio- fare piantare un altro programma o lo stesso sistema operativo.

(nota: alcuni linguaggi di programmazione permettono di attivare l'array bound check e quindi forzare l'interruzione del programma quando questo tentasse di accedere ad elementi fuori dai bordi...)

[freemind]

[luca_c]