Esecuzione simbolica
L'esecuzione simbolica è una tecnica di analisi di programmi che esegue programmi utilizzando valori simbolici (non concreti) anziché input effettivi, tracciando il flusso dei valori simbolici attraverso il programma. Introdotta da James C. King nel 1976, l'esecuzione simbolica costruisce vincoli matematici sulle variabili del programma e può determinare quali input causano specifici comportamenti del programma, consentendo la generazione automatica di test e il rilevamento di vulnerabilità. Strumenti moderni di esecuzione simbolica come KLEE, S2E e Z3 sono diventati potenti strumenti per trovare bug sottili e vulnerabilità di sicurezza.
Leggi il metodo completo
Accedi con un account gratuito per leggere questa sezione.
Mappa dei metodi
Il vicinato dei metodi correlati — seleziona un nodo per esplorare.
Fonti
- King, J. C. (1976). Symbolic execution and program testing. Communications of the ACM, 19(7), 385-394. DOI: 10.1145/360248.360252 ↗
- Cadar, C., & Sen, K. (2013). Symbolic execution for software testing: Three decades later. Communications of the ACM, 56(2), 82-90. DOI: 10.1145/2408776.2408795 ↗
Come citare questa pagina
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/it/cryptography/symbolic-execution
Quale metodo?
Affianca questo metodo ai suoi parenti più prossimi e leggili fianco a fianco — la biblioteca dispone i libri sul tavolo; la scelta è tua.
- FuzzingCrittografia↔ confronta
- Analisi Statica di Sicurezza delle ApplicazioniCrittografia↔ confronta
- Analisi di TaintCrittografia↔ confronta
Citato da
Hai notato un problema in questa pagina? Segnalalo o proponi una correzione →