Rilevazione automatica delle vulnerabilità software tramite tecniche di Symbolic Execution

GAETANI, ANDREA
2022/2023

2022
Automated software vulnerability detection through Symbolic Execution techniques
File in questo prodotto:
File Dimensione Formato  
Tesi_Symbolic_Execution_265330.pdf

accesso solo dalla rete interna

Dimensione 6.31 MB
Formato Adobe PDF
6.31 MB Adobe PDF   Contatta l'autore

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Il download dei file è consentito soltanto per chi si collega da rete interna o da proxy.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12319/14570