Sümboolne täitmine
Sümboolne täitmine on programmianalüüsi tehnika, mis täidab programme tegelike sisendite asemel sümboolsete (mittekongreetsete) väärtustega, jälgides, kuidas sümboolsed väärtused programmis liiguvad. James C. Kingi 1976. aastal tutvustatud sümboolne täitmine loob programmimuutujatele matemaatilisi piiranguid ja suudab määrata, millised sisendid põhjustavad konkreetseid programmikäitumisi, võimaldades automaatset testide genereerimist ja haavatavuste tuvastamist. Tänapäevased sümboolse täitmise tööriistad, nagu KLEE, S2E ja Z3, on muutunud võimsateks vahenditeks peente vigade ja turvahäirete leidmiseks.
Loe meetodi täielikku kirjeldust
Selle osa lugemiseks logi sisse tasuta kontoga.
Meetodikaart
Seotud meetodite ümbruskond — vali sõlm, et seda uurida.
Allikad
- 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 ↗
Kuidas sellele lehele viidata
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/et/cryptography/symbolic-execution
Milline meetod?
Aseta see meetod oma lähimate sugulaste kõrvale ja loe neid kõrvuti — raamatukogu laob raamatud lauale; valik on sinu.
- FuzzingKrüptograafia↔ võrdle
- Staatiline rakenduste turvatestimineKrüptograafia↔ võrdle
- Määrdumise analüüsKrüptograafia↔ võrdle
Sellele viitavad
Märkasid sellel lehel viga? Teata sellest või paku parandust →