Execució simbòlica
L'execució simbòlica és una tècnica d'anàlisi de programes que executa programes utilitzant valors simbòlics (no concrets) en lloc d'entrades reals, fent un seguiment de com els valors simbòlics flueixen a través del programa. Introduïda per James C. King el 1976, l'execució simbòlica construeix restriccions matemàtiques sobre les variables del programa i pot determinar quines entrades causen comportaments específics del programa, permetent la generació automàtica de proves i la detecció de vulnerabilitats. Eines modernes d'execució simbòlica com KLEE, S2E i Z3 s'han convertit en instruments potents per trobar errors subtils i vulnerabilitats de seguretat.
Llegeix el mètode complet
Inicia la sessió amb un compte gratuït per llegir aquesta secció.
Mapa de mètodes
El veïnat de mètodes relacionats — seleccioneu un node per explorar-lo.
Fonts
- 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 ↗
Com citar aquesta pàgina
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/ca/cryptography/symbolic-execution
Quin mètode?
Poseu aquest mètode al costat dels seus parents més pròxims i llegiu-los de costat a costat — la biblioteca disposa els llibres sobre la taula; la tria és vostra.
- FuzzingCriptografia↔ compara
- Prova de seguretat d'aplicacions estàticaCriptografia↔ compara
- Anàlisi de TaintCriptografia↔ compara
Citat per
Has vist cap problema en aquesta pàgina? Informa'n o suggereix una correcció →