Execuție simbolică
Execuția simbolică este o tehnică de analiză a programelor care execută programe utilizând valori simbolice (non-concrete) în locul intrărilor reale, urmărind fluxul valorilor simbolice prin program. Introdusă de James C. King în 1976, execuția simbolică construiește constrângeri matematice asupra variabilelor programului și poate determina ce intrări determină comportamente specifice ale programului, permițând generarea automată de teste și detectarea vulnerabilităților. Instrumentele moderne de execuție simbolică precum KLEE, S2E și Z3 au devenit instrumente puternice pentru găsirea unor bug-uri subtile și a vulnerabilităților de securitate.
Citește metoda completă
Autentifică-te cu un cont gratuit pentru a citi această secțiune.
Harta metodelor
Vecinătatea metodelor înrudite — selectați un nod pentru a explora.
Surse
- 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 ↗
Cum se citează această pagină
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/ro/cryptography/symbolic-execution
Ce metodă?
Așezați această metodă lângă cele mai apropiate rude și citiți-le alăturat — biblioteca pune cărțile pe masă; alegerea vă aparține.
- FuzzingCriptografie↔ compară
- Testarea Statică a Securității AplicațiilorCriptografie↔ compară
- Analiza "Taint"Criptografie↔ compară
Citat de
Ai observat o problemă pe această pagină? Raportează sau sugerează o corectură →