Симболичко извршавање
Симболичко извршавање је техника анализе програма која извршава програме користећи симболичке (неконкретне) вредности уместо стварних улаза, пратећи како симболичке вредности протичу кроз програм. Уведену од стране Џејмса К. Кинга 1976. године, симболичко извршавање гради математичка ограничења на програмске променљиве и може да одреди који улази изазивају специфична програмска понашања, омогућавајући аутоматско генерисање тестова и детекцију рањивости. Савремени алати за симболичко извршавање попут KLEE, S2E и Z3 постали су моћни инструменти за проналажење суптилних грешака и безбедносних рањивости.
Pročitajte celu metodu
Prijavite se besplatnim nalogom da biste pročitali ovaj odeljak.
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/sr/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
- Statističko testiranje bezbednosti aplikacijaKriptografija↔ compare
- Analiza zagađenjaKriptografija↔ compare
Citirana u
Uočili ste grešku na ovoj stranici? Prijavite je ili predložite ispravku →