Symbolic Execution
Symbolic execution er en teknik til programanalyse, der eksekverer programmer ved hjælp af symbolske (ikke-konkrete) værdier i stedet for faktiske input, og sporer, hvordan symbolske værdier flyder gennem programmet. Introduceret af James C. King i 1976, opbygger symbolic execution matematiske begrænsninger på programvariable og kan bestemme, hvilke input der forårsager specifikke programadfærd, hvilket muliggør automatisk testgenerering og sårbarhedsopdagelse. Moderne symbolic execution-værktøjer som KLEE, S2E og Z3 er blevet kraftfulde instrumenter til at finde subtile fejl og sikkerhedssårbarheder.
Læs hele metoden
Log ind med en gratis konto for at læse dette afsnit.
Method map
The neighbourhood of related methods — select a node to explore.
Kilder
- 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ådan citerer du denne side
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/da/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 applikationssikkerhedstestKryptografi↔ compare
- Taint-analyseKryptografi↔ compare
Refereret af
Har du fundet en fejl på denne side? Indberet den eller foreslå en rettelse →