Simboličko izvršavanje
Simboličko izvršavanje je tehnika analize programa koja izvršava programe koristeći simboličke (ne-konkretne) vrijednosti umjesto stvarnih ulaznih podataka, prateći kako simboličke vrijednosti teku kroz program. Uvedeno od strane Jamesa C. Kinga 1976. godine, simboličko izvršavanje gradi matematičke uvjete na varijablama programa i može odrediti koji ulazni podaci uzrokuju specifična ponašanja programa, omogućujući automatsko generiranje testova i otkrivanje ranjivosti. Moderni alati za simboličko izvršavanje poput KLEE, S2E i Z3 postali su moćni instrumenti za pronalaženje suptilnih grešaka i sigurnosnih ranjivosti.
Pročitajte cijelu metodu
Prijavite se besplatnim računom kako biste pročitali ovaj odjeljak.
Method map
The neighbourhood of related methods — select a node to explore.
Izvori
- 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 ↗
Kako citirati ovu stranicu
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/hr/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.
- FuzzingKriptografija↔ compare
- Statično testiranje sigurnosti aplikacijaKriptografija↔ compare
- Analiza obojenjaKriptografija↔ compare
Citirana u
Uočili ste pogrešku na ovoj stranici? Prijavite je ili predložite ispravak →