Symbolisk exekvering
Symbolisk exekvering är en programanalysteknik som exekverar program med symboliska (icke-konkreta) värden istället för faktiska indata, och spårar hur symboliska värden flödar genom programmet. Symbolisk exekvering, som introducerades av James C. King 1976, bygger matematiska begränsningar på programvariabler och kan bestämma vilka indata som orsakar specifika programbeteenden, vilket möjliggör automatisk testgenerering och sårbarhetsdetektering. Moderna verktyg för symbolisk exekvering som KLEE, S2E och Z3 har blivit kraftfulla instrument för att hitta subtila buggar och säkerhetssårbarheter.
Läs hela metoden
Logga in med ett kostnadsfritt konto för att läsa avsnittet.
Method map
The neighbourhood of related methods — select a node to explore.
Källor
- 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 ↗
Så citerar du den här sidan
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/sv/cryptography/symbolic-execution
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
- FuzzingKryptografi↔ compare
- Statisk säkerhetstestning av applikationerKryptografi↔ compare
- TaintanalysKryptografi↔ compare
Refereras av
Hittade du ett fel på sidan? Rapportera eller föreslå en rättelse →