Symbolická exekúcia
Symbolická exekúcia je technika analýzy programov, ktorá vykonáva programy pomocou symbolických (nekonkrétnych) hodnôt namiesto skutočných vstupov, pričom sleduje tok symbolických hodnôt programom. Symbolická exekúcia, predstavená Jamesom C. Kingom v roku 1976, buduje matematické obmedzenia na premenné programu a dokáže určiť, ktoré vstupy spôsobujú špecifické správanie programu, čo umožňuje automatické generovanie testov a detekciu zraniteľností. Moderné nástroje symbolickej exekúcie ako KLEE, S2E a Z3 sa stali výkonnými nástrojmi na nachádzanie subtílnych chýb a bezpečnostných zraniteľností.
Prečítať celú metódu
Ak si chcete prečítať túto sekciu, prihláste sa s bezplatným účtom.
Mapa metód
Okolie príbuzných metód — vyberte uzol na preskúmanie.
Zdroje
- 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 ↗
Ako citovať túto stránku
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/sk/cryptography/symbolic-execution
Ktorá metóda?
Postavte túto metódu vedľa jej najbližších príbuzných a čítajte ich vedľa seba — knižnica vám knihy položí na stôl; voľba je na vás.
- FuzzingKryptografia↔ porovnať
- Statické testovanie bezpečnosti aplikáciíKryptografia↔ porovnať
- Analýza znečistenia dát (Taint Analysis)Kryptografia↔ porovnať
Odkazujú sem
Našli ste na tejto stránke chybu? Nahláste ju alebo navrhnite opravu →