Ethical Hacking by Daniel G. Graham

autore:Daniel G. Graham [Graham, Daniel G.]
La lingua: ita
Format: epub
editore: Apogeo
pubblicato: 2024-01-23T23:00:00+00:00

Non sarebbe fantastico se potessimo analizzare un programma senza nemmeno eseguirlo? L’esecuzione simbolica è una tecnica che utilizza simboli anziché dati reali per eseguire analisi statiche su un programma. Mentre il motore di esecuzione simbolica esplora i percorsi di un programma, costruisce equazioni che possono essere risolte per determinare quando verrà preso un determinato ramo. La Figura 9.6 mostra i vincoli dei percorsi associati alla funzione di test che abbiamo esplorato in precedenza.

Figura 9.6 Un albero di calcolo che visualizza i percorsi di esecuzione e i vincoli dei percorsi della funzione di test.

Per risolvere programmaticamente questi vincoli, usiamo un dimostratore di teoremi, il quale risponde a domande come: esiste un valore x tale che x × 5 == 15? Se esiste, qual è tale valore? Il più conosciuto dei dimostratori di teoremi, Z3, è stato sviluppato da Microsoft. Una discussione dettagliata sulla dimostrazione di teoremi va oltre gli scopi di questo libro, ma ne considereremo l’uso nel contesto del nostro programma di test.

scaricare

Disconoscimento:
Questo sito non memorizza alcun file sul suo server. Abbiamo solo indice e link                                                  contenuto fornito da altri siti. Contatta i fornitori di contenuti per rimuovere eventuali contenuti di copyright e inviaci un'email. Cancelleremo immediatamente i collegamenti o il contenuto pertinenti.